loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Technology of Object-Oriented Languages and Systems
Specifying Java Frameworks Using Abstract Programs
Santa Barbara, California
August 01-August 05
ISBN: 0-7695-0278-4
Anna Mikhajlova, Abo Akademi University
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.
Citation:
Anna Mikhajlova, "Specifying Java Frameworks Using Abstract Programs," tools, pp.136, Technology of Object-Oriented Languages and Systems, 1999
Usage of this product signifies your acceptance of the Terms of Use.