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)
Try this search on Wikipedia, OneLook, Google
Nearby terms: PaiLisp « pain in the net « Paintbrush « PAISley » PAL » Palace » palette
Copyright 2010 Denis Howe
