Formal specification of agent-object oriented programs.
Francesco PagliarecciLuca SpalazziMark-Oliver StehrCarolyn L. TalcottPublished in: CTS (2008)
Keyphrases
- specification languages
- formal specification
- object oriented programs
- model checking
- object oriented design
- multi agent systems
- multi agent
- specification language
- process algebra
- multiagent systems
- reverse engineering
- formal methods
- concurrent systems
- software testing
- artificial intelligence
- first order logic
- open source
- cooperative
- database systems