David Benavides, M. Leucker, Martin Becker, Rick Rabiser, Karina Villela, Peter Y. H. Wong
{"title":"软件产品线工程的形式化方法与分析(FMSPLE 2011)","authors":"David Benavides, M. Leucker, Martin Becker, Rick Rabiser, Karina Villela, Peter Y. H. Wong","doi":"10.1109/SPLC.2011.39","DOIUrl":null,"url":null,"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.","PeriodicalId":278787,"journal":{"name":"2011 15th International Software Product Line Conference","volume":"43 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2011-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011)\",\"authors\":\"David Benavides, M. Leucker, Martin Becker, Rick Rabiser, Karina Villela, Peter Y. H. Wong\",\"doi\":\"10.1109/SPLC.2011.39\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":278787,\"journal\":{\"name\":\"2011 15th International Software Product Line Conference\",\"volume\":\"43 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2011-08-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2011 15th International Software Product Line Conference\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SPLC.2011.39\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2011 15th International Software Product Line Conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SPLC.2011.39","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011)
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.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
