Event-B patterns and their tool support

Page 1

	Year	Citations
The B-book: assigning programs to meanings Choice Reviews Online EngineeringSoftware SystemsB MethodSoftware EngineeringSemantics	1997	2.1K
Rodin: an open toolset for modelling and reasoning in Event-B Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede, International Journal on Software Tools for Technology Transfer ReasoningEngineeringData ScienceReasoning SystemAutomated Reasoning	2010	663
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B Jean-Raymond Abrial, Stefan Hallerstede	2007	220
Formalizing design patterns Tommi Mikkonen Facilitate ReuseEngineeringArchitectural PatternVerificationSoftware Engineering	2002	100
Formalising Design Patterns in Predicate Logic Ian Bayley EngineeringArchitectural PatternSoftware EngineeringOriginal 23Higher-order Logic	2007	39
Event-B Patterns and Their Tool Support Thai Son Hoang, Andreas Fürst, Jean-Raymond Abrial Event-driven ArchitectureEngineeringSoftware EngineeringComplex SystemsSoftware Analysis	2009	22
Precise Steps for Choreography Modeling for SOA Validation and Verification Sebastian Wieczorek, Andreas Röth, Alin Ştefănescu, EngineeringService Choreography ModelingVerificationComputer-aided VerificationSoftware Engineering	2008	18
Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker. Toufik Taibi, Ángel Herranz, Juan José Moreno-Navarro The Journal of Object Technology	2009	10

Page 1