Defining model transformations for property templates

Autor: Wuttke, Jochen

We defined the notion of property templates after we observed that many system failures can be clustered according to their symptoms, and the design constraints these failures violate [PW09]. In this technical report we document the semantics of prop

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______805::496f006698d7eb34cf416d37c7cc81fc
http://doc.rero.ch/record/22111/files/ITR0905.pdf

Property templates and assertions supporting runtime failure detection

Autor: Wuttke, Jochen

In the context of our research program we addressed the question whether or not requirements documents contain information about system level properties that can be exploited to automatically create assertions for run-time checks of these properties.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______805::5687ae48b9aa2744ed004502f744431d
http://doc.rero.ch/record/10707/files/ITR0804.pdf

On Patterns for Decentralized Control in Self-Adaptive Systems.

Autor: Weyns, Danny, Schmerl, Bradley, Grassi, Vincenzo, Malek, Sam, Mirandola, Raffaela, Prehofer, Christian, Wuttke, Jochen, Andersson, Jesper, Giese, Holger, Göschka, Karl M.

Publikováno v: Software Engineering for Self-Adaptive Systems II; 2013, p76-107, 32p

Traffic routing for evaluating self-adaptation.

Autor: Wuttke, Jochen, Brun, Yuriy, Gorla, Alessandra, Ramaswamy, Jonathan

Publikováno v: 2012 7th International Symposium on Software Engineering for Adaptive & Self-Managing Systems (SEAMS); 1/ 1/2012, p27-32, 6p

Finding bugs by isolating unit tests.

Autor: Muşlu, Kivanç, Soran, Bilge, Wuttke, Jochen

Publikováno v: Proceedings of the 19th ACM SIGSOFT Symposium & the 13th European Conference: Foundations of Software Engineering; 9/ 5/2011, p496-499, 4p