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.