Ina Schaefer
Visar 12 publikationer
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language
Verification of Software Product Lines with Delta-oriented Slicing
Formal Methods in Software Product Line Engineering
A Prototypical Java-like language with Records and Traits
Delta-oriented Programming for Software Product Lines
Pure Delta-oriented Programming
Modeling and Analyzing Diversity Description of EternalS Task Force 1
Model-based Verification of Adaptive Embedded Systems under Environment Constraints
Implementing Software Product Lines using Traits
Variability Modelling for Model-Driven Development of Software Product Lines
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:
Zotero Connector
Mendeley Web Importer
Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.