A methodological process for the design
✍
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.