Skip to main content
SpringerLink
Log in

Fomal Methods and Analyses in Software Product Line Engineering

(Track Summary)

  • Conference paper
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change (ISoLA 2014)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 8802))

Abstract

Software product line engineering (SPLE) [5,11] aims to develop a family of software-intensive systems via systematic, large-scale reuse in order to reduce time-to-market and costs and to increase the quality of individual products. In order to achieve these goals, formal methods offer promising analysis techniques, which are best applied throughout the product-line lifecycle so as to maximize their overall efficiency and effectiveness.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. ter Beek, M.H., de Vink, E.P.: Towards Modular Verification of Software Product Lines with mCRL2. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol. 8802, pp. 368–385. Springer, Heidelberg (2014)

    Google Scholar 

  2. ter Beek, M.H., Fantechi, A., Gnesi, S.: Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing Systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol. 8802, pp. 351–367. Springer, Heidelberg (2014)

    Google Scholar 

  3. Borba, P., Cohen, M.B., Legay, A., Wąsowski, A.: Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091). Dagstuhl Reports 3(2), 144–170 (2013)

    Google Scholar 

  4. Johnsen, E.B., Schlatte, R., Tapia Tarifa, S.L.: Deployment Variability in Delta-Oriented Models. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part I. LNCS, vol. 8802, pp. 304–319. Springer, Heidelberg (2014)

    Google Scholar 

  5. Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison Wesley, Longman (2001)

    Google Scholar 

  6. Collet, P.: Domain Specific Languages for Managing Feature Models: Advances and Challenges. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part I. LNCS, vol. 8802, pp. 273–288. Springer, Heidelberg (2014)

    Google Scholar 

  7. Damiani, F., Schaefer, I., Schuster, S., Winkelmann, T.: Delta-Trait Programming of Software Product Lines. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part I. LNCS, vol. 8802, pp. 289–303. Springer, Heidelberg (2014)

    Google Scholar 

  8. Devroey, X., Perrouin, G., Legay, A., Cordy, M., Schobbens, P.-Y., Heymans, P.: Coverage Criteria for Behavioural Testing of Software Product Lines. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part I. LNCS, vol. 8802, pp. 336–350. Springer, Heidelberg (2014)

    Google Scholar 

  9. Iosif-Lazăr, A.F., Schaefer, I., Wąsowski, A.: A Core Language for Separate Variability Modeling. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part I. LNCS, vol. 8802, pp. 257–272. Springer, Heidelberg (2014)

    Google Scholar 

  10. Lochau, M., Mennicke, S., Baller, H., Ribbeck, L.: DeltaCCS: A Core Calculus for Behavioral Change. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part I. LNCS, vol. 8802, pp. 320–335. Springer, Heidelberg (2014)

    Google Scholar 

  11. Pohl, K., Böckle, G., van der Linden, F.: Software Product Line Engineering: Foundations, Principles, and Techniques. Springer, Heidelberg (2005)

    Google Scholar 

  12. Schaefer, I., Rabiser, R., Clarke, D., Bettini, L., Benavides, D., Botterweck, G., Pathak, A., Trujilol, S., Villela, K.: Software Diversity: State of the Art and Perspectives. STTT 14(5), 477–495 (2012)

    Article  Google Scholar 

  13. Thüm, T., Apel, S., Kästner, C., Schaefer, I., Saake, G.: A Classification and Survey of Analysis Strategies for Software Product Lines. ACM Comput. Surv. 47(1), 1–6 (2014)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Technical University of Braunschweig, Germany

    Ina Schaefer

  2. ISTI–CNR, Pisa, Italy

    Maurice H. ter Beek

Authors
  1. Ina Schaefer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Maurice H. ter Beek
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Limerick, Ireland

    Tiziana Margaria

  2. TU Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Schaefer, I., ter Beek, M.H. (2014). Fomal Methods and Analyses in Software Product Line Engineering. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. ISoLA 2014. Lecture Notes in Computer Science, vol 8802. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-45234-9_18

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-45234-9_18

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-45233-2

  • Online ISBN: 978-3-662-45234-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation