{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部分”：[[2023,15]]，“日期-时间”：“2023-01-15T05:15:06Z”，“时间戳”：1673759706609}，“出版商位置”：“美国纽约州纽约市”，“引用-计数”：34，“出版者”：“ACM”，“内容-域”：{-“域”：[“dl.ACM.org”]，“交叉标记限制“：true}，”short-container-title“：[]，“published-print”：{“date-parts”：[[2011,2,24]]}，“DOI”：“10.1145\/195355.1953361”，“type”：“proceedings-article”，“created”：{“date-parts”：[2011,3,8]]，“date-time”：“2011-03-08T15:03:11Z”，“timestamp”：1299596591000}，《update-policy》：“http://\/dx.DOI.org\/10.1145\/crossmark-policy”，“source”“：”Crossref“，”is-referenced-by-count“：4，”title“：[“软件产品线综合分析”]，“前缀”：“10.1145”，“作者”：[{“给定”：“Jean-Vivien”，“家族”：“Millo”，“序列”：“第一”，“从属关系”：[}“名称”：“印度班加罗尔国际科技园有限公司通用汽车技术中心印度私人有限公司”}]}，{“已知”：“Swarup K.”，“家庭”：“Mohalik”，“顺序”：“附加”，“附属关系”：[{“姓名”：“通用汽车技术中心印度私人有限公司，印度班加罗尔国际科技园有限公司”}]}，{“给定”：“S.”，“家族”：“Ramesh”，“序列”：“附加”，“隶属关系”：[{“名称”：“通用技术中心印度私营有限公司，国际科技园公司，印度班加罗尔”}]]，“成员”：“320”，“在线发布”：{“日期部分”：[[2011,2,24]]}：“e_1_3_2_1_1”，“doi asserted by”：“publisher”，“doi”：“10.1109\/SBES.2009.19”}，｛“key”：“e_1_3_2_2_1”，“doi asserted by”：“publisher”，“doi”：“10.1007\/1154844_3”}，｛“key”：“e_1_3_2_3_1”，“doi asserted by”：“publisher”，“doi”：“10.1109\/SPLC.2008.53”}，｛“key”：“e_1_3_2_4_1”，“卷标题”：“ACM出版社/艾迪生-卫斯理出版公司”，“作者”：“Bosch J.”，“年份”：“2000”}，{“key”：“e_1_3_2_1_5_1”，“volume-title”：“USA”，“author”：“Czarnecki K.”，“year”：“2000}，6-“key“：”e_1_ 3_2_1 _6_1“，”doi-asserted-by“：”publisher“，“doi”：“10.5555\/1105634.1105651”}、{“密钥”：“e_1_3_2_1_7_1”、“首页”：“233”，“volume-titel”：“Thiel and Pohl{29}“，“作者”：“Dhungana D.”}，{“密钥”：“e_1_3_2_1_8_1”，“doi-asserted-by”：“出版商”，“doi”：“10.1109\/SPLC.2008.45”}，{“key”：“e_1_3_2_10_1”，“volume-title”：“IBM”，“author”：“Garlan D.”，“year”：“1997”}、{“密钥”：“e_1_3_2_11_1”，“doi-asserted-by”：“publisher”，”doi“：”10.5555\/96275.7963353“}，“key“：”e_1_ 3_2_12_1“，”doi-assert-by“：”publisher“，”doi:“10.1”109\/SPLC.2008.22“}，{”key“：”e_1_3_2_13_1“，”首页“：”2000“，”volume-title“：“第四届国际软件体系结构研讨会论文集，编号CU-CS-895-99”，“作者”：“Hoek A.V.D.”，“年份”：“2000”}，{“关键”：“e_1_3_2_14_1”，“非结构化”：“M.Janota J.Kiniry和G.Botterweck。软件产品线中的形式化方法：概念调查和指南2008。M.Janota J.Kiniry和G.Botterweck。软件产品线中的形式化方法：2008年概念调查和指南。”}，{“key”：“e_1_3_2_1_15_1”，“doi由”断言：“publisher”，“doi”：“10.1145\/12172955.1217296”}，{“key”：“e_1_3_2_1_16_1”，“非结构化”：“C.W.Krueger和K.Jackson。2009年系统和软件产品线需求工程。C.W.Krueger和K.Jackson。2009年系统和软件产品线的需求工程10.1109 \/RE.2007.61“}，{“key”：“e_1_3_2_1_19_1”，“volume-title”：“奥尔堡大学”，“author”：“Nyman U.”，“year”：“2008”}，“key“：”e_1_ 3_2_1_20_1“，”unstructured“：”卡内基梅隆大学S.e.I.。软件产品线网站：http://www.sei.cmu.edu \/productlines 2010。卡内基梅隆大学S.E.I。软件产品线网站：http://www.sei.cmu.edu \/productlines 2010.“}，{”key“：”e_1_3_2_1_21_1“，”首页“：”15“，”volume-title“：”Thiel and Pohl{29}“，”author“：”Perrouin G.“}3_1“，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/ECBS.2008.37”}，{“key“：”e_1_3_2_1_24_1“，”unstructured“：”F.\n\n Roos-Frantz\n。\n\n\n\n对正交变异模型和特征模型的形式属性进行了初步比较。在D.Benavides A.Metzger和U.W.Eisenecker编辑的VaMoS第29卷，共ICB研究报告第121页--126页。\2009年杜伊斯堡大学。F.Roos-Frantz。对正交变异模型和特征模型的形式属性进行了初步比较。在D.Benavides A.Metzger和U.W.Eisenecker编辑的《国际竞争性招标研究报告》第29卷第121-126页。杜伊斯堡-埃森大学2009.“}，{“key”：“e_1_3_2_1_25_1”，“doi由”：“publisher”断言，“doi”：“10.1109\/ICSEA.2007.33”}，{“key”：“e_1_3_2_26_1”，“doi由”：“publisher”断言，“doi”：“10.1109\/ICSA.2007.47”}，{“key”：“e_1_3_2_1_27_1”，“doi由”：“publisher”断言，“doi”：“10.1109\/ASWEC.2009.27”“｝，｛”key“：”e_1_3_2_1_28_1“，”doi断言者“：”publisher“，”DOI“：”10.1002\/spe.v35:8“}，{“key”：“e_1_3_2_1_29_1”，“volume-title”：“第十二届国际会议，SPLC 2008，爱尔兰利默里克，2008年9月8日至12日，Proceedings.Second”，”volume“：”2008“，”author“：”Thiel S._2_1_32_1“，”DOI-asserted-by“：”publisher“，”DOI“：”10.5555\/1308171.1308205“}，{“key”：“e_1_3_2_1_33_1”，“unstructured”：“网站http://www.win.tue.nl\/wieger\/bddsolve\/.Website.http:\\/www.win.tue.nl\/weeger\/bddsolve\/.”}，}“keys”：“e_1_3_2_1_34_1”/.网站。http://\/yices.csl.sri.com/.“}，{”key“：”e_1_3_2_1_35_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/SPLC.2008.16“}，{“key”：“e_1_3_2_1_36_1”，“首页”：“219”，“volume-title”：“软件工程研究与实践国际会议论文集&编程语言与编译器会议，SERP 2006”，“卷”：“1”，“作者”：“Zhu C.”，“年份”：“2006”}]，“事件”：{“名称”：“ISEC’11：印度软件工程会议”，“地点”：“印度喀拉拉邦Thiruvananthapuram”，“首字母缩略词”：“ISEC‘11”，“赞助商”：[“印度计算机学会”，“SIGSOFT ACM软件工程特别兴趣小组”]}，“container-title”：[《第四届印度软件工程大会论文集》]，“原文标题”：[]，“link“：[{”URL“：”https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1953361“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2023,14]]，”date-time“：“2023-01-14T03:40:39Z”，“timestamp”：1673667639000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/1953361“}}，”副标题“：[”一致性、活性和通用性检查的基于约束的框架“]，”简短标题“：[]，”已发布“：{”日期部分“：[[2011,2,24]]}，“引用计数”：34，“alternative-id”：[“10.1145\/195355.1953361”，“10.1145\/195335”]，“URL”：“http://\/dx.doi.org\/10.1145\/1953355.1953361“，”relation“：{}，”subject“：[]，”published“：{”date-parts“：[[2011,2,24]]}，“assertion”：[{“value”：“2011-02-24”，“order”：2，“name”：“published”，“label”：“published”，“group”：{“name”:“publication_history”，“标签”：“publication history”}}]}