Identifying Impact Criteria for Software Requirement Verification and Validation Tools Selection.
Khalid AldousariMohammad Abdullah-Al-WadudPublished in: CSCI (2022)
Keyphrases
- software tools
- selection criteria
- formal methods
- software developers
- software packages
- software components
- software systems
- software platform
- hardware platforms
- analysis tool
- software development
- commercial software
- software architecture
- web enabled
- companion web site
- design tools
- software reuse
- graphical user interfaces
- software design
- software maintenance
- computer aided software engineering
- program understanding
- programming environments
- software engineering
- free software
- hardware designs
- heterogeneous systems
- software suite
- technical issues
- computational tools
- formal verification
- end users
- computer systems
- multiple criteria
- multi criteria
- selection algorithm
- development methodologies
- software engineering practices
- source code
- building blocks
- educational software
- verification method
- software engineers
- software evolution
- software environment