An introduction to the specification language SPEC

descriptionPublicationkeyboard_double_arrow_right Article 01 Mar 1990Publisher:Institute of Electrical and Electronics Engineers (IEEE)Journal:IEEE Software, volume 7, pages 74-84 (issn: 0740-7459,

Copyright policy )

Authors: Berzins, Valdis; Luqi;

doi: 10.1109/52.50776

handle: 10945/43621

An introduction to the specification language SPEC

- Summary
- Metrics

Abstract

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. >

Related Organizations

Naval Postgraduate School
United States

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	17
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 10%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average