Science of Computer Programming

Statecharts: a visual formalism for complex systems

David Harel · 1987 · 6.7K citations

Engineering, Systems Engineering, Complex Systems +10

Communication and concurrency

Wojciech Penczek · 1990 · 4K citations

Object-oriented software construction

Pierre America · 1989 · 2K citations

Goal-directed requirements acquisition

Anne Dardenne, Axel van Lamsweerde, Stephen Fickas · 1993 · 2K citations

The Esterel synchronous programming language: design, semantics, implementation

Gérard Berry, Georges Gonthier · 1992 · 1.7K citations · Full text

Computing, Computer Engineering, Computer Science +9