English (en-US)software engineering
-
Palamede: a Multi-Press Open Journal Systemdigital library, oai pmh, open access, P2P, metadata quality assessment249 Accessi Voto
-
Metadata Quality assessment tool for Open Access Cultural Heritage institutional repositoriesdigital library, oai pmh, open access, P2P, metadata quality assessment283 Accessi Voto
-
A Trust P2P network for the Access to Open Archive resourcesdigital library, oai pmh, open access, P2P, metadata quality assessment230 Accessi Voto
-
Comments on Comments on An Interval Logic for Real-Time System SpecificatioTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines Abstract—The paper on Comments on “An Interval ...469 Accessi Voto
-
Expressing and Organizing Specification Patterns with TILCO-XTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines339 Accessi Voto
-
Expressing and Organizing Real Time Specification Patterns via Temporal LogicsTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines Formal specification models provide support for ...484 Accessi Voto
-
An Interval Logic for RealTime System SpecificationTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines438 Accessi Voto
-
Verification of External Specifications of Reactive SystemsTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines434 Accessi Voto
-
Temporal Logics for Real-Time System Specificationreal time systems specification, formal methods, tilco, uml The specification of reactive and real-time systems must be supported by formal mathematically founded methods to be satisfactory and ...491 Accessi Voto
-
Crossroad Control Simulator: an application developed with Dev-TILCOFormal techniques for the specication of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...355 Accessi Voto