Proving the shalls

Model checking

E. M. Clarke, Orna Grümberg, D. Long · 1996 · 6.9K citations

No Silver Bullet Essence and Accidents of Software Engineering

Brooks · Computer · 1987 · 3.1K citations

Software Maintenance, Software Reliability Testing, Engineering +22

The Esterel synchronous programming language: design, semantics, implementation

Gérard Berry, Georges Gonthier · Science of Computer Programming · 1992 · 1.7K citations

Engineering, Program Analysis, Concurrent Programming +9

Design and code inspections to reduce errors in program development

Michael Fagan · IBM Systems Journal · 1976 · 1.5K citations

Software Maintenance, Software Development Practice, Engineering +26

The STATEMATE semantics of statecharts

David Harel, A. Naamad · ACM Transactions on Software Engineering and Methodology · 1996 · 1K citations

First Executable Semantics, Engineering, Semantic Web +21