Title :
The insufficiency of formal design methods - the necessity of an experimental approach for the understanding and control of complex MAS
Author :
Edmonds, Bruce ; Bryson, Joanna J.
Author_Institution :
Manchester Metropolitan University
Keywords :
Buildings; Computer science; Design methodology; Formal languages; Formal specifications; Permission; Software systems; Turing machines;
Conference_Titel :
Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004. Proceedings of the Third International Joint Conference on
Conference_Location :
New York, NY, USA
Print_ISBN :
1-58113-864-4
