Ada validation := Ada conformity assessment
ACM SIGAda Ada Letters
Ada 95 conformity assessment - Phil Brashear
ACM SIGAda Ada Letters
Ten Years of Tool Based Ada Compiler Validations. An Experience Report
Ada-Europe '98 Proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies
Measuring the effectiveness of ACATS
Proceedings of the 2004 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies
Overview of existing safeguarding techniques for automatically generated code
SEAS '05 Proceedings of the second international workshop on Software engineering for automotive systems
Systematic Testing of Model-Based Code Generators
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
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.