| Citation: | Uwe Glässer, "Systems Level Specification and Modelling of Reactive Systems: Concepts, Methods, and Tools", in F. Pichler, R. Moreno Diaz and R. Albrecht, eds., "Computer Aided Systems Theory - EUROCAST'95: Proceedings of the Fifth International Workshop on Computer Aided Systems Theory (Innsbruck, Austria, May 1995)", Springer Lecture Notes in Computer Science 1030, 1996, 375-385. |
|---|---|
| Summary: | The paper investigates the derivation of formal requirements and design specifications at systems level as part of a comprehensive design concept for complex reactive systems. In this context the meaning of correctness with respect to the embedding of mathematical models into the physical world is discussed. |
| Subjects: | Discussions |
| Download: | PostScript, PDF, Compressed PostScript |
| Notes: |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/systems.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT