Programming from specifications
Programming from specifications
Contracts: specifying behavioral compositions in object-oriented systems
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Interfaces and specifications for the Smalltalk-80 collection classes
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
Refinement Calculus: A Systematic Introduction
Refinement Calculus: A Systematic Introduction
Class Refinement and Interface Refinement in Object-Oriented Programs
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
Ensuring Correctness of Java Frameworks: A Formal Look at JCF
Ensuring Correctness of Java Frameworks: A Formal Look at JCF
Class Refinement as Semantics of Correct Subclassing
Class Refinement as Semantics of Correct Subclassing
| Hi-index | 0.00 |
In this paper we propose a novel approach to specifying, documenting, and reasoning about object-oriented frameworks. The novelty of our approach is in combining standard executable statements of a programming language (we choose Java as an example) with possibly nondeterministic specification constructs. A specification of the intended behavior given in this language can serve as a precise documentation for users of the framework and its extension developers. To illustrate the applicability of our method to specification of object-oriented frameworks, we demonstrate how one can specify the Java Collections Framework which is a part of the standard Java Development Kit 2.0.