The 1st Verified Software Competition: Experience Report.
Vladimir KlebanovPeter MüllerNatarajan ShankarGary T. LeavensValentin WüstholzEyad AlkassarRob ArthanDerek BronishRod ChapmanErnie CohenMark A. HillebrandBart JacobsK. Rustan M. LeinoRosemary MonahanFrank PiessensNadia PolikarpovaTom RidgeJan SmansStephan TobiesThomas TuerkMattias UlbrichBenjamin WeißPublished in: FM (2011)
Keyphrases
- software systems
- software tools
- source code
- software development
- software components
- software application
- software developers
- software design
- software package
- practical experiences
- data sets
- software platform
- computer software
- analysis tool
- user experience
- software architecture
- computer systems
- knowledge management
- database systems