- Ada Conformity Assessment Authority. Ada conformity assessment test suite (ACATA), 2014. URL http://www.ada-auth.org/acats.html.Google Scholar
- A. Burns and A. Wellings. Testing conformity to the real-time annex. In A. Wellings, editor, 17th International Real-Time Ada Workshop, IRTAW-17, Bennington, VT., USA, April 2015.Google Scholar
- ISO/IEC. TR15942:2000 -- Information Technology -- Programming Languages -- Guide for the Use of the Ada Programming Language in High Integrity Systems, 2000.Google Scholar
- ISO/IEC. TR24718:2005 -- Information Technology -- Programming Languages -- Guide for the use of the Ada Ravenscar profile in high integrity systems, 2005.Google Scholar
- ISO/IEC. TR24772 -- Information Technology -- Programming Languages -- Guidance to avoiding vulnerabilities in programming languages through language selection and use, 2014. Draft 3rd ed.Google Scholar
- J. Tokar. Update of ISO/IEC TR 15942, programming languages -- Guide for the use of the Ada programming language in high integrity systems. In A. Wellings, editor, 17th International Real-Time Ada Workshop, IRTAW-17, Bennington, VT., USA, April 2015.Google Scholar
Index Terms
(auto-classified)Session Summary: Conformance Issues
Recommendations
Debugging methodology (Session Summary)
SIGSOFT '83: Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debuggingTwo sessions were held on the general topic of debugging methodology. Both were moderated by R. Stockton Gaines. During the first session five speakers presented short talks on their workshop submissions. Each talk was followed by a brief question and ...
Session summary
HLT '91: Proceedings of the workshop on Speech and Natural LanguageIn this session, several sites presented videos or demos to illustrate research progress and demonstrate operation of their spoken language system. Since papers were optional for this session, the proceedings do not completely reflect the ...
Session summary
HLT '93: Proceedings of the workshop on Human Language TechnologyThe purpose of the Government Panel session is to inform the research community about Human Language Technology research sponsored by the individual Government agencies that the panelists represent. The researchers gain a better understanding of the ...






Comments