A specification language. It expresses black box interface specifications for large distributed systems with real-time constraints. It incorporates conceptual models, inheritance and the event model. It is a descendant of MSG.84. ["An Introduction to the Specification Language Spec", V. Berzins et al, IEEE Software 7(2):74-84 (Mar 1990)].

In addition suitable contents:
[ 2 ] [ = ] [ ag ] [ ai ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ arg ] [ at ] [ B ] [ b ] [ black box ] [ bo ] [ box ] [ ca ] [ cat ] [ ch ] [ ci ] [ ck ] [ co ] [ con ] [ cons ] [ constraint ] [ de ] [ distributed system ] [ distributed systems ] [ du ] [ E ] [ ec ] [ ed ] [ er ] [ es ] [ et ] [ event ] [ fi ] [ file ] [ fo ] [ for ] [ G ] [ ge ] [ gu ] [ h ] [ hr ] [ id ] [ IE ] [ IEEE ] [ il ] [ in ] [ inc ] [ inheritance ] [ int ] [ interface ] [ io ] [ is ] [ it ] [ la ] [ language ] [ Lex ] [ ls ] [ M ] [ mo ] [ mod ] [ mode ] [ model ] [ module ] [ ms ] [ MSG.84 ] [ na ] [ nc ] [ ng ] [ ns ] [ pe ] [ ph ] [ pr ] [ pt ] [ query ] [ rc ] [ re ] [ real ] [ real-time ] [ ro ] [ S ] [ sc ] [ se ] [ spec ] [ specification ] [ st ] [ sy ] [ system ] [ th ] [ to ] [ tr ] [ tw ] [ ua ] [ V ] [ ve ]