Verification and semantic parallelization of goal-driven autonomous software.
Damian DechevNicolas RouquettePeter PirkelbauerBjarne StroustrupPublished in: Autonomics (2008)
Keyphrases
- goal driven
- software product line
- service composition
- parallel processing
- software development
- hardware designs
- semantic annotation
- model checking
- software systems
- life cycle
- user interface
- natural language
- cooperative
- semantic web services
- formal methods
- source code
- object oriented
- databases
- semantic similarity
- multi agent
- case study
- e learning