skip to content
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. Preview this item
ClosePreview this item
Checking...

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.

Author: Thomas A Standish; CALIFORNIA UNIV IRVINE Dept. of INFORMATION AND COMPUTER SCIENCE.
Publisher: Ft. Belvoir Defense Technical Information Center JAN 1978.
Edition/Format:   Print book : English
Summary:
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,  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Thomas A Standish; CALIFORNIA UNIV IRVINE Dept. of INFORMATION AND COMPUTER SCIENCE.
OCLC Number: 227459704
Description: 335 pages

Abstract:

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.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/227459704> # 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.
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "227459704" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/vau> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1807789660#Place/ft_belvoir> ; # Ft. Belvoir
   schema:about <http://experiment.worldcat.org/entity/work/data/1807789660#Topic/workshops> ; # Workshops
   schema:about <http://experiment.worldcat.org/entity/work/data/1807789660#Topic/computer_program_verification> ; # Computer program verification
   schema:about <http://experiment.worldcat.org/entity/work/data/1807789660#Topic/military_applications> ; # Military applications
   schema:about <http://experiment.worldcat.org/entity/work/data/1807789660#Topic/computer_program_documentation> ; # Computer program documentation
   schema:about <http://experiment.worldcat.org/entity/work/data/1807789660#Topic/computer_programming> ; # Computer programming
   schema:about <http://experiment.worldcat.org/entity/work/data/1807789660#Topic/specifications> ; # Specifications
   schema:about <http://experiment.worldcat.org/entity/work/data/1807789660#Topic/standardization> ; # Standardization
   schema:about <http://experiment.worldcat.org/entity/work/data/1807789660#Topic/department_of_defense> ; # Department of defense
   schema:about <http://experiment.worldcat.org/entity/work/data/1807789660#Topic/computer_programming_and_software> ; # Computer Programming and Software
   schema:about <http://experiment.worldcat.org/entity/work/data/1807789660#Topic/compilers> ; # Compilers
   schema:about <http://experiment.worldcat.org/entity/work/data/1807789660#Topic/test_and_evaluation> ; # Test and evaluation
   schema:about <http://experiment.worldcat.org/entity/work/data/1807789660#Topic/high_level_languages> ; # High level languages
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1807789660#Organization/california_univ_irvine_dept_of_information_and_computer_science> ; # CALIFORNIA UNIV IRVINE Dept. of INFORMATION AND COMPUTER SCIENCE.
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1807789660#Person/standish_thomas_a> ; # Thomas A. Standish
   schema:datePublished "JAN 1978" ;
   schema:datePublished "1978" ;
   schema:description "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 ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1807789660> ;
   schema:inLanguage "en" ;
   schema:name "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 ;
   schema:productID "227459704" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/227459704#PublicationEvent/ft_belvoirdefense_technical_information_centerjan_1978> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1807789660#Agent/defense_technical_information_center> ; # Defense Technical Information Center
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/227459704> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1807789660#Agent/defense_technical_information_center> # Defense Technical Information Center
    a bgn:Agent ;
   schema:name "Defense Technical Information Center" ;
    .

<http://experiment.worldcat.org/entity/work/data/1807789660#Organization/california_univ_irvine_dept_of_information_and_computer_science> # CALIFORNIA UNIV IRVINE Dept. of INFORMATION AND COMPUTER SCIENCE.
    a schema:Organization ;
   schema:name "CALIFORNIA UNIV IRVINE Dept. of INFORMATION AND COMPUTER SCIENCE." ;
    .

<http://experiment.worldcat.org/entity/work/data/1807789660#Person/standish_thomas_a> # Thomas A. Standish
    a schema:Person ;
   schema:familyName "Standish" ;
   schema:givenName "Thomas A." ;
   schema:name "Thomas A. Standish" ;
    .

<http://experiment.worldcat.org/entity/work/data/1807789660#Topic/computer_program_documentation> # Computer program documentation
    a schema:Intangible ;
   schema:name "Computer program documentation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1807789660#Topic/computer_program_verification> # Computer program verification
    a schema:Intangible ;
   schema:name "Computer program verification"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1807789660#Topic/computer_programming> # Computer programming
    a schema:Intangible ;
   schema:name "Computer programming"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1807789660#Topic/computer_programming_and_software> # Computer Programming and Software
    a schema:Intangible ;
   schema:name "Computer Programming and Software"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1807789660#Topic/department_of_defense> # Department of defense
    a schema:Intangible ;
   schema:name "Department of defense"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1807789660#Topic/high_level_languages> # High level languages
    a schema:Intangible ;
   schema:name "High level languages"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1807789660#Topic/military_applications> # Military applications
    a schema:Intangible ;
   schema:name "Military applications"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1807789660#Topic/test_and_evaluation> # Test and evaluation
    a schema:Intangible ;
   schema:name "Test and evaluation"@en ;
    .

<http://www.worldcat.org/title/-/oclc/227459704>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/227459704> ; # 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.
   schema:dateModified "2017-09-03" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.