Sciweavers

Share
130 search results - page 1 / 26
» Towards Probabilistic Modelling in Event-B
Sort
View
IFM
2010
Springer
133views Formal Methods» more  IFM 2010»
12 years 1 months ago
Towards Probabilistic Modelling in Event-B
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
IFM
2007
Springer
12 years 9 months ago
Qualitative Probabilistic Modelling in Event-B
Abstract. Event-B is a notation and method for discrete systems modelling by reļ¬nement. We introduce a small but very useful construction: qualitative probabilistic choice. It ex...
Stefan Hallerstede, Thai Son Hoang
ASM
2010
ASM
12 years 6 months ago
Refinement-Animation for Event-B - Towards a Method of Validation
We provide a detailed description of refinement in Event-B, both as a contribution in itself and as a foundation for the approach to simultaneous animation of multiple levels of re...
Stefan Hallerstede, Michael Leuschel, Daniel Plagg...
ENTCS
2008
140views more  ENTCS 2008»
12 years 3 months ago
Linking Event-B and Concurrent Object-Oriented Programs
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
Andrew Edmunds, Michael Butler
ASM
2010
ASM
13 years 15 days ago
Towards Validation of Requirements Models
Abstract. The aim of this paper is to gradually introduce formalism in the requirement engineering phase in order to facilitate its validation. We analyze and elicit our requiremen...
Atif Mashkoor, Abderrahman Matoussi
books