A relational model of object collaborations and its use in reasoning about relationships

On the criteria to be used in decomposing systems into modules

David Lorge Parnas · Communications of the ACM · 1972 · 4.7K citations · Full text

Engineering, Computer Science, Systems Engineering +16

The B-book: assigning programs to meanings

Choice Reviews Online · 1997 · 2.1K citations

Language Studies, Linguistics, Programming Languages +7

Eiffel: the language

Information and Software Technology · 1992 · 994 citations

Preliminary design of JML

Gary T. Leavens, Albert L. Baker, Clyde Ruby · ACM SIGSOFT Software Engineering Notes · 2006 · 787 citations

Computing, Computer Science, Formal Methods +14

Programming with abstract data types

Barbara Liskov, Stephen N. Zilles · 1974 · 736 citations · Full text

Computing, Computer Science, Data Structures +10