Ground Models

Citation: Egon Börger, "The ASM Ground Model Method as a Foundation of Requirements Engineering". In N. Dershowitz, ed., Verification: Theory and Practice, Springer LNCS 2772, 2004, 146-161.
Summary: A discussion of the ASM methodology, with emphasis on the role of the ground model in capturing requirements.
Subjects: Refinement, Software Engineering
Download: From Egon Börger's homepage in PDF.