Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.1145/2648511.2648552acmotherconferencesArticle/Chapter ViewAbstractPublication PagessplcConference Proceedingsconference-collections
research-article

SPLat 2014: First International Workshop on Software Product Line Analysis Tools

Published: 15 September 2014 Publication History

Abstract

The SPLat 2014 workshop aims to provide a platform for the presentation and positioning of formal analysis tools as used in Software Product Line Engineering for the identification of commonalities and differences of these tools as well as for the inventorying of challenges for their application. SPLat 2014 focuses on the underlying concepts and overall approach, in particular how to mitigate combinatorial explosion.

Cited By

View all
  • (2016)Systematic quality trade-off support in the software product-line configuration processProceedings of the 20th International Systems and Software Product Line Conference10.1145/2934466.2934481(164-173)Online publication date: 16-Sep-2016

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences
SPLC '14: Proceedings of the 18th International Software Product Line Conference - Volume 1
September 2014
377 pages
ISBN:9781450327404
DOI:10.1145/2648511
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

  • University of Florence: University of Florence
  • CNR: Istituto di Scienza e Tecnologie dell Informazione

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 September 2014

Check for updates

Author Tags

  1. formal methods
  2. software product lines
  3. state space explosion
  4. variability
  5. verification

Qualifiers

  • Research-article

Conference

SPLC '14
Sponsor:
  • University of Florence
  • CNR

Acceptance Rates

SPLC '14 Paper Acceptance Rate 36 of 97 submissions, 37%;
Overall Acceptance Rate 167 of 463 submissions, 36%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 25 Dec 2024

Other Metrics

Citations

Cited By

View all
  • (2016)Systematic quality trade-off support in the software product-line configuration processProceedings of the 20th International Systems and Software Product Line Conference10.1145/2934466.2934481(164-173)Online publication date: 16-Sep-2016

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media