Formal Specifications of the European Train Control System

Object-Oriented Modelling and Design

James Rumbaugh, M. Blaha, William Premerlani et al. · 1991 · 951 citations

Software Maintenance, Engineering, Object-oriented Modeling +17

Modern structured analysis

A. Lewiński · Information and Software Technology · 1990 · 788 citations

Dynamic Data Structure, Engineering, Automated Reasoning +5

Object-oriented modelling and design

Ian D. Graham · Fuzzy Sets and Systems · 1991 · 575 citations

Engineering, Object-oriented Modelling, Object-oriented Modeling +9

On the Formal Semantics of Statecharts (Extended Abstract)

David Harel, Amir Pnueli, Jeanette P. Schmidt et al. · Logic in Computer Science · 1987 · 206 citations

Formal Semantics, Formal Specification, Engineering +8