Search For:

Displaying 1-26 out of 26 total
Variability Management beyond Feature Models
Found in: Computer
By Anna-Lena Lamprecht,Stefan Naujokat,Ina Schaefer
Issue Date:November 2013
pp. 48-54
When new customer and regulatory requirements arise, the ability to quickly adapt business information system processes is crucial to stay ahead of competitors. A proposed synthesis-based framework enables the development of business processes that automat...
 
Hierarchical Variability Modeling for Software Architectures
Found in: Software Product Line Conference, International
By Arne Haber,Holger Rendel,Bernhard Rumpe,Ina Schaefer,Frank van der Linden
Issue Date:August 2011
pp. 150-159
Hierarchically decomposed component-based system development reduces design complexity by supporting distribution of work and component reuse. For product line development, the variability of the components to be deployed in different products has to be re...
 
Constraint-oriented Variability Modeling
Found in: Software Engineering Workshop, Annual IEEE/NASA Goddard
By Ina Schaefer,Anna-Lena Lamprecht,Tiziana Margaria
Issue Date:June 2011
pp. 77-83
Traditional syntax-oriented variability modeling specifies the set of possible system variants by explicitly describing how variability is expressed by linguistic means and it concentrates on the set of features that may or may not be present in a product....
 
Proof Composition for Deductive Verification of Software Product Lines
Found in: Software Testing Verification and Validation Workshop, IEEE International Conference on
By Thomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel
Issue Date:March 2011
pp. 270-277
Software product line engineering aims at the efficient development of program variants that share a common set of features and that differ in other features. Product lines can be efficiently developed using feature-oriented programming. Given a feature se...
 
Formal Methods in Software Product Line Engineering
Found in: Computer
By Ina Schaefer, Reiner Hähnle
Issue Date:February 2011
pp. 82-85
Formal methods could overcome the limitations of current SPLE practice, ensuring high product quality while decreasing time to market.
 
Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems
Found in: Software Engineering and Formal Methods, IEEE International Conference on
By Ina Schaefer, Arnd Poetzsch-Heffter
Issue Date:November 2008
pp. 95-104
Formal verification of adaptive systems allows rigorously proving critical requirements. However, design-level models are in general too complex to be handled by verification tools directly. To counter this problem, we propose to reduce model complexity on...
 
Specification and Verification of Dynamic Communication Systems
Found in: Application of Concurrency to System Design, International Conference on
By Jorg Bauer, Ina Schaefer, Tobe Toben, Bernd Westphal
Issue Date:June 2006
pp. 189-200
Dynamic communication systems (DCS) are complex because of their unboundedness in several dimensions. They have an unbounded and changing number of objects, a dynamically changing communication topology and unbounded message queues for asynchronous communi...
 
Multi-objective Test Suite Optimization for Incremental Product Family Testing
Found in: 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation (ICST)
By Hauke Baller,Sascha Lity,Malte Lochau,Ina Schaefer
Issue Date:March 2014
pp. 303-312
The design of an adequate test suite is usually guided by identifying test requirements which should be satisfied by the selected set of test cases. To reduce testing costs, test suite minimization heuristics aim at eliminating redundancy from existing tes...
 
Structural feature interaction patterns: case studies and guidelines
Found in: Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS '14)
By Ina Schaefer, Sandro Schulze, Sven Schuster
Issue Date:January 2014
pp. 1-8
Feature interactions have been an intensive field of research for more than a decade. Recently, it gained much attention in the context of software product lines (SPLs), a methodology that takes features explicitly into account to distinguish between simil...
     
Capturing variability in space and time with hyper feature models
Found in: Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS '14)
By Christoph Seidl, Ina Schaefer, Uwe Aßmann
Issue Date:January 2014
pp. 1-8
Software product lines (SPLs) and software ecosystems (SECOs) are approaches to capturing families of closely related software systems in terms of common and variable functionality. SPLs and especially SECOs are subject to evolution to adapt to new or chan...
     
Variability-aware safety analysis using delta component fault diagrams
Found in: Proceedings of the 17th International Software Product Line Conference co-located workshops (SPLC '13 Workshops)
By Christoph Seidl, Ina Schaefer, Uwe Aßmann
Issue Date:August 2013
pp. 2-9
Component Fault Diagrams (CFD) allow the specification of fault propagation paths, which is employed for the design of safety-critical systems as well as their certification. Even though families of safety-critical systems exist with many similar, yet not ...
     
Interface variability in family model mining
Found in: Proceedings of the 17th International Software Product Line Conference co-located workshops (SPLC '13 Workshops)
By David Wille, Ina Schaefer, Sönke Holthusen, Sandro Schulze
Issue Date:August 2013
pp. 44-51
Model-driven development of software gains more and more importance, especially in domains with high complexity. In order to develop differing but still similar model-based systems, these models are often copied and modified according to the changed requir...
     
Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series
Found in: Proceedings of the 17th International Software Product Line Conference (SPLC '13)
By Dave Clarke, Ina Schaefer, Joanne M. Atlee, Maurice H. ter Beek, Sven Apel
Issue Date:August 2013
pp. 266-267
FMSPLE 2013 is the fourth edition of the FMSPLE workshop series aimed at connecting researchers and practitioners interested in raising the efficiency and the effectiveness of software product line engineering through the application of innovative analysis...
     
Engineering delta modeling languages
Found in: Proceedings of the 17th International Software Product Line Conference (SPLC '13)
By Arne Haber, Bernhard Rumpe, Carsten Kolassa, Ina Schaefer, Katrin Hölldobler, Klaus Müller, Markus Look
Issue Date:August 2013
pp. 22-31
Delta modeling is a modular, yet flexible approach to capture spatial and temporal variability by explicitly representing the differences between system variants or versions. The conceptual idea of delta modeling is language-independent. But, in order to a...
     
The PLA model: on the combination of product-line analyses
Found in: Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems (VaMoS '13)
By Alexander von Rhein, Christian Kästner, Ina Schaefer, Sven Apel, Thomas Thüm
Issue Date:January 2013
pp. 1-8
Product-line analysis has received considerable attention in the last decade. As it is often infeasible to analyze each product of a product line individually, researchers have developed analyses, called variability-aware analyses, that consider and exploi...
     
First-class variability modeling in Matlab/Simulink
Found in: Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems (VaMoS '13)
By Arne Haber, Bernhard Rumpe, Carsten Kolassa, Ina Schaefer, Pedram Mir Seyed Nazari, Peter Manhart
Issue Date:January 2013
pp. 1-8
Modern cars exist in an vast number of variants. Thus, variability has to be dealt with in all phases of the development process, in particular during model-based development of software-intensive functionality using Matlab/Simulink. Currently, variability...
     
Family-based deductive verification of software product lines
Found in: Proceedings of the 11th International Conference on Generative Programming and Component Engineering (GPCE '12)
By Ina Schaefer, Martin Hentschel, Sven Apel, Thomas Thüm
Issue Date:September 2012
pp. 11-20
A software product line is a set of similar software products that share a common code base. While software product lines can be implemented efficiently using feature-oriented programming, verifying each product individually does not scale, especially if h...
     
A formal foundation for dynamic delta-oriented software product lines
Found in: Proceedings of the 11th International Conference on Generative Programming and Component Engineering (GPCE '12)
By Ferruccio Damiani, Ina Schaefer, Luca Padovani
Issue Date:September 2012
pp. 1-10
Delta-oriented programming (DOP) is a flexible approach for implementing software product lines (SPLs). DOP SPLs are implemented by a code base (a set of delta modules encapsulating changes to object-oriented programs) and a product line declaration (provi...
     
A transformational proof system for delta-oriented programming
Found in: Proceedings of the 16th International Software Product Line Conference - Volume 2 (SPLC '12)
By Einar Broch Johnsen, Ferruccio Damiani, Ina Schaefer, Ingrid Chieh Yu, Johan Dovland, Olaf Owe
Issue Date:September 2012
pp. 53-60
Delta-oriented programming is a modular, yet flexible technique to implement software product lines. To efficiently verify the specifications of all possible product variants of a product line, it is usually infeasible to generate all product variants and ...
     
Formal methods and analysis in software product line engineering: 3rd edition of FMSPLE workshop series
Found in: Proceedings of the 16th International Software Product Line Conference - Volume 1 (SPLC '12)
By Andreas Classen, Fabricia Roos-Frantz, Ina Schaefer, Martin Becker, Maurice H. ter Beek, Peter Y. H. Wong
Issue Date:September 2012
pp. 286-287
FMSPLE 2012 is the third edition of the FMSPLE workshop series, traditionally affiliated with SPLC, which aims to connect researchers and practitioners interested in raising the efficiency and the effectiveness of SPLE through the application of innovative...
     
Verifying traits: a proof system for fine-grained reuse
Found in: Proceedings of the 13th Workshop on Formal Techniues for Java-Like Programs (FTfJP '11)
By Einar Broch Johnsen, Ferruccio Damiani, Ina Schaefer, Johan Dovland
Issue Date:July 2011
pp. 1-6
Traits have been proposed as a more flexible mechanism for code structuring in object-oriented programming than class inheritance, for achieving fine-grained code reuse. A trait originally developed for one purpose can be modified and reused in a completel...
     
Compositional type-checking for delta-oriented programming
Found in: Proceedings of the tenth international conference on Aspect-oriented software development (AOSD '11)
By Ferruccio Damiani, Ina Schaefer, Lorenzo Bettini
Issue Date:March 2011
pp. 43-56
Delta-oriented programming is a compositional approach to flexibly implementing software product lines. A product line is represented by a code base and a product line declaration. The code base consists of a set of delta modules specifying modifications t...
     
Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems
Found in: ACM Transactions on Embedded Computing Systems (TECS)
By Arnd Poetzsch-Heffter, Ina Schaefer, Mario Trapp, Rasmus Adler
Issue Date:December 2010
pp. 1-39
Adaptation is increasingly used in the development of safety-critical embedded systems, in particular to reduce hardware needs and to increase availability. However, composing a system from many reconfigurable components can lead to a huge number of possib...
     
Pure delta-oriented programming
Found in: Proceedings of the 2nd International Workshop on Feature-Oriented Software Development (FOSD '10)
By Ferruccio Damiani, Ina Schaefer
Issue Date:October 2010
pp. 49-56
Delta-oriented programming (DOP) is a modular approach for implementing software product lines. Delta modules generalize feature modules by allowing removal of functionality. However, DOP requires to select one particular product as core product from which...
     
Abstract delta modeling
Found in: Proceedings of the ninth international conference on Generative programming and component engineering (GPCE '10)
By Dave Clarke, Ina Schaefer, Michiel Helvensteijn
Issue Date:October 2010
pp. 13-22
Delta modeling is an approach to facilitate automated product derivation for software product lines. It is based on a set of deltas specifying modifications that are incrementally applied to a core product. The applicability of deltas depends on feature-de...
     
Slicing for model reduction in adaptive embedded systems development
Found in: Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems (SEAMS '08)
By Arnd Poetzsch-Heffter, Ina Schaefer
Issue Date:May 2008
pp. 1-1
Model-based development of adaptive embedded systems is an approach to deal with the increased complexity that adaptation requirements impose on system design. Integrating formal verification techniques into this design process provides means to rigorously...
     
 1