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

Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Refinements


Citation: Egon Börger, "The ASM Refinement Method". Formal Aspects of Computing, 15:237-257, 2003.
Summary: The use of refinements in ASMs is presented, with comparisons with other refinement approaches and examples from ASM applications.
Subjects: Discussions
Download: From Egon Börger's homepage in PDF.
Notes:  
[an error occurred while processing this directive]