Filter Results:
- Full text PDF available (0)
Co-author
Journals and Conferences
Learn More
- John V. Guttag, James J. Horning, Stephen J. Garland, Kevin D. Jones, A. Modet, Jeannette M. Wing
- Texts and Monographs in Computer Science
- 1993
ions are easier to understand than implementations, so combining abstractions is less work. Relying only on properties of the abstractions makes software easier to maintain, because it is clear what… (More)
This report describes a Larch interface language (LM3) for the Modula-3 programming language. LM3 is a complete example of a Larch interface language and addresses areas previously ignored in… (More)
DEFINITIONS ƒ An argument is a set of two or more statements, where one purports to follow from the others. The one that supposedly follows from the others is called the conclusion, and the… (More)
- ‹
- 1
- ›