• Publications
  • Influence
Dynamic Software Product Lines
TLDR
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 market segment or mission. Expand
  • 257
  • 24
Dynamic Software Product Lines
TLDR
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 market segment or mission. Expand
  • 157
  • 14
Building Dynamic Software Product Lines
TLDR
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. Expand
  • 111
  • 13
  • PDF
An overview of Dynamic Software Product Line architectures and techniques: Observations from research and industry
TLDR
In this research work we provide 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. Expand
  • 130
  • 12
  • PDF
Ten Commandments of Formal Methods
TLDR
We show that formal methods projects can be completed on schedule and within budget and produce correct software that is well structured, maintainable, and satisfies customer requirements. Expand
  • 295
  • 10
  • PDF
Model-Based Verification of Embedded Software
TLDR
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 system software. Expand
  • 77
  • 10
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
  • 82
  • 8
  • PDF
Seven More Myths of Formal Methods
TLDR
New myths about formal methods are gaining tacit acceptance both outside and inside the system-development community. Expand
  • 254
  • 7
  • PDF
Fulfilling the Vision of Autonomic Computing
TLDR
Efforts since 2001 to design self-managing systems have yielded many impressive achievements, yet the original vision of autonomic computing remains unfulfilled. Expand
  • 151
  • 6
Swarms and Swarm Intelligence
Nature-inspired intelligent swarm technologies deals with complex problems that might be impossible to solve using traditional technologies and approaches. Swarm intelligence techniques (note theExpand
  • 156
  • 6
  • PDF