Retrenchment and refinement interworking: the tower theorems

DOI10.1017/S0960129514000061zbMath1361.68056MaRDI QIDQ5740620

Richard Banach, C. Jeske

Publication date: 27 July 2016

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Simple feature engineering via neat default retrenchments ⋮ The mechanical generation of fault trees for reactive systems via retrenchment. I. Combinational circuits ⋮ The mechanical generation of fault trees for reactive systems via retrenchment. II. Clocked and feedback circuits ⋮ Retrenchment for Event-B: UseCase-wise development and Rodin integration ⋮ Stronger compositions for retrenchments ⋮ Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application

Cites Work

• Retrenchment for Event-B: UseCase-wise development and Rodin integration
• Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application
• Stronger compositions for retrenchments
• Engineering and theoretical underpinnings of retrenchment
• Atomic actions, and their refinements to isolated protocols
• Composition mechanisms for retrenchment
• Proof of correctness of data representations
• Data Refinement
• Program development by stepwise refinement