TU Darmstadt / ULB / TUbiblio

ForMAAD Method: An Experimental Design for Air Traffic Control

Regayeg, Amira and Kallel, Slim and Kacem, Ahmed Hadj and Jmaiel, Mohamed (2006):
ForMAAD Method: An Experimental Design for Air Traffic Control.
In: International Transactions on Systems Science and Applications, pp. 327-334, 1, (4), [Article]

Abstract

This paper proposes a formal methodology for designing multi-agent systems based on stepwise refinements.The main contribution consists in providing a set of methodological principles and hints which help the user to build, in a systematic and incremental way, a correct design specification starting from an abstract requirements one. This method will be illustrated by developing a multi-agent solution for an air traffic control application.

Item Type: Article
Erschienen: 2006
Creators: Regayeg, Amira and Kallel, Slim and Kacem, Ahmed Hadj and Jmaiel, Mohamed
Title: ForMAAD Method: An Experimental Design for Air Traffic Control
Language: German
Abstract:

This paper proposes a formal methodology for designing multi-agent systems based on stepwise refinements.The main contribution consists in providing a set of methodological principles and hints which help the user to build, in a systematic and incremental way, a correct design specification starting from an abstract requirements one. This method will be illustrated by developing a multi-agent solution for an air traffic control application.

Journal or Publication Title: International Transactions on Systems Science and Applications
Volume: 1
Number: 4
Uncontrolled Keywords: agent oriented software engineering, formal methodology, stepwise refinement.
Divisions: 20 Department of Computer Science > Software Technology
20 Department of Computer Science
Date Deposited: 22 Sep 2009 14:16
Export:

Optionen (nur für Redakteure)

View Item View Item