Requirements such as distribution or tracing have an impact on multiple classes in a system. They are cross-cutting requirements, or aspects. Their support is, by necessity, scatt...
This paper introduces a formally specified design of a compositional generic agent model (GAM). This del abstracts from specific application domains; it provides a unified formal ...
Frances M. T. Brazier, Catholijn M. Jonker, Jan Tr...
We present a tool for component system design in the UML. The tool supports an internal process model for graphical specifications. The model is used to guarantee consistency of ...
The design of a large component-based software system typically involves the composition of different components. Instead of relying on a free composition of components, we advoca...