84 search results - page 1 / 17 » Application of design for verification with concurrency cont... |
KBSE
2005
IEEE
13 years 10 months ago
2005
IEEE
CSCW
1992
ACM
13 years 9 months ago
1992
ACM
This paper relates experiences of a project where an ethnographic study of air traffic controllers is being used to inform the design of the controllers' interface to the fli...
EWCBR
2004
Springer
13 years 10 months ago
2004
Springer
When events such as severe weather or congestion interfere with the normal flow of air traffic, air traffic controllers may implement plays that reroute one or more traffic flows. ...
BIRTHDAY
2007
Springer
13 years 9 months ago
2007
Springer
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...
ITSSA
2006
13 years 5 months ago
2006
: 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 prin...