Teaching Program Specification and Verification Using JML and ESC/Java2.
Erik PollPublished in: TFM (2009)
Keyphrases
- java programs
- formal verification
- symbolic execution
- specification language
- java bytecode
- programming exercises
- programming course
- asynchronous circuits
- source code
- formal methods
- high level
- programming language
- open source
- model checking
- byte code
- formal specification
- java card
- object oriented programs
- programming skills
- control program
- static analysis
- high school
- control flow
- online learning
- protocol specification
- computer programming
- hardware designs
- introductory programming courses
- undergraduate engineering
- problem based learning
- virtual machine
- learning process
- learning environment
- multi threaded
- e learning
- cooperative learning
- educational technology
- learning analytics
- distance learning
- higher education
- programming concepts
- object oriented programming
- practical experience
- java language
- web services