Loading...
Please wait, while we are loading the content...
Similar Documents
Saga: a project to automate the management of software production systems (Document No: 19840008755)
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Campbell, R. H. |
| Copyright Year | 1983 |
| Description | The current work in progress for the SAGA project are described. The highlights of this research are: a parser independent SAGA editor, design for the screen editing facilities of the editor, delivery to NASA of release 1 of Olorin, the SAGA parser generator, personal workstation environment research, release 1 of the SAGA symbol table manager, delta generation in SAGA, requirements for a proof management system, documentation for and testing of the cyber pascal make prototype, a prototype cyber-based slicing facility, a June 1984 demonstration plan, SAGA utility programs, summary of UNIX software engineering support, and theorem prover review. |
| File Size | 5269989 |
| Page Count | 149 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_19840008755 |
| Archival Resource Key | ark:/13960/t7xm34z14 |
| Language | English |
| Publisher Date | 1983-01-01 |
| Access Restriction | Open |
| Subject Keyword | Computer Programming And Software Editing Routines Computers Semantics Management Systems Prototypes Parsing Algorithms Language Programming Syntax Program Verification Computers Compilers Software Engineering Ntrs Nasa Technical Reports Server (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Technical Report |
