Property transformation under specification change
From MaRDI portal
Publication:352027
DOI10.1007/s11704-010-0112-5zbMath1267.68093OpenAlexW2140146562MaRDI QIDQ352027
Publication date: 4 July 2013
Published in: Frontiers of Computer Science in China (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11704-010-0112-5
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Uses Software
Cites Work
- Engineering and theoretical underpinnings of retrenchment
- Myths about the mutual exclusion problem
- Specification by interface separation
- Data Refinement
- Algebraic Methodology and Software Technology
- ZB 2005: Formal Specification and Development in Z and B
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item