We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, com...
Franz Huber, Sascha Molterer, Andreas Rausch, Bern...
ion from the implementation they use. Some tools rather consequently use this abstract model; others at least partly keep the implementational view, modeling components, e.g., by o...
Distributed applications involving mobile devices interconnected by wireless networks may benefit both from multiagent technology and context-aware programming techniques. This ar...
In a world where intelligence can be arguably measured by an animal’s ability to use tools, are we marking ourselves for natural selection? Software development tools are steadi...
EMFGormas1 is a new approach for modeling Service-oriented Open Multiagent Systems using the MDA Eclipse Technology. It offers a CASE tool based on an unified meta-model for engin...