Automotive systems engineering has made significant progress in using formal methods to design safe hardware-software systems. The architectures and design methods could become a ...
Ken Tindell, Hermann Kopetz, Fabian Wolf, Rolf Ern...
Reusing assets during application engineering promises to improve the efficiency of systems development. However, in order to benefit from reusable assets, application engineeri...
Joachim Bayer, Cristina Gacek, Dirk Muthig, Tanya ...
In this paper, a case study investigating the experiences from using product-line architectures is presented involving two swedish companies, Axis Communications AB and Securitas ...
Researchers have proposed a number of tools for automatic bug localization. Given a program and a description of the failure, such tools pinpoint a set of statements that are most...
Often, the only sources of information about the evolution of software systems are the systems themselves and their histories. Version control repositories contain information on ...