Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project.
Tony HoareJayadev MisraPublished in: VSTTE (2005)
Keyphrases
- grand challenge
- software tools
- software suite
- software development
- software developers
- software packages
- free software
- software projects
- cyber infrastructure
- software development environment
- software engineers
- computer vision
- development effort
- development methodologies
- formal models
- project management
- software components
- software systems
- hardware platforms
- real time
- case study
- end users
- autonomous driving
- working environment
- management tools
- analysis tool
- software maintenance
- computer systems
- source code
- test cases
- vision system
- qualitative data analysis
- companion web site
- usability studies
- open source
- requirements engineering
- software development teams
- software engineering
- design patterns
- software platform
- systems development
- design processes
- project managers
- educational settings