Event-B patterns and their tool support

The B-book: assigning programs to meanings

Choice Reviews Online · 1997 · 2.1K citations

Engineering, Software Systems, B Method +27

Rodin: an open toolset for modelling and reasoning in Event-B

Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede et al. · International Journal on Software Tools for Technology Transfer · 2010 · 663 citations

Reasoning, Engineering, Data Science +13

Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B

Jean-Raymond Abrial, Stefan Hallerstede · 2007 · 220 citations

Formalizing design patterns

Tommi Mikkonen · 2002 · 100 citations

Facilitate Reuse, Engineering, Architectural Pattern +20

Formalising Design Patterns in Predicate Logic

Ian Bayley · 2007 · 39 citations

Engineering, Architectural Pattern, Software Engineering +20