Special Section on Formal Techniques for Java-like Programs.
Frank PiessensBart JacobsGary T. LeavensPublished in: J. Object Technol. (2011)
Keyphrases
- special section
- java programs
- special issue
- object oriented languages
- formal model
- source code
- object oriented
- java bytecode
- programming language
- development environment
- automatic programming
- java language
- computer programs
- multi threaded
- web applications
- lightweight
- java virtual machine
- award winning
- error handling
- java platform
- neural network
- distributed object
- control program
- cross platform
- formal specification
- database applications
- case study