Using the Spec# Language, Methodology, and Tools to Write Bug-Free Programs.
K. Rustan M. LeinoPeter MüllerPublished in: LASER Summer School (2008)
Keyphrases
- programs written
- source code
- computer programs
- programming language
- programming exercises
- programming skills
- object oriented programming
- operating system
- software systems
- object oriented languages
- language learning
- control structures
- language constructs
- dynamic logic
- agent programming
- programming environments
- programming environment
- intermediate level
- operational semantics
- end users
- software tools
- software projects
- deductive databases
- decision support
- open source
- user oriented evaluation