Naval Postgraduate School
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 ...
Refine By:
Advisor
Author
Branch Of Service
-
Lieutenant Commander, United States Navy (1)
Date Issued
-
1989 (1)
Degree
Department
-
Computer Science (1)
-
Department of Computer Science (1)