Abstract | ||
---|---|---|
This paper presents a tutorial overview of special, a formal specification and assertion language created by SRI International as part of their hierarchical design methodology. The language is based on a formal model of system behavior and is supported by language processors that assist in the interactive development of specifications. special is a strongly typed language that models data and programs as abstract resources known as objects. Collections of modules known as abstract machines are the major building blocks of a software specification in special. The technical foundations of special and the components of a special specification are described. A sample specification is detailed in an appendix. |
Year | DOI | Venue |
---|---|---|
1981 | 10.1016/0164-1212(81)90044-3 | Journal of Systems and Software |
Keywords | Field | DocType |
assertion language,special specification,formal specification,abstract resource,sri international,abstract machine,software specification,sample specification,language processor,special language,formal model | Specification language,Programming language,Programming language specification,Software engineering,Computer science,Object language,Formal specification,Language Of Temporal Ordering Specification,Formal methods,Software requirements specification,System requirements specification | Journal |
Volume | Issue | ISSN |
2 | 1 | The Journal of Systems & Software |
Citations | PageRank | References |
0 | 0.34 | 1 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
C. Sekar Chandersekaran | 1 | 77 | 23.38 |
R. C. Linger | 2 | 216 | 54.57 |