Engineering and theoretical underpinnings of retrenchment
From MaRDI portal
Publication:997238
DOI10.1016/J.SCICO.2007.04.002zbMATH Open1119.68348OpenAlexW2098505698MaRDI QIDQ997238FDOQ997238
Authors: M. Poppleton, C. Jeske, Richard Banach, Susan Stepney 
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
Recommendations
- Retrenching the purse: the balance enquiry quandary, and generalised and \((1, 1)\) forward refinements
- scientific article; zbMATH DE number 2086962
- scientific article; zbMATH DE number 1487747
- Retrenchment and refinement interworking: the tower theorems
- Sharp retrenchment, modulated refinement and simulation
Cited In (18)
- Abstraction, refinement, enrichment
- Retrenchment for Event-B: UseCase-wise development and Rodin integration
- Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B
- Retrenching the purse: the balance enquiry quandary, and generalised and \((1, 1)\) forward refinements
- Title not available (Why is that?)
- Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application
- Sound and relaxed behavioural inheritance
- Anti-heterotic computing
- 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
- FM 2005: Formal Methods
- Retrenchment and refinement interworking: the tower theorems
- Model-based construction and verification of critical systems using composition and partial refinement
- Property transformation under specification change
- Simulation relations for fault-tolerance
- Simple feature engineering via neat default retrenchments
- Stronger compositions for retrenchments
- Composition mechanisms for retrenchment
Uses Software
This page was built for publication: Engineering and theoretical underpinnings of retrenchment
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q997238)
