Communications of the ACM · 1986 · 40 citations · 21 references
ComputingComputer ScienceProject ManagementProject ControlSoftware EngineeringSoftware ArchitectureSoftware ConstructionSoftware DesignSoftware ModelingSoftware Project ManagementAbstractionAbstraction BoundariesAbstraction HierarchiesAbstraction Mechanisms
A five-year experience with abstraction-based software-development techniques in the university environment indicates that the investment required to support the paradigm in practice is returned in terms of greater ability to control complexity in large projects—provided there exists a set of software tools sufficient to support the approach.
21
Proof of correctness of data representations
C. A. R. Hoare · Acta Informatica · 1972 · 967 citations
Barbara Liskov, Alan Snyder, Russell R. Atkinson et al. · Communications of the ACM · 1977 · 772 citations · Full text
Programming with abstract data types
Barbara Liskov, Stephen N. Zilles · 1974 · 736 citations · Full text
Software engineering economics
Hakan Erdogmus, Barry Boehm, Warren Harrison et al. · 2002 · 718 citations