{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2023,9,13]]，“日期时间”：“2023-09-13T18:49:03Z”，“时间戳”：1694630943181}，“参考计数”：21，“出版商”：“电气与电子工程师学会（IEEE）”，“发行”：“4”，“许可证”：[{“开始”：{:“日期部分“：[[1978,7,1]]，”日期时间“：“1978-007-01T00:0:00Z”，“时间戳”：268099200000｝，“内容版本”：“vor”，“延迟天数”：0，“URL”：“https:\/\/ieexplore.ieee.org/Xplorehelp\/downloads\/license-information\/IEE.html”｝]，“内容域”：｛“域”：[]，“交叉标记限制”：false｝，“短容器标题”：[“IIEEE Trans.Software Eng.”]，“已发布的印刷品”：｛“日期部分”：[[1978,7]]｝，“DOI”：“10.1109\/tse.1978.231513”，“type”：“journal-article”，“created”：{“date-parts”：[[2007,6,27]]，“date-time”：“2007-06-27T14:41:16Z”，“timestamp”：1182955276000}，“page”：：“283-292”，“source”：{“给定”：“W.E.”，“家庭”：“Riddle”，“sequence”：“first”，“affiliation”：[]}，{“given”：“J.C.”，“family”：“Wileden”，“serquence”:“additional”，“abfiliation“：[]{”given“：”J.H.“，”family“：”Sayler“，”sequence“：”additional“，”affiliance“：[]}，“givent”：“A.R.”，“家族”：“Segal”，“序列”：“additionable”，“从属关系”：[]{“给定”：“A.M.”，：“Stavely”，“sequence”：“additional”，“affiliation”：[]}]，“成员”：“263”，“引用”：[{“key”：“ref10”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/355602.361309”}，{“密钥”：“ref11”，“doi-asserte-by”：“publisher”，“DI:”10.1007\/978-1-4612-5979-4_4“}，“key“：”ref12“，“doi-asserted-by”：”publisher“，”doi“：”10.1145\/80022.808322“}”，{“：”ref13“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/BF00264291“}，{”key“：“ref14”，“author”：“right”，“year”：“0”，“journal-title”：“抽象监视器类型”}，{“key”：“ref15”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/800194.805906”}“新闻标题”：“软件设计系统中的行为规范”}，{“key”：“ref18”，“author”：“sanguinetti”，“year”：“1977”，“journal-title”：“操作系统设计方法中的性能预测”}，“author”：“henderson”，“year”：“1975”，“journal-title”：“TOPD系统”}，{“key”：“ref3”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/355620.361161”}title“：”软件系统结构的层次描述“}，{”key“：“ref8”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/TSE.1975.6312816”}，{“key”：“ref7”，“首页”：“671”，“article-title”：“simulaan algol-based simulation language”，“volume”：：“9”，“author”：“dahr”，“year”：“1966”，“journal-title“：Commun Ass Compute Mach”}：“10.1145\/356612.356614”}，{“键”：“参考1”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/1010730.1010731”}，{“key”：“ref9”，“doi-asserted-by”：”publisher“，”doi“：”10.1145\/800027.808443“}，”key“：”ref20“，”author“：”welter“，“year”：“1976”，“journal-title”：“Counter expressions”}、{“key”：“ref21”，“author”：“right”，“year:”1977“，”journal-title“：“软件分析技术比较的形式主义”}]，“container-title”：[“IEEE Transactions on software Engineering”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/xplorestaging.IEEE.org\/ielx5\/32\/01702536.pdf？arnumber=1702536”，“内容类型”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“存放”：{“日期部分”：[[2021,11,29]]，“日期时间”：“2021-11-29T15:54:18Z”，“时间戳”：1638201258000}，“分数”：1，“资源”：{“主要”：}“URL”：“http://\/ieexplore.iee.org\/document\/1702536\/”}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[1978,7]]}”，“引用计数”：21，“新闻发布”：{“发布”：“4”}，“URL”：“http://\/dx.doi.org\/10.109\/tse.1978.231513”，“关系”：{}，“ISSN”：[“0098-5589”]，“ISSN-type”：[{“值”：“00985589”，“类型”：“打印”}]，“主题”：[]，“发布”：{“日期-部件”：[[1978,7]}}}}