Formal techniques for the specification of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...

Formal techniques for the specication of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...

Abstract Along production pipelines in manufactory industries several elaboration phases in which the movement of interpolated axes are present. These activities have to be synchronized with ...

Sistemi di produzione di stampi; Studio, verifica e realizzazione di un ottimizzatore; Studio e definizione di adeguate politiche di gestione per il processo di produzione; Studio e creazione di ...

Abstract 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 ...

Abstract 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 ...

Abstract 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 ...

Abstract 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 ...

Programmare per il Web: Il linguaggio PHP Parte I: Introduzione Parte II: PHP CMS, DRUPAL Parte III: Approfondimenti

Object Oriented Analysis and Design, OOA/OOD, Metodologie, UML