In component-based development (CBD), component is the basic unit for reuse and it provides a relatively coarse-grained functionality. A component typically consists of several re...
The Itacio component model intends to bring a method of verifying software systems made up of ts. This method can be applied at different levels of abstraction, and to different f...
The competitive pressures of the telecoms sector are leading to a major push towards the automation and integration of many operational support processes. This creates pressures to...
The alignment between business processes and software is inadequately supported in conceptual modelling, although business processes are often the starting point for software devel...
Software product lines (PLs) are large, complex systems, demanding high maintainability and enhanced flexibility. Nonetheless, in the state of the art PL methods, features are sca...