Title :
[Copyright notice]
Abstract :
The following topics are dealt with: software requirement; software modeling; software design; formal method; programming language; programming algorithm; concurrency control; software monitoring; software verification; and multiagent system.
Keywords :
concurrency control; multi-agent systems; program verification; programming languages; concurrency control; formal method; multiagent system; programming algorithm; programming language; software design; software modeling; software monitoring; software requirement; software verification;
Conference_Titel :
Engineering of Complex Computer Systems (ICECCS), 2012 17th International Conference on
Conference_Location :
Paris
Print_ISBN :
978-1-4673-2156-3
