English
These proceedings contain edited transcripts and position papers presented at a Workshop on Alternatives for the Environment, Certification, and Control of the DoD Common High Order Language (Ada). Topics discussed include: experience in language standardization, technology for language specification, verification technology, compile time tools, supporting a programming language culture, requirements analysis, system design, program documentation, maintenance, program development systems, and test and measurement.
Sign in with your free account to read, download EPUBs or listen.
DTIC Archive · Standish,Thomas A · CALIFORNIA UNIV IRVINE DEPT OF INFORMATION AND COMPUTER SCIENCE · *COMPUTER PROGRAMMING · *MILITARY APPLICATIONS · *HIGH LEVEL LANGUAGES · TEST AND EVALUATION · COMPUTER PROGRAM DOCUMENTATION · DEPARTMENT OF DEFENSE · SPECIFICATIONS