With the rapid development of model-driven engineering (MDE), domain-specific modeling has become a widely used software development technique. In MDE, metamodels represent a schem...
Companies in the software business often distribute requirements engineering responsibilities over several roles. Product management has overall product responsibility and performs...
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...
—We propose a software engineering process to aid the development of Dynamic Software Architectures (DSAs). This process is based on the sequential application of a number of for...
Maurice H. ter Beek, Antonio Bucchiarone, Stefania...
Producing large software systems is an extremely challenging engineering task. The main reason is the difficulty of managing the enormous amounts of code and the great numbers of ...