Alliance of model-driven engineering with a proof-based formal approach

The B-book: assigning programs to meanings

Choice Reviews Online · 1997 · 2.1K citations

Language Studies, Linguistics, Programming Languages +7

Meaningful modeling: what's the semantics of "semantics"?

David Harel, Bernhard Rumpe⋆ · Computer · 2004 · 515 citations

Language Studies, Computer Science, Diagramming +16

ProB: an automated analysis toolset for the B method

Michaël Leuschel, Michael Butler · International Journal on Software Tools for Technology Transfer · 2008 · 383 citations

Computing, Computer Science, Systems Analysis +5

UML-B

Colin Snook, Michael Butler · ACM Transactions on Software Engineering and Methodology · 2006 · 290 citations

Computing, Computer Science, Diagramming +9

ATL

Frédéric Jouault, Freddy Allilaire, Jean Bézivín et al. · 2006 · 214 citations

Computing, Computer Science, Model-based Systems Engineering +14