{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,4,1]]，“日期时间”：“2022-04-01T19:06:35Z”，“时间戳”：1648839995720}，“引用计数”：21，“发布者”：“IEEE”，“内容域”：{:“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“发布发布者”：{“日期部分”：[[2017,4]]}，“DOI”：“10.1109\/dtis.2017.7930157”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2017,5,18]]，“date-time”：“2017-05-18T18:36:34Z”，“timestamp”：1495132594000}，“source”：”Crossref“，”is-referenced-by-count“：5，”title“：[”使用基于SEcube\u2122的模型驱动方法保护C\/C++应用程序“]，”前缀“：”10.1109“，“author”：[{”给定“：”弗雷德里克“，“family”：“Gossen”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Johannes”，“failment”：“Neubauer”，“序列”：“additional”，“从属关系”：[]}，}“giving”：“Bernhard”，“家族”：“Steffen”，”sequence“：”additional年份”：“2002年”，“新闻标题”：“Java单独编译的正式框架”}，{“key”：“ref11”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/BFb0059695”}：“220”，“volume”：“1241”，“author”：“kiczales”，“year”：“1997”，“journal-title”：“Aspect-Oriented Programming”}，{“key”：”ref14“，“auther”：”margaria“，“year:”2009“，”journal-title“：”jABC the One-Thing-Approach中的业务流程建模“}：“安全高保障系统的模型驱动设计——从用户角度介绍开放平台”}，{“key”：“ref16”，“doi-asserted-by”：“publisher”，“doi”：“10.15514\/ISPRAS-2016-28（2）-14”}纽鲍尔”，“年份”：“2013年”，“新闻标题”：“二级服务”}，{“key”：“ref19”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/COMPSACW.2011.42”}“：”2008“，”journal-title“：”ISoLA’08会议记录“}，{”key“：”ref6“，“first page”：“1”，“article-title”：“SEcubeTM:单一SoC中的开放源代码安全平台”，“author”：“varriale”，“year”：“2016”，“journal-title“：“DTIS07会议录”}，{“key”：”ref5“，”article-title“:”CINCO:一种简单驱动的方法，用于完整生成领域特定图形建模工具“，”author“：”naujokat“，”year“：”2017“，”journal-title：“技术转让软件工具”}，{“key”：“ref8”，“article-title”：“设计secube™社区web应用程序的完全基于模型的方法”，“author”：“bo\u00dfelmann”，“year”：“2017”，“journal-title:”this volume“}，”{“key”：“ref7”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/DTIS.2017.7930156”}“”：“devanbu”，“year”：“2000”，“journal-title”：“安全软件工程A路标”}，{“key”：“ref1”，“doi-asserted-by”：“publisher”，”doi“：”10.1109\/COMPSAC.2011.48“}，}“key:”ref9“，”first page“：”809“，“author”：“bo\u00dfelmann”，“年份”：“2016”，“journal-ttitle”：”ISoLA’16 Proceedings vol 9953 of LNCS“}”，{”key“：“ref”20“，”doi-asserted-by“：”publisher“，”doi“：“10.1109\/MC.2010.177”｝，｛“key”：“ref21”，“首页”：“65”，“文章标题”：“进化系统的增量需求规范”，“卷”：“8”，“作者”：“jonsson”，“年份”：“2001”，“期刊标题”：“Nordic J of Computing”｝，“event”：｛“name”：“2017第12届纳米级集成系统设计与技术国际会议（DTIS）”，“location”：“Palma de Mallorca，西班牙”，“start”：{“date-parts”：[[2017,4,4]]}，“end”：{“date-parts”：[[2017,4,6]]}}，”container-title“：[”2017年第十二届纳米时代集成系统设计与技术国际会议（DTIS）“]，“original-title”：[]，“link”：[{“URL”：“http://explorestaging.ieee.org\/ielx7\/7921855\/7929862\/079393 0157.pdf？arnumber=7930157“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2017,10,2]，”date-time“：“2017-10-02T23:08:07Z”，”timestamp“：1506985687000}，”score“：1，”resource“：”{“primary”：{“URL”：“http://ieeexplore.iee.org\/document\/7930157\/”}}，“副标题”：[]，“短标题”：[]，“发布“：{“date-parts”：[[2017,4]]}，“references-count”：21，“URL”：“http://\/dx.doi.org\/10.109\/dtis.2017.7930157”，“relationship”：{}，”subject“：[]，”published“：{date-part”：[[2017,4]]{}}}