NASA NTRS · 19830000244
Software Specification Language
Abstract
SSL translator aids in developing and checking software systems. Goal of SSL is to provide form of verification and consistency checking early in design phase. Serves as formal document to communicate software architecure to detailed designers.
Keep this discovery
Explore connections, maps & timelines
Buckles, B. P., Ryan, J. P., Austin, S. L.. 1983-10-01. Software Specification Language. https://ntrs.nasa.gov/citations/19830000244
Cite the original work for its findings. Save a collection to share your selection of sources.