[an error occurred while processing this directive]
[an error occurred while processing this directive]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: |