Loading...
Please wait, while we are loading the content...
Similar Documents
Ssl: a software specification language
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Austin, S. L. Buckles, B. P. Ryan, J. P. |
| Copyright Year | 1976 |
| Description | SSL (Software Specification Language) is a new formalism for the definition of specifications for software systems. The language provides a linear format for the representation of the information normally displayed in a two-dimensional module inter-dependency diagram. In comparing SSL to FORTRAN or ALGOL, it is found to be largely complementary to the algorithmic (procedural) languages. SSL is capable of representing explicitly module interconnections and global data flow, information which is deeply imbedded in the algorithmic languages. On the other hand, SSL is not designed to depict the control flow within modules. The SSL level of software design explicitly depicts intermodule data flow as a functional specification. |
| File Size | 2213757 |
| Page Count | 75 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_19760014843 |
| Archival Resource Key | ark:/13960/t0qr9kz8r |
| Language | English |
| Publisher Date | 1976-01-26 |
| Access Restriction | Open |
| Subject Keyword | Computer Programming And Software Algorithms Specifications Semantics Computer Systems Design Data Processing Programming Languages Fortran 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 |