: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
Wuliang Sun, Eunjee Song, Paul C. Grabow, Devon M....
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...
Tool environments supporting the development of complex products need to be open and flexible. These requirements cannot be fulfilled in an adequate way by predefined coordinat...
This paper intends to describe an ongoing experiment that provides a collaborative learning method applied to a case study in higher education. With this purpose, a computer-based...
Elena Campo Montalv, Vicente Martinez-Orga, Nelson...
The growing percentage of elderly population imposes an urgent need to develop new approaches to care provision. Integration of a number of technologies such as multi-agent systems...