Abstract State Machines and the Inquiry Process

DOI10.1007/978-3-642-15025-8_19zbMath1287.68046OpenAlexW1569356527MaRDI QIDQ3586012

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

formal methodsrefinementeducationsoftware requirementsinquiry

Mathematics Subject Classification ID

Theoretical computer science (educational aspects) (97P20)

Cites Work

• Abstract state machines. Theory and applications. International workshop, ASM 2000, Monte Verità, Switzerland, March 19--24, 2000. Proceedings
• Abstract State Machines
• Initialization problems for Java
• Sequential abstract-state machines capture sequential algorithms
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item