𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Dual Language Approach to the Development of Time-Critical Systems

✍ Scribed by Luigi Lavazza; Sandro Morasca; Angelo Morzenti


Book ID
108126353
Publisher
Elsevier Science
Year
2005
Tongue
English
Weight
269 KB
Volume
116
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A Dual Language Approach Extension to UM
✍ Luigi Lavazza; Sandro Morasca; Angelo Morzenti πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 201 KB

A "dual language" component-based approach to the development of real-time critical applications is proposed. UML provides the constructs for modeling the structure of the system and the behavior of the system's components. A new descriptive language based on temporal logic, called OTL (Object Tempo