• Publications
  • Influence
Dynamic Software Product Lines
The Software Engineering Institute (SEI) defines an SPL as a set of software-intensive systems that share a common, managed set of features satisfying the specific needs of a particular marketExpand
Dynamic Software Product Lines
The Software Engineering Institute (SEI) defines an SPL as a set of software-intensive systems that share a common, managed set of features satisfying the specific needs of a particular marketExpand
An overview of Dynamic Software Product Line architectures and techniques: Observations from research and industry
TLDR
This research work provides an overview of the state of the art and current techniques that, partially, attempt to face the many challenges of runtime variability mechanisms in the context of Dynamic Software Product Lines, and provides an integrated view of the challenges and solutions that are necessary to support runtime variability mechanism in DSPL models and software architectures. Expand
Building Dynamic Software Product Lines
Dynamic software product lines extend existing product line engineering approaches by moving their capabilities to runtime, helping to ensure that system adaptations lead to desirable properties.
Ten Commandments of Formal Methods
TLDR
Through observations of many recently completed and in-progress projects, these guidelines that, if adhered to, greatly increase a project's chances for success are come up with. Expand
Model-Based Verification of Embedded Software
Current advances in model-based development technology indicate that embedded-software developers can expect more tool support for the whole embedded-software spectrum, from applications to systemExpand
Formal Versus Agile: Survival of the Fittest
TLDR
This paper proves that formal methods can survive in an agile world; they are not obsolete and can be integrated into it. Expand
Fulfilling the Vision of Autonomic Computing
TLDR
Researchers must develop a comprehensive systems engineering approach to create effective solutions for next-generation enterprise and sensor systems. Expand
Swarms and Swarm Intelligence
TLDR
Swarm intelligence techniques are population-based stochastic methods used in combinatorial optimization problems in which the collective behavior of relatively simple individuals arises from their local interactions with their environment to produce functional global patterns. Expand
Seven More Myths of Formal Methods
TLDR
The authors address and dispel myths based on their observations of industrial projects about formal methods that are gaining tacit acceptance both outside and inside the system-development community. Expand
...
1
2
3
4
5
...