English (en-US)formal methods
-
Interval Temporal Logic for real-Time Systems: Specification, Execution and Verification ProcessesFormal techniques for the specification of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...308 Accessi Voto
-
Execution of TILCO Specifications Technical ReportFormal techniques for the specication of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...936 Accessi Voto
-
C-TILCO theoryFormal techniques for the specication of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...248 Accessi Voto
-
TILCOX an Extension of TILCO Temporal LogicFormal techniques for the specification of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...570 Accessi Voto
-
TILCO-X theoryFormal techniques for the specication of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...191 Accessi Voto
-
Estimation and Prediction Metrics for Adaptive Maintenance Effort of Object-Oriented SystemsAbstract Many software systems built in recent years have been developed using object-oriented technology and, in some cases, they already need adaptive maintenance in order to satisfy market and ...561 Accessi Voto
-
Effort estimation and prediction of object-oriented systemsAbstract Due to the growing diffusion of the object-oriented paradigm (OOP) and the need of maintaining under control the process of software development, industries are looking for metrics ...425 Accessi Voto
-
A method and tool for assessing object-oriented projects and metrics managementAbstract The number of metrics and tools for the assessment/control of object-oriented project is increasing. In the last years, the e?ort spent in defining new metrics has not been followed by a ...436 Accessi Voto
-
Metric Framework for Object-Oriented Real-Time Systems Specification LanguagesAbstract A framework for maintaining under control and analyzing object-oriented system specifcations of real-time systems by using a set of metrics covering technical, cognitive and ...415 Accessi Voto
-
Progetto TRACEIT: Attività di specifica, di modellazione e di test di un sistema di guida automatica secondo lo standard CBTCL'attività di ricerca è stata svolta presso il laboratorio DISIT del Dipartimento di Ingegneria dellInformazione (DINFO) ? Rientra all'interno del progetto TRACE-IT in collaborazione con ECM ...684 Accessi Voto
Warning: Table '.\drupal\sessions' is marked as crashed and should be repaired query: UPDATE sessions SET uid = 0, cache = 0, hostname = '192.168.0.44', session = 'hidePDA|s:1:\"0\";', timestamp = 1745634774 WHERE sid = '1fb631bf3763801225ca81ad884ff1d7' in C:\Programmi\Apache Software Foundation\Apache2.2\htdocs\drupal\includes\database.mysqli.inc on line 128