Algebraic Specification Techniques in Object Oriented Programming Environments

Author(s):  
Ruth Breu
1988 ◽  
Vol 17 (254) ◽  
Author(s):  
Pål Sørgaard

<p>The author's Ph.D. Thesis has been written as six separate papers or reports, where this paper is the overview paper. The main purpose with this paper is to provide the necessary glue needed to bind the other parts together as one coherent product. The other products are:</p><p> </p><ol> <li> A Cooperative work perspective on use and development of computer artifacts -- DAIMI PB-234 </li><li> A framework for computer supported cooperative work -- DAIMI PB-253 </li><li> Transaction supporting systems and organisational change -- DAIMI PB-248 </li><li> Object oriented programming and computerised shared material -- DAIMI PB-247 </li><li> Programming environments and system development environments -- DAIMI PB-252 </li></ol>


Author(s):  
JASON T. L. WANG ◽  
PETER A. NG

This paper presents the design of an intelligent document processing system, called TEXPROS. The system is a combination of filing and retrieval systems, which supports storing, extracting, classifying, categorizing, retrieving and browsing information from a variety of documents. TEXPROS is built based on object-oriented programming and rule-based specification techniques. In this paper, we describe main design goals of the system, its data model, logical file structure, and strategies for document classification and categorization. We also illustrate various retrieval methods and query processing techniques through examples. Finally applications of TEXPROS are presented, where we suggest ways in which the use of the system may alter the software process model.


2018 ◽  
Vol 4 (2) ◽  
Author(s):  
Eugenio Scalise ◽  
Nancy Zambrano

In this paper it is presented a software development model based on transformations that allows to derive, in an automatic way, classes in object-oriented programming languages (Ada 95, C++, Eiffel and Java) starting from formal specifications. The set of transformations that conforms the software development model are a systematic steps, which starts from the algebraic specification of a type. This algebraic specification describes the abstract behavior of a type (type of interest) by means of other type, previously specified and implemented (representation type). In a progressive way, the transformations steps allow get a program (class) nearby to the initial specification (type of interest). These transformations obtain -in the first step- an intermediate specification (class specification) that it describes the operations of the type of interest by means of pre and post-conditions. Then, the intermediate specification is used to obtain imperative code in language-independent notation (pseudo-class); and finally the pseudo-class is transformed to any object- oriented programming language for which it has been defined transformations.


Sign in / Sign up

Export Citation Format

Share Document