Dataflow synchronous languages have attracted considerable interest in domains such as real-time control and hardware design. The potential benefits are promising: Discrete-time...
This paper presents a state-based approach to testing aspect-oriented programs. Aspectual state models, as an extension to the testable FREE state model of classes, are exploited ...
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
Abstract. The Agent Modeling Language (AML) is a semi-formal visual modeling language, specified as an extension to UML 2.0. It is a consistent set of modeling constructs designed...
Studies have shown significant benefits of the use of Domain-Specific Languages. However, designing a DSL still seems to be an art, rather than a craft following a clear method...
Sjouke Mauw, Wouter T. Wiersma, Tim A. C. Willemse