We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Software Engineering

Title: Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering

Abstract: In Software Product Line Engineering (SPLE), a portfolio of similar systems is developed from a shared set of software assets. Claimed benefits of SPLE include reductions in the portfolio size, cost of software development and time to production, as well as improvements in the quality of the delivered systems. Yet, despite these benefits, SPLE is still in the early adoption stage. We believe that automated approaches, tools and techniques that provide better support for SPLE activities can further facilitate its adoption in practice and increase its benefits.
To promote work in this area, the FMSPLE'16 workshop focuses on automated analysis and formal methods, which can (1) lead to a further increase in development productivity and reduction in maintenance costs associated with management of the SPLE artifacts, and (2) provide proven guarantees for the correctness and quality of the delivered systems.
Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL)
Journal reference: EPTCS 206, 2016
DOI: 10.4204/EPTCS.206
Cite as: arXiv:1603.08577 [cs.SE]
  (or arXiv:1603.08577v1 [cs.SE] for this version)

Submission history

From: EPTCS [view email]
[v1] Mon, 28 Mar 2016 22:06:15 GMT (4kb)

Link back to: arXiv, form interface, contact.