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

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

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

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

3rd International Workshop on Visualisation in Software Product Line Engineering (VISPLE 2010)

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

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

2010 ◽

pp. 527-527 ◽

Author(s):

Steffen Thiel ◽

Rick Rabiser ◽

Deepak Dhungana ◽

Ciaran Cawley

Keyword(s):

International Workshop ◽

Software Product Line ◽

Product Line ◽

Product Line Engineering ◽

Software Product Line Engineering ◽

Software Product ◽

Line Engineering

Download Full-text

2nd International Workshop on Model-Driven Approaches in Software Product Line Engineering (MAPLE 2010)

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

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

2010 ◽

pp. 525-525

Author(s):

Deepak Dhungana ◽

Iris Groher ◽

Rick Rabiser ◽

Steffen Thiel

Keyword(s):

International Workshop ◽

Software Product Line ◽

Product Line ◽

Product Line Engineering ◽

Model Driven ◽

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

2nd International Workshop on Visualisation in Software Product Line Engineering (ViSPLE 2008)

2008 12th International Software Product Line Conference ◽

10.1109/splc.2008.75 ◽

2008 ◽

Author(s):

Rick Rabiser ◽

Patrick Healy ◽

Daren Nestor ◽

Mike Mannion ◽

David Sellier

Keyword(s):

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 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

First international workshop on requirements engineering practices on software product line engineering (REPOS 2012)

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

10.1145/2362536.2362575 ◽

2012 ◽

Author(s):

Emilio Insfran ◽

Gary Chastek ◽

Patrick Donohoe

Keyword(s):

Requirements Engineering ◽

International Workshop ◽

Software Product Line ◽

Product Line ◽

Product Line Engineering ◽

Software Product Line Engineering ◽

Software Product ◽

Engineering Practices ◽

Line Engineering

Download Full-text