Invited talk: ASM formalware in the software engineering cycle

DOI10.1007/3-540-45499-3_15MaRDI QIDQ2767174zbMATH OpenFDO

Authors Yuri Gurevich

Publication date 28 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45499-3_15

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 1543046
• The ASM refinement method
• Frontiers of Combining Systems
• Using abstract state machines at Microsoft: A case study
• The abstract state machines method for high-level system design and analysis

Cited in

(2)

• scientific article; zbMATH DE number 1543046 (Why is no real title available?)
• scientific article; zbMATH DE number 1543050 (Why is no real title available?)

This page was built for publication: Invited talk: ASM formalware in the software engineering cycle

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2767174)