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

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

• General and reference

  • Cross-computing tools and techniques

    • Validation

• Software and its engineering

  • Software creation and management

    • Designing software

      • Software implementation planning

        • Software design techniques

    • Software development process management

    • Software development techniques

      • Reusability

    • Software verification and validation

      • Empirical software validation

      • Formal software verification

      • Process validation

      • Software defect analysis

        • Software testing and debugging

  • Software notations and tools

    • Software libraries and repositories

  • Software organization and properties

    • Software functional properties

      • Formal methods

        • Model checking

    • Software system structures

      • Software architectures

• Theory of computation

  • Logic

    • Verification by model checking