Challenges and practices in aligning requirements with verification and validation: a case study of six companies.
Elizabeth BjarnasonPer RunesonMarkus BorgMichael UnterkalmsteinerEmelie EngströmBjörn RegnellGiedre SabaliauskaiteAnnabella LoconsoleTony GorschekRobert FeldtPublished in: Empir. Softw. Eng. (2014)
Keyphrases
- case study
- lessons learned
- management practices
- model checking
- design principles
- tool support
- market segments
- key issues
- real world
- functional requirements
- issues and trends
- grid workflow
- software industry
- open issues
- formal verification
- emerging technologies
- technical challenges
- application specific
- image registration
- search engine