✦ LIBER ✦

A UML package for specifying real-time objects

✍ Scribed by Lisa Cingiser DiPippo; Lynn Ma

Book ID: 114288161
Publisher: Elsevier Science
Year: 2000
Tongue: English
Weight: 385 KB
Volume: 22
Category: Article
ISSN: 0920-5489
DOI: 10.1016/s0920-5489(00)00059-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A real-time profile for UML

✍ Susanne Graf; Ileana Ober; Iulian Ober 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 981 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 UML-based language for specifying doma

A UML-based language for specifying domain-specific patterns

✍ Dae-Kyoo Kim; Robert France; Sudipto Ghosh 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 288 KB

Real-time control package for industry

📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 122 KB

Sokrates-SA - A formal method for specif

Sokrates-SA - A formal method for specifying real-time systems

✍ Ari Okkonen; Antti Auer; Mikko Levanto; Jyrki Okkonen; Jarmo Kalaoja 📂 Article 📅 1989 🏛 Elsevier Science ⚖ 730 KB

Specification of real-time imaging syste

Specification of real-time imaging systems using the UML

✍ Colin J Neill; Phillip A Laplante 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 337 KB

Real-time imaging systems are expected to perform at a rate set by the operating environment. This places additional temporal constraints on the implementation, and has led to advances in parallel processing and optimization. The constraints are also applied, however, to the analysis and design mode