{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2022,3,30]]，“日期-时间”：“2022-03-30T10:28:07Z”，“时间戳”：1648636087891}，“引用-计数”：10，“发布者”：“开放发布协会”，“内容-域”：{“域”：[]，“交叉标记限制”：false}，”shortcontainer-title“：[“Electron.Proc.Theor.Comput.Sci.”，“EPTCS”]，“DOI”：“10.4204\/EPTCS.139.8”，“type”：“journal-article”，“created”：{“date-parts”：[[2014,1,2]，“date-time”：“2014-01-02T23:28:41Z”，“timestamp”：1388705321000}，“page”：：[“使用模型检查分析表格规范的行为场景”]，“前缀”：“10.4204”，“卷”：“139”，“作者”：[{“给定”：“Gast\u00f3n”，“系列”：“Scilingo”，“序列”：“第一”，“从属关系”：[}“名称”：“UNRC-阿根廷”}]}“}”]}，{“given”：“Renzo”，“family”：“Degiovanni”，“sequence”：“additional”，“affiliation”：[{“name”：“CONICET，UNRC-Argentina”}]]，“member”：“2720”，“published-online”：{“date-parts”：[[2014,1,2]}，“reference”：[[{”key“DBLP:conf\/fase\/AguirreFMMW09”，“doi-asserted-by”：”publisher“，”first page“155”，“doi”：“10.1007\/978-3-642-00593-0_11”，“文章标题”：“使用（Dyn）合金描述和分析表格式规范的行为”，“volume-title”：“FASE”，“author”：“Aguirre”，“year”：“2009”}，{“key”：“alexander2004场景”，“volume-titel”：“场景、故事、用例：通过系统开发生命周期”，“作者”：“Alexander”，“年份”：“2004”}：“NASA会议出版物”，“首页”：“87”，“文章标题”：“将SCR要求方法应用于简单自动驾驶仪”，“卷标题”：《LFM 97:NASA兰利正式方法第四次研讨会：研讨会论文集》，“作者”：“巴拉德瓦吉”，“年份”：“1997”}，{“问题”：“1”，“关键”：“ase-BharadwajH99”，“doi-asserted-by”：“出版商”，“第一页”：：“37”，“doi”：“10.1023\/A:1008697817793”，“文章标题”：“使用抽象检查完整需求规范的模型”，“卷”：“6”，“作者”：“Bharadwaj”，“年份”：“1999”，“期刊标题”：“Autom.Softw.Eng.”}，｛“密钥”：“icse-FeriasGPA05”，“doi断言者”：“出版商”，“第一页”：“442”，“doi”：“10.1145\/10624555.062355”，“文章标题”：“DynAlloy:用行动升级合金”，“卷-时间”：“ICSE”，“作者”：“弗里亚斯”，“年份”：“2005”}，{“键”：“盖兹-FSE+2002”，“卷-时间”，“软件工程基础”，“作家”：“盖兹”，“年”：“2002”}：“构建需求规范的工具：九岁时的SCR工具集”，“卷”：“20”，“作者”：“Heitmeyer”，“年份”：“2005”，“日志标题”：“计算系统科学与工程”}，{“键”：“HeitmeyerLK95”，“doi-asserted-by”：“出版商”，“首页”：“56”，“doi”：“10.1109”，ISRE.1995.512546”，“文章标题”：“SCR风格需求规范的一致性检查”，“volume-title”：“RE”，“author”：“Heitmeyer”，“year”：“1995”}，{“key”：“Jalote2005”，“series-title”：《计算机科学中的文本》，“doi-asserted-by”：“publisher”，”doi“：”10.1007\/0-387-28132-0“，”volume-title“：”软件工程的综合方法“，”author“：”Jalote“，”year“：”2005“}，”{“key”：“Sommerville2006”，“volume-title”：“软件工程：（更新）（第8版）（国际计算机科学）”，“author”：“Somerville”，“year”：“2006”}]，“container-title“：[“Electronic Proceedings in Theory Computer Science”]，“original title”：[]，“language”：“en”，“deposed”：{“date-parts”：[[2014,1,7]]，“date-time”：“2014-01-07T02:48:06Z”，“timestamp”：1389062886000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/arxiv.org\/abs\/1401.0975v1”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2014,1,2]}，）references-count“：10，”URL“：”http://\/dx.doi.org\/10.4204\/eptcs.139.8“，”relation“：{}，ISSN“：[”2075-2180“]，”ISSN-type“：[{”value“：”2075~2180“，”type“:”electronic“}]，”subject“：[]，“已发布”：{“日期部分”：[[2014,1,2]]}}