Article

Free access

The composition of abstractions: evolution of software component design with Ada 95

Author:

TRI-Ada '95: Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world

Pages 394 - 405

https://doi.org/10.1145/376503.376671

Published: 01 November 1995 Publication History

PDF eReader

References

[1]

Reference Manual for the Ada Programming Language. ANSIIMIL-Std.1815a, 1983.

Google Scholar

[2]

Programming Language Ada: Language and Standard Libraries. ISO/IEC 8652: 1995. Ada 9X MappinglRevision Team, Intermetrics. Inc., Cambridge, Massachusetts 02138, MA, January 1995.

Google Scholar

[3]

Rationale for the Programming Language Ada: Language and Standard Libraries. Ada 9X Mapping/Revision Team, Intermetrics, Inc., Cambridge, Massachusetts 02138, MA, January 1995.

Google Scholar

[4]

H.G. Baker. Object-Oriented Programming in Ada 83- Genericity Rehabilitated. Ada Letters X1(9): 116- 127, Nov/Dec 199 1.

Digital Library

Google Scholar

[5]

B. Banner and E. Schijnberg. Assessing Ada 9X OOP: Building a Reusable Components Library. In TRI- Ada'92 Conference Proceedings, ed. by C.B. Engle Jr., Orlando, Florida, 1992, pp. 79-90.

Digital Library

Google Scholar

[6]

S. Barbey. Working with Ada 9X Classes. In Proceedings of the TRI-Ada'94 Conference, ed. by C. Engle Jr., Baltimore, Maryland, November 6-11, 1994, pp. 129- 140.

Digital Library

Google Scholar

[7]

T.M. Berra. Evolution and the Myth of Creationism. Stanford University Press, Stanford, CA. 1990.

Google Scholar

[8]

G. Booth. Software Components with Ada: Structures, Tools, and Subsystems. Benjamin/Cummings, 1987.

Google Scholar

[9]

G. Bracha and W. Cook. h&in-Based Inheritance. In Proceedings of the OOPSwECOOP'90 Conference, ed. by N. Meyrowitz. Ottawa, Canada, 21-25 October, 1990, ACM SIGPLAN 25( 10):303-3 12.

Digital Library

Google Scholar

[10]

J,R. Carter. Ada 9X Reusable Components. Ada Letters X11(2):91-96, Mar/Apr 1992.

Digital Library

Google Scholar

[11]

A. Goldberg and D. Robson. Smalltalk-80: The Lunguage and its Implementation. Addison-Wesley, 1983.

Digital Library

Google Scholar

[12]

M. Kempe. Abstract Data Types Are Under Full Control with Ada 9X. In Proceedings of the TRI-Ada'94 Conference, ed by C. Engle Jr., Baltimore, Maryland, November 6-11.1994, pp. 141-152.

Digital Library

Google Scholar

[13]

M. Kempe. Heterogeneous Data Structures and Cross- Classification of Objects with Ada 95. In Proceedings of the Ada Europe'95 Conference, Frankfurt, Germany, October 1-6, 1995, LNCS, Springer-Verlag.

Digital Library

Google Scholar

[14]

B. Meyer. Reusable Software. Prentice Hall. 1994.

Google Scholar

[15]

S. Barbey, M. Kempe, A. Strohmeier. Advanced Object-Oriented Programming with Ada 95. Tutorial, TRI-Ada'94 Conference, Baltimore, Maryland, November 6-l 1, 1994

Google Scholar

[16]

A. Rand. Introduction to ObjeCtivist Epistemology. Mentor, 1979 (2nd expanded ed., Meridian 1990).

Google Scholar

[17]

E. Seidewitz. Object-Oriented Programming Through Type Extension in Ada 9X. Ada Letters X1(2):86-97, Mar/Apr 199 1.

Digital Library

Google Scholar

[18]

E. Seidewitz. Object-Oriented Programming with Mixins in Ada. Ada Letters X11(2):76-90, Mar/Apr 1992.

Digital Library

Google Scholar

[19]

ST. Taft. Ada 9X: From Abstraction-Oriented to Object-Oriented. In Proceedings of the OOPSLA'93 Conference, Washington D.C., 26 September - 1 October, 1993. ACM SIGPLAN 28(10):127-143.

Digital Library

Google Scholar

[20]

M. Vilot and G. Booth. The Design of the C++ Booth Components. In Proceedings of the OOPSWECOOP '90 Conference, ed. by N. Meyrowitz, Ottawa, Canada, 2 I-25 October, 1990, ACM SIGPLAN 25( 10): 1-l I.

Digital Library

Google Scholar

[21]

M. Weber. Proposals for Enhancement of the Ada Programming Language: A Software Engineering Perspective. Ph.D. Thesis, DI-LGL-EPFL, 1994.

Google Scholar

[22]

D. Weller. Private communication. 1995.

Google Scholar

Cited By

View all

Kempe M(2005)Heterogeneous data structures and cross-classification of objects with Ada 95Ada in Europe10.1007/BFb0015484(71-80)Online publication date: 9-Jun-2005
https://doi.org/10.1007/BFb0015484
Gibson D(2000)Two approaches to teaching software components using Ada 95ACM SIGAda Ada Letters10.1145/568965.568967XX:1(38-57)Online publication date: 1-Mar-2000
https://dl.acm.org/doi/10.1145/568965.568967

Recommendations

Verified systems by composition from verified components
ESEC/FSE-11: Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering

This paper presents an approach to integration of model checking into component-based development of software systems. This approach assists in development of highly reliable component-based software systems and reduces the complexity of verifying these ...
Verified systems by composition from verified components

This paper presents an approach to integration of model checking into component-based development of software systems. This approach assists in development of highly reliable component-based software systems and reduces the complexity of verifying these ...
Evolution of a Software Component - Experiences with a Network Editor Component
CSMR '02: Proceedings of the Sixth European Conference on Software Maintenance and Reengineering

Even though the benefits of component-based software development are widely accepted, they are easily overestimated. To provide a firmer basis for the general discussion we describe our real life experiences with a software component. Having a lifetime ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

TRI-Ada '95: Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world

November 1995

508 pages

ISBN:0897917057

DOI:10.1145/376503

Editor:
Charles B. Engle
Defense Information Systems Agency, Florida Insitute of Technology, Arlington, VA

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 November 1995

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

TriAda95

Sponsor:

SIGAda

TriAda95: Tri-Ada '95

November 5 - 10, 1995

California, Anaheim, USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
223
Total Downloads

Downloads (Last 12 months)40
Downloads (Last 6 weeks)6

Reflects downloads up to 16 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Kempe M(2005)Heterogeneous data structures and cross-classification of objects with Ada 95Ada in Europe10.1007/BFb0015484(71-80)Online publication date: 9-Jun-2005
https://doi.org/10.1007/BFb0015484
Gibson D(2000)Two approaches to teaching software components using Ada 95ACM SIGAda Ada Letters10.1145/568965.568967XX:1(38-57)Online publication date: 1-Mar-2000
https://dl.acm.org/doi/10.1145/568965.568967

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Recommendations

Verified systems by composition from verified components

Verified systems by composition from verified components

Evolution of a Software Component - Experiences with a Network Editor Component