The Quest for Formal Methods in Software Product Line Engineering

Software Technology: 10 Years of Innovation in IEEE Computer ◽

10.1002/9781119174240.ch15 ◽

2018 ◽

pp. 271-281

Author(s):

Reiner Hähnle ◽

Ina Schaefer

Keyword(s):

Formal Methods ◽

Software Product Line ◽

Product Line ◽

Product Line Engineering ◽

Software Product Line Engineering ◽

Software Product ◽

Line Engineering

Download Full-text

Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering

Journal of Logical and Algebraic Methods in Programming ◽

10.1016/j.jlamp.2015.09.006 ◽

2016 ◽

Vol 85 (1) ◽

pp. 123-124 ◽

Author(s):

Maurice H. ter Beek ◽

Dave Clarke ◽

Ina Schaefer

Keyword(s):

Formal Methods ◽

Software Product Line ◽

Product Line ◽

Special Issue ◽

Product Line Engineering ◽

Software Product Line Engineering ◽

Software Product ◽

Line Engineering

Download Full-text

Formal Methods in Software Product Line Engineering

Computer ◽

10.1109/mc.2011.47 ◽

2011 ◽

Vol 44 (2) ◽

pp. 82-85 ◽

Author(s):

Ina Schaefer ◽

Reiner Hahnle

Keyword(s):

Formal Methods ◽

Software Product Line ◽

Product Line ◽

Product Line Engineering ◽

Software Product Line Engineering ◽

Software Product ◽

Line Engineering

Download Full-text

Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.206.0 ◽

2016 ◽

Vol 206 ◽

Author(s):

Julia Rubin ◽

Thomas Thüm

Keyword(s):

Formal Methods ◽

International Workshop ◽

Software Product Line ◽

Product Line ◽

Product Line Engineering ◽

Software Product Line Engineering ◽

Software Product ◽

Line Engineering

Download Full-text

Foreword to the Special Issue on Formal Methods for Software Product Line Engineering

Journal of Logical and Algebraic Methods in Programming ◽

10.1016/j.jlamp.2015.09.007 ◽

2016 ◽

Vol 85 (1) ◽

pp. 121-122

Author(s):

Don Batory

Keyword(s):

Formal Methods ◽

Software Product Line ◽

Product Line ◽

Special Issue ◽

Product Line Engineering ◽

Software Product Line Engineering ◽

Software Product ◽

Line Engineering

Download Full-text

Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011)

2011 15th International Software Product Line Conference ◽

10.1109/splc.2011.39 ◽

2011 ◽

Author(s):

David Benavides ◽

Martin Leucker ◽

Martin Becker ◽

Rick Rabiser ◽

Karina Villela ◽

...

Keyword(s):

Formal Methods ◽

Software Product Line ◽

Product Line ◽

Product Line Engineering ◽

Software Product Line Engineering ◽

Software Product ◽

Line Engineering

Download Full-text

Formal methods and analysis in software product line engineering

Proceedings of the 17th International Software Product Line Conference on - SPLC '13 ◽

10.1145/2491627.2499880 ◽

2013 ◽

Author(s):

Dave Clarke ◽

Ina Schaefer ◽

Maurice H. ter Beek ◽

Sven Apel ◽

Joanne M. Atlee

Keyword(s):

Formal Methods ◽

Software Product Line ◽

Product Line ◽

Product Line Engineering ◽

Software Product Line Engineering ◽

Software Product ◽

Line Engineering

Download Full-text

1st International Workshop on Formal Methods in Software Product Line Engineering (FMSPLE 2010)

Software Product Lines: Going Beyond - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15579-6_64 ◽

2010 ◽

pp. 526-526

Author(s):

Ina Schaefer ◽

Martin Becker ◽

Ralf Carbon ◽

Sven Apel

Keyword(s):

Formal Methods ◽

International Workshop ◽

Software Product Line ◽

Product Line ◽

Product Line Engineering ◽

Software Product Line Engineering ◽

Software Product ◽

Line Engineering

Download Full-text

Formal methods and analysis in software product line engineering

Proceedings of the 16th International Software Product Line Conference on - SPLC '12 -volume 1 ◽

10.1145/2362536.2362576 ◽

2012 ◽

Author(s):

Maurice H. ter Beek ◽

Martin Becker ◽

Andreas Classen ◽

Fabricia Roos-Frantz ◽

Ina Schaefer ◽

...

Keyword(s):

Formal Methods ◽

Software Product Line ◽

Product Line ◽

Product Line Engineering ◽

Software Product Line Engineering ◽

Software Product ◽

Line Engineering

Download Full-text

Session details: Theme: Software design and development: VSPLE - Variability and software product line engineering track

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing - SAC '19 ◽

10.1145/3329398 ◽

2019 ◽

Keyword(s):

Software Design ◽

Software Product Line ◽

Product Line ◽

Design And Development ◽

Product Line Engineering ◽

Software Product Line Engineering ◽

Software Product ◽

Line Engineering

Download Full-text

Towards iterative software product line engineering with incremental multi-variant model transformations

Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems ◽

10.1145/3377024.3377032 ◽

2020 ◽

Author(s):

Sandra Greiner ◽

Bernhard Westfechtel

Keyword(s):

Software Product Line ◽

Product Line ◽

Model Transformations ◽

Product Line Engineering ◽

Software Product Line Engineering ◽

Software Product ◽

Iterative Software ◽

Line Engineering

Download Full-text