- AC91.Roberto M. Amadio and Luca CardeUi. Subtyping recursive types. In Eighteenth A CM Symposium on Principles of Programming Languages, pages 104-118, 1991. Google ScholarDigital Library
- App.Apple Computer. MacApp 2.0 General Reference.Google Scholar
- BDG+88.Daniel G. Bobrow, Linda G. DeMichiel, Richard P. Gabriel, Sonya E. Keene, Gregor Kiczales, and David A. Moon. Common lisp object system specification. Sigplan Notices, 23(Special Issue), September 1988. Google ScholarDigital Library
- BKK+86.D.G. Bobrow, K. Kahn, G. Kiczales, L. Masinter, M. Stefik, and F. Zdybel. Commonloops: Merging Lisp and object-oriented programming. In OOPSLA '86 Conference Proceedings, Sigplan Notices 21(11). ACM, Nov 1986. Google ScholarDigital Library
- Boo91.Grady Booch. Object Oriented Design with Applications. Benjamin/Cummings, 1991. Google ScholarDigital Library
- CHC90.William R. Cook, Walter L. Hill, and Peter S. Canning. Inheritance is not subtyping. In Seventeenth A CM Symposium on Principles of Programming Languages, pages 125-135, 1990. Google ScholarDigital Library
- GOP90.Keith E. Gorlen, Sanford M. Orlow, and Perry S. Plexico. Data Abstraction and Object- Oriented Programming in C++. John Wiley & Sons, 1990. Google ScholarDigital Library
Index Terms
- Issues in the design and specification of class libraries
Recommendations
Formal Specification and Design Time Testing
It is shown how design time testing can be used in conjunction with formal specification. Emphasis is placed on the benefits of using an executable specification language OBJ, of having a design controlled by requirements specification, and of adherence ...
Specification and generation of digital libraries into DSpace using the 5S framework
ECDL'07: Proceedings of the 11th European conference on Research and Advanced Technology for Digital LibrariesWhile digital library (DL) systems continue to become more powerful and usable, a certain amount of inherent complexity remains in the installation, configuration, and customization of out-of-the-box solutions like DSpace and Greenstone. In this work, ...
Comments