5 search results - page 1 / 1 » Retrenchment for Event-B: UseCase-wise development and Rodin... |
FAC
2011
12 years 11 months ago
2011
UseCase-wise Development, an ‘Agile Method’ which introduces functionality into an application stage by stage, with each stage being carried through (ideally) to implementation...
ASM
2008
ASM
13 years 6 months ago
2008
ASM
STTT
2010
13 years 3 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
ICECCS
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract— Maintaining semantic consistency of data is a significant problem in distributed information systems, particularly those on which a business may depend. Our current wo...
ICECCS
2009
IEEE
13 years 11 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...