NASA NTRS · 19830024090
Experiences and perspectives with SRI's tools for software design and validation
Abstract
Development 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.
Keep this discovery
Explore connections, maps & timelines
Goguen, J., Levitt, K. N.. 1982-12-01. Experiences and perspectives with SRI's tools for software design and validation. https://ntrs.nasa.gov/citations/19830024090
Cite the original work for its findings. Save a collection to share your selection of sources.