✦ LIBER ✦

Executable specifications for embedded distributed systems

✍ Scribed by Sveda, M.; Vrba, R.

Book ID: 114546206
Publisher: IEEE
Year: 2001
Tongue: English
Weight: 192 KB
Volume: 34
Category: Article
ISSN: 0018-9162
DOI: 10.1109/2.962986

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The role for executable specifications i

The role for executable specifications in system maintenance

✍ Marvin V. Zelkowitz; Sergio Cardenas 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 793 KB

A reconfiguration pattern for distribute

A reconfiguration pattern for distributed embedded systems

✍ Roman Gumzej; Matjaž Colnarič; Wolfgang A. Halang 📂 Article 📅 2007 🏛 Springer-Verlag 🌐 English ⚖ 998 KB

A System for Translating Executable VDM

A System for Translating Executable VDM Specifications into Lazy ML

✍ PAULO BORBA; SILVIO MEIRA 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 133 KB

This article describes the process of developing a system for translating VDM executable specifications into Lazy ML prototypes. The system was specified in VDM and a Lazy ML prototype implementation was derived from its specification. This article concentrates on discussing the lessons learned in e

High-Level Timed Petri Nets as a kernel

High-Level Timed Petri Nets as a kernel for executable specifications

✍ Miguel Felder; Carlo Ghezzi; Mauro Pezzé 📂 Article 📅 1993 🏛 Springer US 🌐 English ⚖ 978 KB

Execution models for reconfigurable embe

Execution models for reconfigurable embedded real-time systems

✍ Mohamed Khalgui; Hans-Michael Hanisch 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 249 KB

Reconfiguration of Distributed Embedded-

Reconfiguration of Distributed Embedded-Control Systems

✍ Khalgui, M.; Mosbahi, O.; Zhiwu Li; Hanisch, H.-M. 📂 Article 📅 2011 🏛 IEEE 🌐 English ⚖ 403 KB