Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011)

2011 15th International Software Product Line Conference Pub Date : 2011-08-01 DOI:10.1109/SPLC.2011.39

David Benavides, M. Leucker, Martin Becker, Rick Rabiser, Karina Villela, Peter Y. H. Wong

引用次数: 2

Abstract

This workshop will bring together researchers interested in raising the efficiency and the effectiveness of Software Product Line Engineering by applying innovative analysis approaches and formal methods.

查看原文本刊更多论文

软件产品线工程的形式化方法与分析(FMSPLE 2011)

本次研讨会将汇集对通过应用创新的分析方法和形式化方法来提高软件产品线工程的效率和有效性感兴趣的研究人员。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

2011 15th International Software Product Line Conference

自引率

0.00%

发文量