ODP enterprise viewpoint specification

Introduction to the ISO specification language LOTOS

Tommaso Bolognesi, Ed Brinksma · Computer Networks and ISDN Systems · 1987 · 1.3K citations · Full text

Computing, Computer Science, Formal Methods +5

The Z notation: A reference manual

Jan Madey · Science of Computer Programming · 1990 · 561 citations

Natural Sciences, Mathematics, Metrology +3

The unified modelling language reference manual

James Rumbaugh, Grady Booch, Ivar Jacobson · Dialnet (Universidad de la Rioja) · 1999 · 545 citations

Engineering, Computer Science, Systems Engineering +12

The UML as a formal modeling notation

Robert France, A. William Evans, Kevin Lano et al. · Computer Standards & Interfaces · 1998 · 269 citations

Computing, Computer Science, Formal Methods +11

On the characterization of law and computer systems: the normative systems perspective

Andrew Jones, Marek Sergot · Deontic Logic in Computer Science · 1994 · 221 citations

Law, Computer Systems, Jurisprudence +10