共 50 条
- [1] Sharp Retrenchment, Modulated Refinement and Simulation Formal Aspects of Computing, 1999, 11 (05): : 498 - 540
- [2] Retrenchment: An engineering variation on refinement B'98: RECENT ADVANCES IN THE DEVELOPMENT AND USE OF THE B METHOD, 1998, 1393 : 129 - 147
- [5] Methodologies to evolve formal specifications through refinement and retrenchment in an analysis–revision cycle Requirements Engineering, 2009, 14 : 129 - 153
- [10] Dynamic refinement of a campaign simulation ENABLING TECHNOLOGY FOR SIMULATION SCIENCE III, 1999, 3696 : 88 - 95