Theses and Dissertations
Now showing items 1-1 of 1
The design and implementation of a syntax directed editor for the specification language Spec
(Monterey, California. Naval Postgraduate School, 1989-06)
The formal specification language Spec is used for writing black-box specifications for large software systems. These black-box specifications describe the interface beteen a system and its users, as well as internal ...