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

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">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 ]