Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
: Complex software systems, like operating systems and middleware, have to cope with a broad range of requirements as well as strict resource constraints. Family-based software dev...
Since several years, ubiquitous computing and pervasive computing has emerged and, in particular, context-aware computing. Using mobile devices, the context is perpetually evolvin...
This paper proposes the RAFTING approach (Resourcebased Approach to FeaTure InteractioN) to address the feature interaction problem in the context of dynamically adapted software....
In a component-based system components are basic computation units implementing specific business functions, and their interactions are explicitly represented by connectors. If th...