Verifiable annotations for embedded java environments.
Guangyu ChenMahmut T. KandemirPublished in: CASES (2005)
Keyphrases
- open source
- embedded systems
- programming language
- source code
- object oriented
- everyday objects
- semantic annotation
- database applications
- annotation tool
- databases
- sufficient conditions
- web services
- metadata
- web applications
- high level
- software components
- development environment
- highly dynamic
- gene ontology
- cross platform
- java programs
- meta information
- genetic algorithm
- real world