✦ LIBER ✦

A Real-Time Discrete Event System Specification Formalism for Seamless Real-Time Software Development

✍ Scribed by Joon Sung Hong; Hae-Sang Song; Tag Gon Kim; Kyu Ho Park

Book ID: 110260961
Publisher: Springer
Year: 1997
Tongue: English
Weight: 604 KB
Volume: 7
Category: Article
ISSN: 0924-6703
DOI: 10.1023/a:1008262409521

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

DECM, A User Oriented Formalism for High

DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real-Time Systems

✍ Jean-Luc Paillet; Norbert Giambiasi 📂 Article 📅 2002 🏛 Springer Netherlands 🌐 English ⚖ 338 KB

Supervisor Synthesis for Real-Time Discr

Supervisor Synthesis for Real-Time Discrete Event Systems

✍ Archana S. Sathaye; Bruce H. Krogh 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 562 KB

Object modelling and formal specificatio

Object modelling and formal specification during real-time system development

✍ P.G. O'Donoghue; M.H. Murphy 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 247 KB

Object oriented techniques promote understanding of requirements leading to flexible and extendible designs. The use of formal specification techniques ensures a complete understanding of system requirements and provides sound foundations for subsequent testing and verification. This paper describes

A reuse base for real-time software spec

A reuse base for real-time software specifications

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

IPTES: A concurrent engineering approach

IPTES: A concurrent engineering approach for real-time software development

✍ P. Pulli; R. Elmstrøm 📂 Article 📅 1993 🏛 Springer US 🌐 English ⚖ 927 KB

Automated support for the formal specifi

Automated support for the formal specification and design of real-time systems

✍ Chris Ho-Stuart; Hussein Zedan; Ming Fang 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 513 KB