Object-Oriented Programming and Protected Objects in Ada 95

2000 ◽  
pp. 16-28 ◽  
Author(s):  
Andy J. Wellings ◽  
Bob Johnson ◽  
Bo Sanden ◽  
Joerg Kienzle ◽  
Thomas Wolf ◽  
...  
Keyword(s):  
Object Oriented ◽  
Object Oriented Programming ◽  
Ada 95

scholarly journals Integrating object-oriented programming and protected objects in Ada 95

2000 ◽  
Vol 22 (3) ◽  
pp. 506-539 ◽  
Author(s):  
A. J. Wellings ◽  
B. Johnson ◽  
B. Sanden ◽  
J. Kienzle ◽  
T. Wolf ◽  
...  
Keyword(s):  
Object Oriented ◽  
Object Oriented Programming ◽  
Ada 95

scholarly journals Integrating object-oriented programming and protected objects in Ada 95

2002 ◽  
Vol XXII (2) ◽  
pp. 11-44 ◽  
Author(s):  
A. J. Wellings ◽  
B. Johnson ◽  
B. Sanden ◽  
J. Kienzle ◽  
T. Wolf ◽  
...  
Keyword(s):  
Object Oriented ◽  
Object Oriented Programming ◽  
Ada 95

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.

Review: Ada 95: The Craft of Object-Oriented Programming

1997 ◽  
Vol 39 (3) ◽  
pp. 27-28
Author(s):  
M. West
Keyword(s):  
Object Oriented ◽  
Object Oriented Programming ◽  
Ada 95

The Concert system - Compiler and runtime technology for efficient concurrent object-oriented programming

1993 ◽  
Author(s):  
Andrew Chien ◽  
Vijay Karamcheti ◽  
John Plevyak ◽  
Deepak Sahrawat
Keyword(s):  
Object Oriented ◽  
Object Oriented Programming
Sign in / Sign up

Export Citation Format

Share Document