Retrenchment for Event-B: UseCase-wise development and Rodin integration
From MaRDI portal
Publication:539231
DOI10.1007/s00165-009-0139-2zbMath1214.68129MaRDI QIDQ539231
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
refinement; Event-B; retrenchment; incremental development; Rodin toolset; tower pattern; UseCase-wise development
68Q60: Specification and verification (program logics, model checking, etc.)
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Uses Software
Cites Work