Now showing items 1-2 of 2
Trace Checking for Dynamic Software Product Lines
A key objective of self-adaptive systems is to continue to provide optimal quality of service when the environment changes. A dynamic software product line (DSPL) can benefit from knowing how its various product variants ...
An Empirical Investigation to Understand the Difficulties and Challenges of Software Modellers When Using Modelling Tools
Software modelling is a challenging and error-prone task. Existing Model-Driven Engineering (MDE) tools provide modellers with little aid, partly because tool providers have not investigated users' difficulties through ...