Proceedings of the 18th International Software Product Line Conference on - SPLC '14
Latest Publications

TOTAL DOCUMENTS

52

(FIVE YEARS 0)

H-INDEX

11

(FIVE YEARS 0)

Published By ACM Press

9781450327404

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Can domain modeling be automated?

Proceedings of the 18th International Software Product Line Conference on - SPLC '14 ◽

10.1145/2648511.2648557 ◽

2014 ◽

Author(s):

Iris Reinhartz-Berger

Keyword(s):

Domain Modeling

Download Full-text

Managing variability with feature models

Proceedings of the 18th International Software Product Line Conference on - SPLC '14 ◽

10.1145/2648511.2648561 ◽

2014 ◽

Author(s):

Danilo Beuche ◽

Michael Schulze

Keyword(s):

Download Full-text

Automated verification of feature model configuration processes based on workflow Petri nets

Proceedings of the 18th International Software Product Line Conference on - SPLC '14 ◽

10.1145/2648511.2648518 ◽

2014 ◽

Author(s):

Stephan Mennicke ◽

Malte Lochau ◽

Julia Schroeter ◽

Tim Winkelmann

Keyword(s):

Feature Model ◽

Automated Verification ◽

Model Configuration

Download Full-text

Feature-context interfaces

Proceedings of the 18th International Software Product Line Conference on - SPLC '14 ◽

10.1145/2648511.2648522 ◽

2014 ◽

Author(s):

Reimar Schröter ◽

Norbert Siegmund ◽

Thomas Thüm ◽

Gunter Saake

Download Full-text

Potential synergies of theorem proving and model checking for software product lines

Proceedings of the 18th International Software Product Line Conference on - SPLC '14 ◽

10.1145/2648511.2648530 ◽

2014 ◽

Author(s):

Thomas Thüm ◽

Jens Meinicke ◽

Fabian Benduhn ◽

Martin Hentschel ◽

Alexander von Rhein ◽

...

Keyword(s):

Model Checking ◽

Theorem Proving ◽

Software Product Lines ◽

Product Lines ◽

Software Product

Download Full-text

Sustainability in software product lines

Proceedings of the 18th International Software Product Line Conference on - SPLC '14 ◽

10.1145/2648511.2655956 ◽

2014 ◽

Author(s):

Ruzanna Chitchyan ◽

Joost Noppen ◽

Iris Groher

Keyword(s):

Software Product Lines ◽

Product Lines ◽

Software Product

Download Full-text

To connect or not to connect

Proceedings of the 18th International Software Product Line Conference on - SPLC '14 ◽

10.1145/2648511.2648549 ◽

2014 ◽

Author(s):

Thorsten Berger ◽

Ştefan Stănciulescu ◽

Ommund Øgård ◽

Øystein Haugen ◽

Bo Larsen ◽

...

Download Full-text

Comprehensibility of orthogonal variability modeling languages

Proceedings of the 18th International Software Product Line Conference on - SPLC '14 ◽

10.1145/2648511.2648516 ◽

2014 ◽

Author(s):

Iris Reinhartz-Berger ◽

Kathrin Figl

Keyword(s):

Modeling Languages ◽

Variability Modeling

Download Full-text

Similarity-based prioritization in software product-line testing

Proceedings of the 18th International Software Product Line Conference on - SPLC '14 ◽

10.1145/2648511.2648532 ◽

2014 ◽

Author(s):

Mustafa Al-Hajjaji ◽

Thomas Thüm ◽

Jens Meinicke ◽

Malte Lochau ◽

Gunter Saake

Keyword(s):

Software Product Line ◽

Product Line ◽

Software Product

Download Full-text

TDL

Proceedings of the 18th International Software Product Line Conference on - SPLC '14 ◽

10.1145/2648511.2648531 ◽

2014 ◽

Author(s):

Wenjing Yu ◽

Wei Zhang ◽

Haiyan Zhao ◽

Zhi Jin

Download Full-text