Certifying Native Java API by Formal Refinement.
Quang Huy NguyenBoutheina ChetaliPublished in: CARDIS (2006)
Keyphrases
- source code
- open source
- cross platform
- application programming interface
- object oriented
- code examples
- programming language
- database applications
- high level
- java database connectivity
- formal methods
- development environment
- formal model
- java language
- portlet development
- formal specification
- object oriented programming
- third party
- mathematical theory
- software systems
- lightweight
- web applications
- java virtual machine
- byte code
- neural network