Login / Signup
Using formal methods for requirements specification of a proposed POSIX standard.
Neal R. Reizer
Gregory D. Abowd
B. Craig Meyers
Patrick R. H. Place
Published in:
ICRE (1994)
Keyphrases
</>
formal methods
requirements specification
software engineering
model checking
knowledge based systems
formal analysis
safety critical
requirements engineering
process algebra
knowledge acquisition
information systems
cooperative
user interface
formal specification