ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
Related Documents
Cited By
References
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
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
◽
Cited By ~ 3
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
◽
Cited By ~ 28
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
◽
Cited By ~ 1
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
◽
Cited By ~ 3
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
◽
Cited By ~ 1
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
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close