On what exactly goes on when software is developed step-by-step. II: The sequel

DOI10.1016/S0020-0190(03)00390-9zbMath1178.68165OpenAlexW2014089673MaRDI QIDQ1028976

Thomas S. E. Maibaum

Publication date: 9 July 2009

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0020-0190(03)00390-9

zbMATH Keywords

program specificationspecification languagesformal methodssoftware engineeringsoftware design and implementation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Related Items (1)

On what exactly goes on when software is developed step-by-step. II: The sequel

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On what exactly goes on when software is developed step-by-step. II: The sequel
• Categorical semantics of parallel program design
• May I borrow your logic? (Transporting logical structures along maps)
• On a generalized modularization theorem
• Temporal Reasoning over Deontic Specifications
• Recent Trends in Algebraic Development Techniques

This page was built for publication: On what exactly goes on when software is developed step-by-step. II: The sequel