NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Experiences and perspectives with SRI's tools for software design and validationDevelopment of tools that include the STP theorem poer and its associated Design Verification Systems; PHIL, a meta-programmable context sensitive structured editor; Pegasus, a system for support of graphical programming; and OBJ, an ultra high level programming language based on rewrite rules and abstract data type is reported.
Document ID
19830024090
Acquisition Source
Legacy CDMS
Document Type
Conference Paper
Authors
Goguen, J.
(Stanford Research Inst. CA, United States)
Levitt, K. N.
(Stanford Research Inst. CA, United States)
Date Acquired
August 11, 2013
Publication Date
December 1, 1982
Publication Information
Publication: NASA. Goddard Space Flight Center Proc. of the 7th Ann. Software Eng. Workshop
Subject Category
Computer Programming And Software
Accession Number
83N32361
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Available Downloads

There are no available downloads for this record.
No Preview Available