Developing and debugging algebraic specifications for Java classes.
Johannes HenkelChristoph ReichenbachAmer DiwanPublished in: ACM Trans. Softw. Eng. Methodol. (2008)
Keyphrases
- java programs
- programming language
- web applications
- java code
- programming exercises
- high level
- open source
- source code
- database applications
- formal specification
- functional requirements
- fault localization
- component based software
- databases
- algebraic structures
- execution traces
- novice programmers
- reactive systems
- multi threaded
- development environment