𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Design methodologies for simulation translators (with a case study)

✍ Scribed by Chang, H.-Y.; Margo, V.; Etter, D.M.

Book ID
114531428
Publisher
IEEE
Year
1990
Tongue
English
Weight
595 KB
Volume
6
Category
Article
ISSN
8755-3996

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A methodological process for the design
A methodological process for the design of a large system: two industrial case-studies
✍ Nestor Lopez; Marianne Simonot; VΓ©ronique ViguiΓ© Donzeau-Gouge πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 238 KB

This paper presents two examples taken from industrial case-studies that have been specified using an event system approach. Component specifications, taking the form of pre-post formula, have been derived. Constraints which ensure the correctness of the whole process are given.