An operational specification language from Bell Labs. ["An Operational Approach to Requirements Specification for Embedded Systems", P. Zave, IEEE Trans Soft Eng SE-8(3):250-269 (May 1982)]. (1995-01-30)

In addition suitable contents:
[ 2 ] [ = ] [ ag ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ at ] [ av ] [ B ] [ b ] [ be ] [ Bell ] [ Bell Labs ] [ bs ] [ ca ] [ cat ] [ ch ] [ ci ] [ dd ] [ de ] [ du ] [ E ] [ ec ] [ ed ] [ er ] [ era ] [ fi ] [ file ] [ fo ] [ for ] [ fr ] [ ge ] [ gu ] [ h ] [ hr ] [ id ] [ IE ] [ IEEE ] [ il ] [ io ] [ ir ] [ la ] [ language ] [ Lex ] [ M ] [ mo ] [ mod ] [ module ] [ ms ] [ na ] [ ng ] [ ns ] [ O ] [ om ] [ op ] [ pe ] [ ph ] [ pr ] [ query ] [ rational ] [ rc ] [ re ] [ ro ] [ roach ] [ S ] [ SE ] [ se ] [ Spec ] [ spec ] [ specification ] [ st ] [ T ] [ to ] [ ua ] [ ve ] [ Z ]