Generating a requirements specifications knowledge-base.
David W. CordesDoris L. CarverPublished in: ACM Conference on Computer Science (1988)
Keyphrases
- knowledge base
- functional requirements
- written in natural language
- knowledge representation
- knowledge acquisition
- inference engine
- expert systems
- knowledge based systems
- user requirements
- wordnet
- semantic network
- knowledge structures
- requirements specification
- automatically generating
- formal specification
- rule base
- case study
- real time
- description logics
- reasoning process
- specification language
- operational semantics
- reasoning engine
- delay insensitive
- search engine
- machine learning