Architectural modifications to deployed software

Constructing Induction Rules for Deductive Synthesis Proofs

Alan Bundy, Lucas Dixon, Jeremy Gow et al. · Electronic Notes in Theoretical Computer Science · 2006 · 2.8K citations · Full text

Computing, Computer Science, Formal Methods +16

The C programming language

Computer Languages · 1979 · 1.2K citations

Computing, Computer Engineering, Computer Science +9

Cost models for future software life cycle processes: COCOMO 2.0

Barry Boehm, Bradford Clark, Ellis Horowitz et al. · Annals of Software Engineering · 1995 · 652 citations

Computing, Computer Engineering, Systems Engineering +15

The art of systems architecting

Eberhardt Rechtin · IEEE Spectrum · 1992 · 623 citations

Engineering, Design, Systems Engineering +10

A model of large program development

L. A. Belady, M. M. Lehman · IBM Systems Journal · 1976 · 479 citations

Computing, Computer Science, Maintenance Engineering +9