Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation.
Jan Hendrik HausmannReiko HeckelGabriele TaentzerPublished in: ICSE (2002)
Keyphrases
- static analysis
- functional requirements
- graph transformation
- dynamic analysis
- source code
- software systems
- development process
- software architecture
- software design
- symbolic execution
- information systems
- reverse engineering
- abstract interpretation
- data sets
- java card
- test suite
- open source
- cooperative
- e learning
- artificial intelligence