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

Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series

Published: 26 August 2013 Publication History

Abstract

FMSPLE 2013 is the fourth edition of the FMSPLE workshop series aimed at connecting researchers and practitioners interested in raising the efficiency and the effectiveness of software product line engineering through the application of innovative analysis approaches and formal methods.

Cited By

View all
  • (2015)Fire safety DSL based algebra2015 3rd International Conference on Control, Engineering & Information Technology (CEIT)10.1109/CEIT.2015.7233083(1-6)Online publication date: May-2015

Index Terms

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

                          Recommendations

                          Comments

                          Information & Contributors

                          Information

                          Published In

                          cover image ACM Other conferences
                          SPLC '13: Proceedings of the 17th International Software Product Line Conference
                          August 2013
                          286 pages
                          ISBN:9781450319683
                          DOI:10.1145/2491627
                          Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

                          Sponsors

                          • IPSJ: Information Processing Society of Japan

                          Publisher

                          Association for Computing Machinery

                          New York, NY, United States

                          Publication History

                          Published: 26 August 2013

                          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 2013
                          Sponsor:
                          • IPSJ

                          Acceptance Rates

                          Overall Acceptance Rate 167 of 463 submissions, 36%

                          Contributors

                          Other Metrics

                          Bibliometrics & Citations

                          Bibliometrics

                          Article Metrics

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

                          Other Metrics

                          Citations

                          Cited By

                          View all
                          • (2015)Fire safety DSL based algebra2015 3rd International Conference on Control, Engineering & Information Technology (CEIT)10.1109/CEIT.2015.7233083(1-6)Online publication date: May-2015

                          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