A Formal Approach to Computer Systems Requirements Documentation.
Marcin EngelMarcin KubicaJan MadeyDavid Lorge ParnasAnders P. RavnA. John van SchouwenPublished in: Hybrid Systems (1992)
Keyphrases
- computer systems
- operating system
- data processing
- hardware and software
- computing systems
- information systems
- communication systems
- computer technology
- information processing systems
- computer security
- legacy systems
- human beings
- written in natural language
- requirements specification
- intrusion detection system
- computer hardware
- software developers
- computer networks
- high end
- artificial intelligence
- real world
- requirements engineering
- distributed systems
- metadata