"Computer Programming and Software." . . . . "High level languages." . . "Computer program verification." . . "Workshops." . . "Specifications." . . "Compilers." . . "Standardization." . . "Computer program documentation." . . "Computer programming." . . "Military applications." . . "Department of defense." . . "CALIFORNIA UNIV IRVINE DEPT OF INFORMATION AND COMPUTER SCIENCE." . . . . . "Proceedings of the Irvine Workshop on Alternatives for the Environment, Certification, and Control of the DOD Common High Order Language, Held at California University, Irvine on 20-22 June 1978"@en . . . . . . . . . "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."@en . . . . . . "Test and evaluation." . .