Ada (Computer program language)
Resource Information
The concept Ada (Computer program language) represents the subject, aboutness, idea or notion of resources found in Indiana State Library.
The Resource
Ada (Computer program language)
Resource Information
The concept Ada (Computer program language) represents the subject, aboutness, idea or notion of resources found in Indiana State Library.
- Label
- Ada (Computer program language)
- Authority link
- (EG-IN)1250848
68 Items that share the Concept Ada (Computer program language)
Context
Context of Ada (Computer program language)Subject of
No resources found
No enriched resources found
- Using Penelope to assess the correctness of NASA Ada software : a demonstration of formal methods as a counterpart to testing
- A graphically oriented specification language for automatic code generation : GRASP/Ada, a graphical representation of algorithms, structure, and processes for Ada (phase I) : final report
- A report on NASA software engineering and Ada training requirements
- ART-Ada design project, phase II : final report
- ART/Ada design project : phase 1 : final report
- ART/Ada design project : phase 1 project plan : status report 1988
- ART/Ada design project : phase 1 task 1 report : overall design : status report
- ART/Ada design project : phase 1 task 2 report : detailed design : status report
- ART/Ada design project : phase 1 task 3 report ; test plan : status report
- ART/Ada design project : phase II : final report
- ART/Ada design project, phase 1 : task 1 report, overall design : status report for subcontract 015 ... March 1988 - October 1988
- ART/Ada design project, phase I : task 2 report, detailed design : status report for subcontract 015 ... March 1988-October 1988
- Ada
- Ada in the PAX environment
- Ada technology support for NASA-GSFC : final report
- AdaNET : phase 0 support for the AdaNET Dynamic Software Inventory (DSI) Management System prototype : catalog of available reusable software components
- AdaNET Dynamic Software Inventory (DSI) Management System prototype : component acquisition plan
- AdaNET research project
- AdaNet prototype library : administration manual
- Artificial intelligence in Ada : pattern-directed processing
- Autonomous power system brassboard
- Compiling knowledge-based systems specified in KFE to Ada
- Data Management Systems (DMS) complex data types study
- Data Management Systems (DMS) testbed user's manual development
- Deploying expert systems in Ada
- Description of real-time Ada software implementation of a power system monitor for the Space Station Freedom PMAD DC testbed
- Development of an Ada programming support environment database SEAD (Software Engineering and Ada Database) : administration manual
- Development of an Ada programming support environment database SEAD (Software Engineering and Ada Database) : user's manual
- Distributed and parallel Ada and the Ada 9x recommendations
- Distributed systems and Ada : final report
- Fault tolerant architectures for integrated aircraft electronics systems
- Final report
- Final report on Object Oriented Programming Systems (OOPS) and frame representations : an investigation of programming paradigms
- GRASP/Ada : graphical representation of algorithms, structures, and processes for Ada : the development of a program analysis environment for Ada, reverse engineering tools for Ada : task 2, phase 2 report
- GRASP/Ada : graphical representation of algorithms, structures, and processes for Ada : update of GRASP/Ada reverse engineering tools for Ada : final report
- GRASP/Ada : graphical representations of algorithms, structures, and processes for Ada : the development of a program analysis environment for Ada, reverse engineering tools for Ada : task 2, phase 3 six-month report
- Instructional support software system
- Integrity and security in an Ada runtime environment
- Knowledge representation into Ada parallel processing
- Knowledge, programming & programming cultures : LISP, C, and Ada, final report D.O. 34
- Languages for artificial intelligence : implementing a scheduler in LISP and in Ada
- Lessons learned in the transition to ADA from FORTRAN at NASA/Goddard
- Military standard : Ada programming language
- On-line replacement of program modules using AdaPT
- On-line upgrade of program modules using AdaPT
- Parallel Ada benchmarks for the SVMS : final report
- Portable Common Execution Environment (PCEE) Project review
- Programming in a proposed 9X distributed Ada
- Programming language : Defense policies and plans for implementing Ada : briefing report to the Chairman, Subcommittee on Defense, Committee on Appropriations, House of Representatives
- QUEST/Ada, query utility environment for software testing of Ada : the development of a program analysis environment for Ada
- QUEST/Ada, query utility environment for software testing of Ada : the development of a program analysis environment for Ada : task 1, phase 2 report
- QUEST/Ada, query utility environment for software testing of Ada : the development of a program analysis environment for Ada : task 1, phase 3 report (first six months)
- Reference manual for the Ada® programming language
- Repository-based software engineering program : redefining AdaNET as a mainstream NASA resource
- Software architecture for a distributed real-time system in Ada, with application to telerobotics
- Software engineering and the role of Ada : executive seminar
- Storage management in Ada : three reports
- The Adam language : Ada extended with support for multiway activities
- The development of a program analysis environment for Ada : reverse engineering tools for Ada, task 2, phase 3 final report
- The implementation and use of Ada on distributed systems with high reliability requirements : annual progress report
- The implementation and use of Ada on distributed systems with high reliability requirements : final report
- The implementation and use of Ada on distributed systems with high reliability requirements : semi-annual progress report
- Toward real-time performance benchmarks for ADA1,2
- Toward the efficient implementation of expert systems in Ada
- Transferring data objects : a focused Ada investigation
- Transforming AdaPT to ADA : interim draft report
- Transforming AdaPT to Ada9x
- Translating expert system rules into Ada code with validation and verification
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.in.gov/resource/SuM_01s1YBM/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.in.gov/resource/SuM_01s1YBM/">Ada (Computer program language)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.in.gov/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.in.gov/">Indiana State Library</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Concept Ada (Computer program language)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.in.gov/resource/SuM_01s1YBM/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.in.gov/resource/SuM_01s1YBM/">Ada (Computer program language)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.in.gov/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.in.gov/">Indiana State Library</a></span></span></span></span></div>
