-
-
Notifications
You must be signed in to change notification settings - Fork 85
/
ssl-lang.scroll
24 lines (17 loc) · 1.12 KB
/
ssl-lang.scroll
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
import ../code/conceptPage.scroll
id ssl-lang
name ssl-lang
appeared 1976
tags pl
conceptDescription 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.
fileType text
centralPackageRepositoryCount 0
country United States
originCommunity Science Applications, Inc
reference https://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/19760014843.pdf
example
a+b*
3.0 * sin ( r + 1.0)
2 * (ifix(c) + blank_coinmon.icount)
name. feldl
name set + [oe, fred)