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.68165OpenAlexW2014089673MaRDI QIDQ1028976
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
program specificationspecification languagesformal methodssoftware engineeringsoftware design and implementation
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)
Related Items (1)
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