Ada conformity assessments

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Ada conformity assessments: a model for other programming languages?

Full text

Pdf (748 KB)

Source

Annual International Conference on Ada archive
Proceedings of the 1999 annual ACM SIGAda international conference on Ada table of contents

Redondo Beach, California, United States

Pages: 89 - 99

Year of Publication: 1999

ISBN:1-58113-127-5

Also published in ...

Author

Michael Tonndorf

Ada Conformity Assessment Laboratory, D-85521 Ottobrunn Germany

Sponsors

SIGCAS: ACM Special Interest Group on Computers and Society
SIGADA: ACM Special Interest Group on Ada Programming Language
SIGSOFT: ACM Special Interest Group on Software Engineering
SIGAPP: ACM Special Interest Group on Applied Computing
SIGPLAN: ACM Special Interest Group on Programming Languages
SIGBIO: ACM Special Interest Group on Biomedical Computing
SIGCSE: ACM Special Interest Group on Computer Science Education

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 11, Citation Count: 3

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/319294.319310 What is a DOI?

ABSTRACT

This paper presents the actual status of Ada Conformity Assessments after the transition of Ada Conformity Assessments from the Ada Joint Program Office to ISO. The principles of Ada Conformity Assessments according to the ISO/IEE Final Committee Draft 18009 are summarized and the commonalties and differences to the previous practices are discussed. In the main part of the work conformity assessments for Ada C, C++, and Java are compared. It is shown that the process as practiced with Ada is unique compared to other programming languages. This can be understood by looking at the special culture of the language Ada and its validation system. Both were sponsored by one single party (the US DoD) and not the IT industry. The paper concludes with an assessment and outlook on the future development on compiler conformity assessments in general.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Phil Brashear, Ada validation := Ada conformity assessment, ACM SIGAda Ada Letters, v.XIX n.1, p.48-51, March 1999 [doi>10.1145/311457.311470]
	2	Randall Brukardt , Steven Deller , Joyce L. Tokar, Ada 95 conformity assessment - Phil Brashear, ACM SIGAda Ada Letters, v.XIX n.1, p.52-57, March 1999 [doi>10.1145/311457.311472]
	3	ISO/iEC Final Committee Draft 18009. Information Technology- Programming Languages - Ada: Conformity Assessment of a Language Processor, 1999.
	4	An Efficient Compiler Validation Method for Ada 9X. Michael Tonndorf, Ada-Europe '93 Conference Proceedings, Lecture Notes in Computer Science 688, Springer Berlin, Heidelberg, New York.
	5	Michael Tonndorf, Ten Years of Tool Based Ada Compiler Validations. An Experience Report, Proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies, p.176-187, June 08-12, 1998
	6	Operating Procedures for Ada Conformity Assessments, Version 2.0. Ada Resource Association, Fairfax VA, USA.

CITED BY 3

	Geoff T. Smith, Measuring the effectiveness of ACATS, ACM SIGAda Ada Letters, v.XXIV n.4, p.9-12, December 2004
	Ingo Stürmer , Daniela Weinberg , Mirko Conrad, Overview of existing safeguarding techniques for automatically generated code, ACM SIGSOFT Software Engineering Notes, v.30 n.4, July 2005
	Ingo Stuermer , Mirko Conrad , Heiko Doerr , Peter Pepper, Systematic Testing of Model-Based Code Generators, IEEE Transactions on Software Engineering, v.33 n.9, p.622-634, September 2007