✦ LIBER ✦

Towards UML-based formal specifications of component-based real-time software

✍ Scribed by Vieri del Bianco; Luigi Lavazza; Marco Mauri; Giuseppe Occorso

Publisher: Springer
Year: 2006
Tongue: English
Weight: 306 KB
Volume: 9
Category: Article
ISSN: 1433-2779
DOI: 10.1007/s10009-006-0024-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A reuse base for real-time software spec

A reuse base for real-time software specifications

✍ Tuomas Ihme 📂 Article 📅 1989 🏛 Elsevier Science ⚖ 672 KB

Integrating UML and UPPAAL for designing

Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems

✍ André L. N. Muniz; Aline M. S. Andrade; George Lima 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 500 KB

A formal approach based on UML and B for

A formal approach based on UML and B for the specification and development of database applications

✍ Amel Mammar; Régine Laleau 📂 Article 📅 2006 🏛 Springer US 🌐 English ⚖ 472 KB

A Dual Language Approach Extension to UM

A Dual Language Approach Extension to UML for the Development of Time-Critical Component-Based Systems

✍ 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

A formal approach to the specification a

A formal approach to the specification and the behavior validation of real-time systems based on rewriting logic

✍ Ammar Attoui; Michel Schneider 📂 Article 📅 1996 🏛 Springer US 🌐 English ⚖ 956 KB

Real-time assessment of a symmetrical co

Real-time assessment of a symmetrical component and microcontroller based distance relay

✍ D.L. Waikar; S. Elangovan; A.C. Liew; S.H. Sng 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 559 KB