Ina Schaefer

Visar 12 publikationer

2011

Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language

D. Clarke, Nikolay Diakov, Reiner Hähnle et al
Lecture Notes in Computer Science. Vol. 6659, p. 417-457
Paper i proceeding
2011

Verification of Software Product Lines with Delta-oriented Slicing

Daniel Bruns, Vladimir Klebanov, Ina Schaefer
Lecture Notes in Computer Science. Vol. 6528, p. 61-75
Paper i proceeding
2011

Formal Methods in Software Product Line Engineering

Ina Schaefer, Reiner Hähnle
Computer. Vol. 44 (2), p. 82-85
Artikel i vetenskaplig tidskrift
2010

A Prototypical Java-like language with Records and Traits

Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer et al
Proc. of Principles and Practice of Programming in JAVA (PPPJ 2010), p. 129-138
Paper i proceeding
2010

Delta-oriented Programming for Software Product Lines

Ina Schaefer, Lorenzo Bettini, Viviana Bono et al
Lecture Notes in Computer Science. Vol. 6287, p. 77-91
Paper i proceeding
2010

Pure Delta-oriented Programming

Ina Schaefer, Ferruccio Damiani
Second International Workshop on Feature-oriented Software Development (FOSD 2010), p. 49-56
Paper i proceeding
2010

Modeling and Analyzing Diversity Description of EternalS Task Force 1

Ina Schaefer
Lecture Notes in Computer Science. Vol. 6416 LNCS (Part 2), p. 23-25
Paper i proceeding
2010

Abstract delta modeling

D. Clarke, M. Helvensteijn, Ina Schaefer
9th International Conference on Generative Programming and Component Engineering, GPCE'10, Eindhoven, Netherlands, 10-13 October 2010, p. 13-22
Paper i proceeding
2010

Abstract Delta Modeling

D. Clarke, M. Helvensteijn, Ina Schaefer
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 46 (2), p. 13-22
Artikel i vetenskaplig tidskrift
2009

Model-based Verification of Adaptive Embedded Systems under Environment Constraints

Ina Schaefer, Arnd Poetzsch-Heffter
2nd Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2009)
Paper i proceeding
2009

Implementing Software Product Lines using Traits

Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer
Object Oriented Programming Languages and Systems (OOPS), 25th ACM Symposium on Applied Computing (SAC 2010)
Paper i proceeding
2009

Variability Modelling for Model-Driven Development of Software Product Lines

Ina Schaefer
Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2010)
Paper i proceeding

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Det finns inga projekt att visa.
Det kan finnas fler projekt där Ina Schaefer medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.