Reusable Software Components
- 1 January 1991
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 32 references indexed in Scilit:
- Formal specification and design time testingIEEE Transactions on Software Engineering, 1990
- A structured approach for VLSI circuit designComputer, 1989
- Program verification: the very ideaCommunications of the ACM, 1988
- Two implementation models of abstract data typesComputer Languages, 1987
- Improving Software ProductivityComputer, 1987
- Parameterized ProgrammingIEEE Transactions on Software Engineering, 1984
- A Mathematical Framework for the Investigation of TestingIEEE Transactions on Software Engineering, 1983
- Data Abstraction, Implementation, Specification, and TestingACM Transactions on Programming Languages and Systems, 1981
- Social processes and proofs of theorems and programsCommunications of the ACM, 1979
- The humble programmerCommunications of the ACM, 1972