2493 search results - page 197 / 499 » Tool Support for Design by Contract |
137
click to vote
ATAL
2005
Springer
16 years 2 days ago
2005
Springer
The following demonstration will provide an overview of the key functionality and capabilities of Magenta’s Logistics i-Scheduler – a multi-agent software tool for real time s...
166
click to vote
MSO
2003
15 years 8 months ago
2003
The provision of efficient methods and tool support for the development and engineering of distributed systems is a key enabling factor for the evolution of Information Technology...
178
click to vote
VDA
2010
15 years 9 months ago
2010
Design patterns have proven to be a useful means to make the process of designing, developing, and reusing software systems more efficient. In the area of information visualizatio...
180
click to vote
CHI
2002
ACM
16 years 6 months ago
2002
ACM
This research aims to investigate a collection of interactions in 2D workspaces with the goal of helping users stay in the flow of their activity. These interactions will be explo...
138
click to vote
MATES
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we describe the Agent World Editor, a tool for designing multi-agent systems and generating executable agent code. The tool also unifies the handling of different a...