From Capability Specifications to Code for Multi-Agent Software.
Loris PenseriniAnna PeriniAngelo SusiJohn MylopoulosPublished in: ASE (2006)
Keyphrases
- multi agent
- source code
- control flow
- unit testing
- written in natural language
- software development
- software systems
- data flow
- intelligent agents
- code generation
- linux kernel
- static analysis
- java code
- software architecture
- software testing
- industry standard
- fully functional
- cooperative
- integration testing
- requirements specification
- legacy software
- clone detection
- reinforcement learning
- application programming interface
- program understanding
- hardware design
- software tools
- computer systems
- multi agent systems
- multiple agents
- software design
- formal specification
- open source