Italiano (it)software specification
-
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 ...250 Hits Rating
-
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 ...571 Hits Rating
-
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 ...192 Hits Rating
-
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 Hits Rating
-
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 ...426 Hits Rating
-
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 ...438 Hits Rating
-
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 ...420 Hits Rating
-
RAISSS project: Report of a comparative analysis of the Interlocking SystemsSignaling is the keystone of the railway transportation system and besides it, the interlocking system acts a central role granting the key issues such safety of the overall system. In order to ...1322 Hits Rating
-
RAISSS project: Methods, notation and tools for modeling Command and Control SystemsSignaling is the keystone of the railway transportation system and besides it, the interlocking system acts a central role granting the key issues such safety of the overall system. In order to ...468 Hits Rating
-
Corso Sistemi Distribuiti: sistemi mobili, da iPhone ad Android, progettazione per sistemi mobilisistemi mobili Problematiche dei sistemi mobili Confronti fra SO e modelli di sviluppo Distribuzione di contenuti per sistemi mobili Modello di Programmazione iPhone Si veda slide separate Parte ...794 Hits Rating
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 = 1745821236 WHERE sid = '966106822b30de0445966a90ecd935c0' in C:\Programmi\Apache Software Foundation\Apache2.2\htdocs\drupal\includes\database.mysqli.inc on line 128