Over the past few years, we are experiencing a surge of evolution problems related to legacy object-oriented systems. Object orientation provides means for systems to be well-desi...
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
Thomas A. Henzinger, Benjamin Horowitz, Christoph ...
: Scenario-based approaches are becoming ubiquitous in systems analysis and design but their definition and scope remain vague. Complementing the recently proposed CREWS classifica...
Klaus Weidenhaupt, Klaus Pohl, Matthias Jarke, Pet...
The grand challenge that is the focus of this conference targets the development of a practical methodology for software verification: a methodology that can help us to reduce the ...
The long-term sustainability of a software product depends on more than developing features. Priorities are placed on aspects that support the development of software, like softwar...