Leblebici, Erhan ; Anjorin, Anthony ; Schürr, Andy
Hrsg.: Huisman, Marieke ; Rubin, Julia (2017)
Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques.
20th International Conference on Fundamental Approaches to Software Engineering.
doi: 10.1007/978-3-662-54494-5_11
Konferenzveröffentlichung, Bibliographie

Damiani, Ferruccio ; Hähnle, Reiner ; Kamburjan, Eduard ; Lienhardt, Michael
Hrsg.: Huisman, Marieke ; Rubin, Julia (2017)
A Unified and Formal Programming Model for Deltas and Traits.
Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings.
doi: 10.1007/978-3-662-54494-5_25
Konferenzveröffentlichung, Bibliographie

Falzon, Kevin ; Pace, Gordon J.
Hrsg.: Machado, Ricardo J. ; Maciel, Rita Suzana ; Rubin, Julia ; Botterweck, Goetz (2012)
Combining Testing and Runtime Verification.
8th International Workshop on Model-based Methodologies for Pervasive and Embedded Software. Essen, Germany (September 04, 2012)
Konferenzveröffentlichung, Bibliographie