Engineering and theoretical underpinnings of retrenchment
From MaRDI portal
Publication:997238
DOI10.1016/j.scico.2007.04.002zbMath1119.68348OpenAlexW2098505698MaRDI QIDQ997238
M. Poppleton, C. Jeske, Susan Stepney, Richard Banach
Publication date: 23 July 2007
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://eprints.soton.ac.uk/264289/1/EngTheorUnderpinningsRet_SCP07.pdf
Related Items
Property transformation under specification change ⋮ Simulation relations for fault-tolerance ⋮ Composition mechanisms for retrenchment ⋮ Model-based construction and verification of critical systems using composition and partial refinement ⋮ 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 ⋮ Retrenchment and refinement interworking: the tower theorems ⋮ Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B ⋮ Stronger compositions for retrenchments ⋮ Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application ⋮ Anti-heterotic Computing ⋮ Sound and Relaxed Behavioural Inheritance
Uses Software
This page was built for publication: Engineering and theoretical underpinnings of retrenchment
