Ambiguous software requirement specification detection: an automated approach.
Mohd Hafeez OsmanMohd Firdaus ZaharinPublished in: RET@ICSE (2018)
Keyphrases
- software design
- software tools
- tool suite
- automatic detection
- detection method
- software systems
- detection rate
- real time
- formal verification
- computer systems
- detection algorithm
- false positives
- highly modular
- specification language
- software development
- software architecture
- anomaly detection
- software projects
- data flow
- detection accuracy
- source code
- software quality
- formal methods
- software engineering
- face recognition
- computer software
- image sequences
- databases