![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
SPLC Workshops 2013: Tokyo, Japan
- 17th International Software Product Line Conference co-located workshops, SPLC 2013 workshops, Tokyo, Japan - August 26 - 30, 2013. ACM 2013, ISBN 978-1-4503-2325-3
4th Int'l Workshop on Formal Methods and Analysis in Software Product Line Eng. (FMSPLE 2013)
- Christoph Seidl, Ina Schaefer, Uwe Aßmann
:
Variability-aware safety analysis using delta component fault diagrams. 2-9 - Maurice H. ter Beek
, Alberto Lluch-Lafuente
, Marinella Petrocchi:
Combining declarative and procedural views in the specification and analysis of product families. 10-17 - Hamad I. Alsawalqah, Sungwon Kang, Danhyung Lee:
A method for software product platform design based on features. 18-25 - Christian Prehofer, Peter Scholz:
Behavioral refinement of non-deterministic state transition diagrams based on behavior elimination. 26-33 - Mahsa Varshosaz, Ramtin Khosravi:
Discrete time Markov chain families: modeling and verification of probabilistic software product lines. 34-41
5th International Workshop on Model-Driven Approaches in Software Product Line Engineering; 4th Workshop on Scalable Modeling Techniques for Software Product Lines (MAPLE/SCALE 2013)
- David Wille, Sönke Holthusen, Sandro Schulze
, Ina Schaefer:
Interface variability in family model mining. 44-51 - Daniela Lettner, Michael Petruzelka, Rick Rabiser
, Florian Angerer, Herbert Prähofer, Paul Grünbacher
:
Custom-developed vs. model-based configuration tools: experiences from an industrial automation ecosystem. 52-58 - Daniel Romero, Simon Urli, Clément Quinton, Mireille Blay-Fornarino
, Philippe Collet, Laurence Duchien, Sébastien Mosser
:
SPLEMMA: a generic framework for controlled-evolution of software product lines. 59-66 - Viktor Kolokolov, Paul Baumann, Silvia Santini, Stefan T. Ruehl, Stephan A. W. Verclas:
Flexible development of variable software features for mobile business applications. 67-73 - Yoann Gabillon, Nicolas Biri, Benoît Otjacques:
Methodology to integrate multi-context UI variations into a feature model. 74-81 - Marianela Ciolfi Felice, João Bosco Ferreira Filho, Mathieu Acher, Arnaud Blouin
, Olivier Barais:
Interactive visualisation of products in online configurators: a case study for variability modelling technologies. 82-85 - Changyun Huang, Yasutaka Kamei, Kazuhiro Yamashita, Naoyasu Ubayashi:
Using alloy to support feature-based DSL construction for mining software repositories. 86-89 - Yuzo Ishida:
Scalable variability management for enterprise applications with data model driven development. 90-93
First International Workshop on Multi Product Line Engineering (MultiPLE 2013)
- Reimar Schröter, Norbert Siegmund, Thomas Thüm:
Towards modular analysis of multi product lines. 96-99 - Elisa Yumi Nakagawa
, Flávio Oquendo:
Perspectives and challenges of reference architectures in multi software product line. 100-103
7th International Workshop on Dynamic Software Product Lines (DSPL 2013)
- Karsten Saller, Malte Lochau, Ingo Reimund:
Context-aware DSPLs: model-based runtime adaptation for resource-constrained systems. 106-113 - Jaejoon Lee:
Dynamic feature deployment and composition for dynamic software product lines. 114-116 - Nadeem Abbas, Jesper Andersson:
Architectural reasoning for dynamic software product lines. 117-124
Demonstrations and tools papers
- Christopher Henard, Mike Papadakis
, Gilles Perrouin
, Jacques Klein
, Yves Le Traon
:
PLEDGE: a product line editor and test generation tool. 126-129 - Michal Antkiewicz, Kacper Bak, Alexandr Murashkin, Rafael Olaechea, Jia Hui (Jimmy) Liang, Krzysztof Czarnecki:
Clafer tools for product line engineering. 130-135 - Charles W. Krueger, Paul C. Clements:
Systems and software product line engineering with BigLever software gears. 136-140 - Maxime Cordy, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens
, Axel Legay:
ProVeLines: a product line of verifiers for software product lines. 141-146 - Danilo Beuche:
Modeling and building product lines with pure: : variants. 147-149 - Mert Emin Kalender, Eray Tüzün
, Bedir Tekinerdogan
:
Decision support for adopting SPLE with Transit-PL. 150-153
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.