|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
An Introduction to the Specification Language SPEC
March/April 1990 (vol. 7 no. 2)
pp. 74-84
| ASCII Text | x | ||
| Valdis Berzins, Luqi null, "An Introduction to the Specification Language SPEC," IEEE Software, vol. 7, no. 2, pp. 74-84, March/April, 1990. | |||
| BibTex | x | ||
| @article{ 10.1109/52.50776, author = {Valdis Berzins and Luqi null}, title = {An Introduction to the Specification Language SPEC}, journal ={IEEE Software}, volume = {7}, number = {2}, issn = {0740-7459}, year = {1990}, pages = {74-84}, doi = {http://doi.ieeecomputersociety.org/10.1109/52.50776}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - MGZN JO - IEEE Software TI - An Introduction to the Specification Language SPEC IS - 2 SN - 0740-7459 SP74 EP84 EPD - 74-84 A1 - Valdis Berzins, A1 - Luqi null, PY - 1990 KW - specification language SPEC; black-box interface specifications; distributed systems; real-time constraints; conceptual models; specification languages VL - 7 JA - IEEE Software ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/52.50776
SPEC expresses black-box interface specifications for large, distributed systems with real-time constraints. It incorporates conceptual models, inheritance, and the event model. The design of SPEC is discussed, and its primitives, consisting of functions, types, machines, and generators, are described.
Index Terms:
specification language SPEC; black-box interface specifications; distributed systems; real-time constraints; conceptual models; specification languages
Citation:
Valdis Berzins, Luqi null, "An Introduction to the Specification Language SPEC," IEEE Software, vol. 7, no. 2, pp. 74-84, March-April 1990, doi:10.1109/52.50776
Usage of this product signifies your acceptance of the Terms of Use.