skip to main content
10.1145/2362536.2362576acmotherconferencesArticle/Chapter ViewAbstractPublication PagessplcConference Proceedingsconference-collections
research-article

Formal methods and analysis in software product line engineering: 3rd edition of FMSPLE workshop series

Published: 02 September 2012 Publication History

Abstract

FMSPLE 2012 is the third edition of the FMSPLE workshop series, traditionally affiliated with SPLC, which aims to connect researchers and practitioners interested in raising the efficiency and the effectiveness of SPLE through the application of innovative analysis approaches and formal methods.

References

[1]
P. Asirelli, M. H. ter Beek, A. Fantechi, and S. Gnesi. A Logical Framework to Deal with Variability. In D. Méry and S. Merz, editors, Proceedings of the 8th International Conference on Integrated Formal Methods (IFM'10), volume 6396 of Lecture Notes in Computer Science, pages 43--58. Springer, 2010.
[2]
P. Asirelli, M. H. ter Beek, A. Fantechi, and S. Gnesi. Formal Description of Variability in Product Families. In E. S. de Almeida, T. Kishi, C. Schwanninger, I. John, and K. Schmid, editors, Proceedings of the 15th International Software Product Lines Conference (SPLC'11), pages 130--139. IEEE, 2011.
[3]
M. H. ter Beek, F. Mazzanti, and A. Sulova. VMC: A Tool for Product Variability Analysis. To appear in D. Giannakopoulou and D. Méry, editors, Proceedings of the 18th International Symposium on Formal Methods (FM'12), volume 7436 of Lecture Notes in Computer Science. Springer, 2012.
[4]
D. Benavides, A. R. Cortés, D. S. Batory, and P. Heymans. First International Workshop on Analysis of Software Product Lines (ASPL'08). In Proceedings of the 12th International Software Product Lines Conference (SPLC'08), page 385. IEEE Computer Society, 2008.
[5]
D. Benavides, M. Leucker, M. Becker, R. Rabiser, K. Villela, and P. Y. H. Wong. Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011). In E. S. de Almeida, T. Kishi, C. Schwanninger, I. John, and K. Schmid, editors, Proceedings of the 15th International Software Product Lines Conference (SPLC'11), page 336. IEEE, 2011.
[6]
D. Benavides, S. Segura, and A. Ruiz-Cortés. Automated Analysis of Feature Models 20 Years Later: a Literature Review. Information Systems, 35(6), 2010.
[7]
A. Classen, P. Heymans, P.-Y. Schobbens, and A. Legay. Symbolic model checking of software product lines. In R. N. Taylor, H. Gall, and N. Medvidovic, editors, Proceedings of the 33rd International Conference on Software Engineering (ICSE'11), pages 321--330. ACM, 2011.
[8]
A. Classen, P. Heymans, P.-Y. Schobbens, A. Legay, and J.-F. Raskin. Model checking lots of systems: efficient verification of temporal properties in software product lines. In J. Kramer, J. Bishop, P. T. Devanbu, and S. Uchitel, editors, Proceedings of the 32nd International Conference on Software Engineering (ICSE'10), pages 335--344. ACM, 2010.
[9]
M. Cordy, A. Classen, G. Perrouin, P. Heymans, P.-Y. Schobbens, and A. Legay. Simulation-Based Abstractions for Software Product-Line Model Checking. In M. Glinz, G. Murphy, and M. Pezzè, editors, Proceedings of the 34th International Conference on Software Engineering (ICSE'12), pages 672--682. IEEE, 2012.
[10]
I. Schaefer, M. Becker, R. Carbon, and S. Apel. 1st International Workshop on Formal Methods in Software Product Line Engineering (FMSPLE 2010). In J. Bosch and J. Lee, editors, Software Product Lines: Going Beyond --- Proceedings of the 14th International Software Product Lines Conference (SPLC'10), volume 6287 of Lecture Notes in Computer Science, page 526. Springer, 2010.
[11]
I. Schaefer, D. Gurov, and S. Soleimanifard. Compositional algorithmic verification of software product lines. In B. K. Aichernig, F. S. de Boer, and M. M. Bonsangue, editors, Revised Papers of the 9th International Symposium on Formal Methods for Components and Objects (FMCO'10), volume 6957 of Lecture Notes in Computer Science, pages 184--203. Springer, 2010.
[12]
I. Schaefer and R. Hähnle. Formal Methods in Software Product Line Engineering. IEEE Computer, 44(2): 82--85, 2011.

Index Terms

  1. Formal methods and analysis in software product line engineering: 3rd edition of FMSPLE workshop series

                          Recommendations

                          Comments

                          Information & Contributors

                          Information

                          Published In

                          cover image ACM Other conferences
                          SPLC '12: Proceedings of the 16th International Software Product Line Conference - Volume 1
                          September 2012
                          310 pages
                          ISBN:9781450310949
                          DOI:10.1145/2362536

                          Sponsors

                          • Pure-Systems: Pure-Systems GmbH
                          • Petrobras: Petróleo Brasileiro S/A
                          • SEBRAE: Serviço Brasileiro de Apoio às Micro E Pequenas Empresas
                          • FAPESB: Fundação de Amparo à Pesquisa do Estado da Bahia
                          • Hitachi
                          • INES: National Institute of Science and Technology for Software Engineering
                          • IEEE: Institute of Electrical and Electronics Engineers
                          • Software Eng Inst: Software Engineering Institute
                          • Biglever: BigLever Software, Inc.
                          • CAPES: Brazilian Higher Education Funding Council

                          Publisher

                          Association for Computing Machinery

                          New York, NY, United States

                          Publication History

                          Published: 02 September 2012

                          Permissions

                          Request permissions for this article.

                          Check for updates

                          Author Tags

                          1. evolution
                          2. formal methods
                          3. semantics
                          4. software product lines
                          5. testing
                          6. variability
                          7. verification

                          Qualifiers

                          • Research-article

                          Conference

                          SPLC '12
                          Sponsor:
                          • Pure-Systems
                          • Petrobras
                          • SEBRAE
                          • FAPESB
                          • INES
                          • IEEE
                          • Software Eng Inst
                          • Biglever
                          • CAPES

                          Acceptance Rates

                          SPLC '12 Paper Acceptance Rate 22 of 66 submissions, 33%;
                          Overall Acceptance Rate 167 of 463 submissions, 36%

                          Contributors

                          Other Metrics

                          Bibliometrics & Citations

                          Bibliometrics

                          Article Metrics

                          • 0
                            Total Citations
                          • 154
                            Total Downloads
                          • Downloads (Last 12 months)0
                          • Downloads (Last 6 weeks)0
                          Reflects downloads up to 17 Feb 2025

                          Other Metrics

                          Citations

                          View Options

                          Login options

                          View options

                          PDF

                          View or Download as a PDF file.

                          PDF

                          eReader

                          View online with eReader.

                          eReader

                          Figures

                          Tables

                          Media

                          Share

                          Share

                          Share this Publication link

                          Share on social media