Software product line engineering has emerged as an approach to developing software which targets a given domain. However, the processes involved in developing a software product l...
Meta-modelling is at the core of Model-Driven Engineering, where it is used for language engineering and domain modelling. The OMG’s Meta-Object Facility is the standard framewor...
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...
Feature modeling is a popular domain analysis method for describing the commonality and variability among the domain products. The current formalisms of feature modelling do not ha...
Wei Zhao, Barrett R. Bryant, Fei Cao, Rajeev R. Ra...
Computer programming of complex systems is a time consuming effort. Results are often brittle and inflexible. Evolving, self-learning flexible multi-agent systems remain a distant ...