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
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.
"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
"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
CALIFORNIA UNIV IRVINE DEPT OF INFORMATION AND COMPUTER SCIENCE.
This is a placeholder reference for a Organization entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.
This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.