UML statecharts are widely used to specify the dynamic behaviours of systems . To support systematic simulation of such models, we propose an approach to map systems specified usin...
Object-oriented modeling has become the de-facto standard in the early phases of a software development process during the last decade. The current state-of-the-art is dominated b...
Software performance based on performance models can be applied at early phases of the software development cycle to characterize the quantitative behavior of software systems. We...
This paper presents the Agent Factory Development Methodology, an Agent-Oriented Software Engineering (AOSE) methodology that employs a synthesis of the Unified Modelling Languag...
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...