Her scientific interests lie mostly in Software product line, Software, Programming language, Set and Software development. The Software product line study combines topics in areas such as Feature, Code reuse, Formal methods, Formal verification and Data science. Her work carried out in the field of Data science brings together such families of science as Package development process, Software sizing, Data mining and Software metric.
Her Software research is multidisciplinary, incorporating elements of Field, Algorithm and Metamodeling. Her work deals with themes such as Real-time computing and Implementation, which intersect with Set. Her biological study focuses on Software construction.
Ina Schaefer focuses on Software, Software product line, Software engineering, Programming language and Software system. The study incorporates disciplines such as Domain, Set, Java and Modular design in addition to Software. Data mining is closely connected to Feature model in her research, which is encompassed under the umbrella topic of Software product line.
Her Software engineering research incorporates themes from Software development, Software development process, Systems engineering and Social software engineering. Her Software development research focuses on Software construction in particular. Her studies deal with areas such as Automated theorem proving and Code as well as Correctness.
Ina Schaefer spends much of her time researching Software, Software engineering, Programming language, Software system and Correctness. She has researched Software in several fields, including Control and Documentation. Her study in Software engineering is interdisciplinary in nature, drawing from both Visualization, Software development, Software product line and Legacy system.
Her Software product line research includes elements of Consistency and Software evolution. The various areas that Ina Schaefer examines in her Programming language study include Key and Distributed computing. In her work, Heuristics is strongly intertwined with Formal verification, which is a subfield of Software system.
Her main research concerns Software, Software engineering, Set, Theoretical computer science and Data mining. Her Software research integrates issues from Key and Language construct. Her Software engineering study deals with Design by contract intersecting with Software development process, Hybrid system, Formal methods and Automated reasoning.
Her Set study is concerned with Programming language in general. Her research in Theoretical computer science intersects with topics in Propositional calculus, Documentation and Feature. Her research integrates issues of Graph, Distributed computing and Calculus in her study of Software product line.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Delta-oriented programming of software product lines
Ina Schaefer;Lorenzo Bettini;Ferruccio Damiani;Nico Tanzarella.
software product lines (2010)
A Classification and Survey of Analysis Strategies for Software Product Lines
Thomas Thüm;Sven Apel;Christian Kästner;Ina Schaefer.
ACM Computing Surveys (2014)
Evolution of software in automated production systems
Birgit Vogel-Heuser;Alexander Fay;Ina Schaefer;Matthias Tichy.
Journal of Systems and Software (2015)
Software diversity: state of the art and perspectives
Ina Schaefer;Rick Rabiser;Dave Clarke;Lorenzo Bettini.
International Journal on Software Tools for Technology Transfer (2012)
Abstract delta modeling
Dave Clarke;Michiel Helvensteijn;Ina Schaefer.
generative programming and component engineering (2010)
Incremental model-based testing of delta-oriented software product lines
Malte Lochau;Ina Schaefer;Jochen Kamischke;Sascha Lity.
tests and proofs (2012)
Flexible product line engineering with a virtual platform
Michał Antkiewicz;Wenbin Ji;Thorsten Berger;Krzysztof Czarnecki.
international conference on software engineering (2014)
Variability Modelling for Model-Driven Development of Software Product Lines
variability modelling of software intensive systems (2009)
Family-based deductive verification of software product lines
Thomas Thüm;Ina Schaefer;Sven Apel;Martin Hentschel.
generative programming and component engineering (2012)
Analysis Strategies for Software Product Lines
Thomas Thüm;Sven Apel;Christian Kästner;Martin Kuhlemann.
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: