Retrenchment for Event-B: UseCase-wise development and Rodin integration

DOI10.1007/S00165-009-0139-2zbMath1214.68129OpenAlexW2138824635MaRDI QIDQ539231

Richard Banach

Publication date: 27 May 2011

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-009-0139-2

zbMATH Keywords

refinementEvent-Bretrenchmentincremental developmentRodin toolsettower patternUseCase-wise development

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Retrenchment and refinement interworking: the tower theorems

Uses Software

• Rodin

Cites Work

• Unnamed Item
• Unnamed Item
• Engineering and theoretical underpinnings of retrenchment
• On regularity in software design
• Superposition refinement of reactive systems
• Composition mechanisms for retrenchment
• The B-Book
• FM 2005: Formal Methods
• Retrenchment and refinement interworking: the tower theorems

This page was built for publication: Retrenchment for Event-B: UseCase-wise development and Rodin integration