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

Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Why Use ASMs?


Citation: Egon Börger, "Why Use Evolving Algebras for Hardware and Software Engineering?", in M. Bartosek, J. Staudek, J. Wiedermann, eds., SOFSEM '95: Theory and Practice of Informatics, Springer Lecture Notes in Computer Science 1012, 1995, 236--271.
Summary: A presentation of the salient features of ASMs (a.k.a. evolving algebras), as part of a discussion of the use of ASMs in design and analysis of hardware and software systems.
Subjects: Discussions
Download: PostScript, PDF, Compressed PostScript
Notes:  
[an error occurred while processing this directive]