A Verification Method of Elicited Software Requirements Using Requirements Ontology.
Dang Viet DzungAtsushi OhnishiPublished in: APSEC (2012)
Keyphrases
- software requirements
- verification method
- requirements specification
- functional requirements
- software development
- software systems
- systems development
- requirements engineering
- model checking
- development process
- temporal logic
- software architecture
- knowledge based systems
- metamodel
- software engineering
- domain knowledge
- written in natural language
- domain ontology
- knowledge base
- domain specific
- knowledge representation
- semantic web
- information systems
- expert systems
- case study
- semantic annotation
- life cycle
- semantic information
- e government