Abstract state machines and the inquiry process

DOI10.1007/978-3-642-15025-8_19zbMATH Open1287.68046OpenAlexW1569356527MaRDI QIDQ3586012FDOQ3586012

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

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

zbMATH Keywords

educationformal methodsrefinementsoftware requirementsinquiry

Mathematics Subject Classification ID

Theoretical computer science (educational aspects) (97P20)

Cites Work

• Abstract State Machines
• Title not available (Why is that?)
• Sequential abstract-state machines capture sequential algorithms
• Title not available (Why is that?)
• Title not available (Why is that?)
• Abstract state machines. Theory and applications. International workshop, ASM 2000, Monte Verità, Switzerland, March 19--24, 2000. Proceedings
• Title not available (Why is that?)
• Initialization problems for Java

Cited In (6)

• Foundations of Information and Knowledge Systems
• Abstract state machines and computationally complete query languages
• Title not available (Why is that?)
• The Spotlight Principle
• Title not available (Why is that?)
• Abstract State Machines

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)