Retrenching the purse: The balance enquiry quandary, and generalised and (1, 1) forward refinements
Some of the success stories of model based refinement are recalled, as well as some of the annoyances that arise when refinement is deployed in the engineering of large systems. The way that retrenchment attempts to alleviate such inconveniences is briefly reviewed. The Mondex Electronic Purse forma...
| Main Authors: | , , , |
|---|---|
| Other Authors: | , , , |
| Format: | Article |
| Language: | English |
| Published: |
2007.
|
| Subjects: | |
| Online Access: | Get fulltext Get fulltext |