132 search results - page 10 / 27 » A UML-based Software Engineering Methodology for Agent Facto... |
AOSE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The agent-oriented software engineering methodology Tropos offers a structured development process and supporting tools for developing complex, distributed systems. The ...
ATAL
2007
Springer
13 years 11 months ago
2007
Springer
In this paper we propose a methodology for the construction of 3D electronic institutions. 3D electronic institutions are normative environments where software and human agents ca...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
The agentTool III (aT3 ) development environment is built on the Eclipse platform and provides traditional model creation tools to support the analysis, design, and implementation...
WER
2007
Springer
14 years 1 months ago
2007
Springer
The increasing use of multi-agent systems brings challenges that have not been studied yet, such as how should we adapt requirements elicitation to cope with agent properties like...
ICFEM
2010
Springer
13 years 6 months ago
2010
Springer
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...