On what exactly goes on when software is developed step-by-step. II: The sequel
From MaRDI portal
Publication:1028976
DOI10.1016/S0020-0190(03)00390-9zbMath1178.68165MaRDI QIDQ1028976
Publication date: 9 July 2009
Published in: Information Processing Letters (Search for Journal in Brave)
program specification; specification languages; formal methods; software engineering; software design and implementation
68Q60: Specification and verification (program logics, model checking, etc.)
68N99: Theory of software
Related Items
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item