Verification and validation: what impact should project size and complexity have on attendant V&V activities and supporting infrastructure? (panel).
James D. ArthurRobert G. SargentJames B. DabneyAverill M. LawJohn D. (Jack) MorrisonPublished in: WSC (1999)
Keyphrases
- space complexity
- computational complexity
- support environment
- data collection
- exponential size
- personal software process
- technical infrastructure
- model checking
- activity recognition
- memory requirements
- experiential knowledge
- worst case time complexity
- network size
- decision problems
- software development
- worst case
- computational cost
- case study
- project management
- software projects
- social networks
- project managers
- formal verification
- human activities
- np complete