Abstract state machines and the inquiry process

DOI10.1007/978-3-642-15025-8_19MaRDI QIDQ3586012zbMATH OpenOpenAlexFDO

Authors James K. Huggins, Charles Wallace

Publication date 3 September 2010

Published in Fields of Logic and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15025-8_19

zbMATH Keywords

educationformal methodsinquiryrefinementsoftware requirements

Mathematics Subject Classification ID

Theoretical computer science (educational aspects) (97P20)

Recommendations

• The abstract state machines method for high-level system design and analysis
• scientific article; zbMATH DE number 1670522
• scientific article; zbMATH DE number 1670502
• Frontiers of Combining Systems
• Foundations of Information and Knowledge Systems

Cites work

• Abstract State Machines
• Abstract state machines. Theory and applications. International workshop, ASM 2000, Monte Verità, Switzerland, March 19--24, 2000. Proceedings
• scientific article; zbMATH DE number 1650458 (Why is no real title available?)
• scientific article; zbMATH DE number 515739 (Why is no real title available?)
• scientific article; zbMATH DE number 1543079 (Why is no real title available?)
• scientific article; zbMATH DE number 773979 (Why is no real title available?)
• Initialization problems for Java
• Sequential abstract-state machines capture sequential algorithms

Cited in

(6)

• Abstract state machines and computationally complete query languages
• scientific article; zbMATH DE number 1670504 (Why is no real title available?)
• Abstract State Machines
• scientific article; zbMATH DE number 1543042 (Why is no real title available?)
• The Spotlight Principle
• Foundations of Information and Knowledge Systems

This page was built for publication: Abstract state machines and the inquiry process

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