Report on a practical application of ASMs in software design

DOI10.1007/3-540-44518-8_20MaRDI QIDQ2753718zbMATH OpenFDO

Authors Egon Börger, Peter Paeppinghaus, Joachim Schmid

Publication date 11 November 2001

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

Full work available at URL https://doi.org/10.1007/3-540-44518-8_20

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 workbench. A tool environment for computer-aided analysis and validation of abstract state machine models
• 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

(4)

• A guarded fragment for abstract state machines
• The subject-oriented approach to software design and the abstract state machines method
• scientific article; zbMATH DE number 1543046 (Why is no real title available?)
• scientific article; zbMATH DE number 1543050 (Why is no real title available?)

Describes a project that uses

Uses Software

• FALKO

This page was built for publication: Report on a practical application of ASMs in software design

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