5 search results - page 1 / 1 » A Roadmap for the Rodin Toolset |
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...
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...
SBMF
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...
ASM
2008
ASM
13 years 6 months ago
2008
ASM
A Virtual Machine (VM) is a program running on a conventional microprocessor that emulates the binary instruction set, registers, and memory space of an idealized computing machine...