Foreword to the special issue on formal methods for software product line engineering

DOI10.1016/J.JLAMP.2015.09.007zbMATH Open1329.00150OpenAlexW2282624738MaRDI QIDQ898601FDOQ898601

Authors:

Publication date: 18 December 2015

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2015.09.007

Recommendations

• Modular modelling of software product lines with feature nets
• Verification of software product lines with delta-oriented slicing
• Editorial
• Editorial
• Model mining and efficient verification of software product lines

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cited In (4)

• Probabilistic software product lines
• Process diversity
• Formal approach to derivation of concurrent implementations in software product lines
• Modular modelling of software product lines with feature nets

This page was built for publication: Foreword to the special issue on formal methods for software product line engineering

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q898601)