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

digital redesignmodel evolutionmondex purserefinementrequirements engineeringretrenchmentsimulation

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

(20)

• Simulation relations for fault-tolerance
• Sharp retrenchment, modulated refinement and simulation
• Composition mechanisms for retrenchment
• Property transformation under specification change
• scientific article; zbMATH DE number 2079994 (Why is no real title available?)
• scientific article; zbMATH DE number 1487747 (Why is no real title available?)
• 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
• Abstraction, refinement, enrichment
• Retrenching the purse: the balance enquiry quandary, and generalised and (1, 1) forward refinements
• Retrenchment for Event-B: UseCase-wise development and Rodin integration
• Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B
• FM 2005: Formal Methods
• Retrenchment and refinement interworking: the tower theorems
• Anti-heterotic computing
• Sound and relaxed behavioural inheritance
• Model-based construction and verification of critical systems using composition and partial refinement
• Simple feature engineering via neat default retrenchments
• Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application
• Stronger compositions for retrenchments

Describes a project that uses

Uses Software

• ETPS
• RAISE
• TLA

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)