Sciweavers

2 search results - page 1 / 1
» UseCase-Wise Development: Retrenchment for Event-B
Sort
View
FAC
2011
51views more  FAC 2011»
12 years 11 months ago
Retrenchment for Event-B: UseCase-wise development and Rodin integration
UseCase-wise Development, an ‘Agile Method’ which introduces functionality into an application stage by stage, with each stage being carried through (ideally) to implementation...
Richard Banach