Requirements Verification Method for System Engineering Based on a RDF Logic View.
Albéric CornièreVirginie FortineauThomas PaviotSamir LamouriPublished in: SOHOMA (2015)
Keyphrases
- verification method
- model checking
- temporal logic
- requirements engineering
- metadata
- semantic web
- artificial intelligence
- knowledge base
- data sources
- engineering problems
- formal semantics
- engineering design
- modal logic
- relational data
- data model
- software requirements
- software engineering
- knowledge representation
- engineering students
- databases
- data sets
- requirements elicitation
- functional requirements
- application specific
- topic maps
- linked data
- query language