Engineering and theoretical underpinnings of retrenchment

DOI10.1016/J.SCICO.2007.04.002MaRDI QIDQ997238zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

simulationrefinementdigital redesignmodel evolutionretrenchmentrequirements engineeringmondex purse

Mathematics Subject Classification ID

Theory of software (68N99)

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)

• Composition mechanisms for retrenchment
• 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
• scientific article; zbMATH DE number 2079994 (Why is no real title available?)
• Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application
• Sound and relaxed behavioural inheritance
• 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
• Anti-heterotic computing
• 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

Describes a project that uses

Uses Software

• ETPS
• TLA
• RAISE

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)