15 search results - page 1 / 3 » Retrenchment and the Mondex Electronic Purse |
ASM
2005
ASM
13 years 10 months ago
2005
ASM
SEFM
2007
IEEE
13 years 11 months ago
2007
IEEE
The issues surrounding the question of atomicity, both in the past and nowadays, are briefly reviewed, and a picture of an ACID (atomic, consistent, isolated, durable) transactio...
SEW
2006
IEEE
13 years 11 months ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
FM
2005
Springer
13 years 10 months ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
TASE
2009
IEEE
13 years 11 months ago
2009
IEEE
Retrenchment is a framework that allows relatively unrestricted system evolution steps to be described in a way that gives an evolution step some formal content — unlike model b...