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)
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)
FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012