Optimizing the Planning and Executing of Software Independent Verification and Validation (IV&V) in Mature Organizations.
Christopher P. FuhrmanEdgardo PalzaKim Loan DoPublished in: COMPSAC Workshops (2004)
Keyphrases
- software systems
- information systems
- user interface
- financial investment
- model checking
- software development
- information technology
- formal methods
- software tools
- decision making
- business applications
- development methodologies
- software industry
- planning problems
- software design
- computer systems
- embedded systems
- software process improvement
- software developers
- formal verification
- critical information
- goal oriented
- social networks
- competitive advantage
- software maintenance
- knowledge sharing
- heuristic search
- source code
- knowledge management
- multi agent systems