Abstract. In this paper, we deal with model-based automatic test generation. We show how to use UML state machines, UML class diagrams, and OCL expressions to automatically derive ...
The Semantic Web vision aims to integrate and convert the vast amount of information available on the Internet into a machine-understandable network. The objective is to promote kn...
This paper illustrates an approach to combining the benefits of a multi-agent system architecture with the use of industry-standard modelling techniques using the Unified Modeli...
This paper presents how a new teaching method in the way that a queuing theory and systems modeling or simulation course can be done, was evaluated by the teachers and the student...
Athanasios Perdos, Alexander Chatzigeorgiou, Georg...
The DiaMODL dialog modelling is a hybrid language, based on the Pisa interactor abstraction and UML Statecharts. By combining a dataflow-oriented language with one focussing on beh...