[an error occurred while processing this directive] [an error occurred while processing this directive]

Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Systems Level Specification


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]