Paper Info
Title
Using Algebraic Specification Techniques in Development of Object-Oriented Frameworks
Abstract
This paper reports experience in using CafeOBJ (a multiparadigm algebraic specification language) in the development of object-oriented frameworks of the ODP trader that is implemented with Java and JavaIDL. We first identify several aspects in the target problem before applying the known techniques of developing object-oriented frameworks. We use CafeOBJ to describe each aspect solution to mechanically check the integrity of the descriptions when all the aspects are put together. Although the experience is based on a particular problem only, the proposed method is clear enough to give a systematically and sharply focused help in reaching the solution, and to illustrate practice of using formal methods in the process.
Year
DOI
Venue
1999
10.1007/3-540-48118-4_38
World Congress on Formal Methods
Keywords
Field
DocType
target problem,known technique,formal method,multiparadigm algebraic specification language,odp trader,algebraic specification techniques,object-oriented framework,paper reports experience,object-oriented frameworks,aspect solution,particular problem
Algebraic specification,Specification language,Programming language,Object-oriented programming,Computer science,Theoretical computer science,Formal specification,Language Of Temporal Ordering Specification,Formal methods,Java,Formal verification
Conference
Volume
ISSN
ISBN
1709
0302-9743
3-540-66588-9
Citations 
PageRank 
References 
4
0.41
9
Authors
1
Name
Order
Citations
PageRank
Shin Nakajima1184.81