Algebraic Specification Techniques in Object Oriented Programming Environments

1991 ◽  
Author(s):  
Ruth Breu
Keyword(s):  
Object Oriented ◽  
Object Oriented Programming ◽  
Algebraic Specification ◽  
Programming Environments ◽  
Specification Techniques

scholarly journals A Discussion of Computer Supported Cooperative Work: Overview Paper

1988 ◽  
Vol 17 (254) ◽  
Author(s):  
Pål Sørgaard
Keyword(s):  
System Development ◽  
Object Oriented ◽  
Organisational Change ◽  
Cooperative Work ◽  
Object Oriented Programming ◽  
Computer Supported Cooperative Work ◽  
The Other ◽  
Programming Environments

<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>

TEXPROS: AN INTELLIGENT DOCUMENT PROCESSING SYSTEM

1992 ◽  
Vol 02 (02) ◽  
pp. 171-196 ◽  
Author(s):  
JASON T. L. WANG ◽  
PETER A. NG
Keyword(s):  
Data Model ◽  
Process Model ◽  
Processing System ◽  
Object Oriented ◽  
Object Oriented Programming ◽  
Document Processing ◽  
Retrieval Systems ◽  
File Structure ◽  
Processing Techniques ◽  
Specification Techniques

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.

scholarly journals A Software Development Model for the Automatic Generation of Classes

2018 ◽  
Vol 4 (2) ◽  
Author(s):  
Eugenio Scalise ◽  
Nancy Zambrano
Keyword(s):  
Software Development ◽  
Programming Languages ◽  
Object Oriented ◽  
Automatic Generation ◽  
Object Oriented Programming ◽  
Development Model ◽  
Algebraic Specification ◽  
Formal Specifications ◽  
Software Development Model ◽  
Ada 95

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