Keyphrases
- programming language
- object oriented
- source code
- development environment
- formal methods
- formal model
- database applications
- lightweight
- open source
- high level
- byte code
- formal language
- java programs
- formal models
- object oriented languages
- database
- sun microsystems
- formal analysis
- distributed systems
- relational databases
- data structure
- decision trees
- social networks
- real time