｛“状态”：“正常”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2023,10,8]]，“日期时间”：“2023-10-08T13:31:12Z”，“时间戳”：1696771872771｝，“引用计数”：32，“发布者”：“电气和电子工程师协会（IEEE）”，“问题”：“10”，“许可证”：[｛“开始”：｛“日期部分”：[[1998,1,1]]，“日期时间”：“1998-01-01T00:00:00Z”，“timestamp”：883612800000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/ieeexplore.iee.org\/Xplorehelp\/downloads\/license-information\/ieee.html”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”IIEEE Trans.Software Eng.“]，”published-print“：{”日期部分“：[[1998]]}，”DOI“：“10.1109\/32.729684”，“type”：“journal-article”，“created”：{“date-parts”：[[2002,8,24]]，“date-time”：“2002-08-24T23:09:11Z”，“timestamp”：1030230551000}，“page”：”848-862“，“source”：《Crossref》，“is-referenced-by-count”：6，“title”：[“自动化软件合成：机械CAD中的应用程序”]，“前缀”：”10.1109“，“卷”：“24”，“作者”：[{“给定”：“S”，“family”：“Bhansali”，“sequence”：“first”，“affiliation”：[]}，{“given”：“T.J.”重用设计历史的转换维护\“”}，{“key”：“bibe08484”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/32.585497”}，{“key”：“bibe08481”，“卷”：“21”，“年份”：“1995”，“journal-title”：“IEEE Trans Software Engineering”}，{“key”：“bibe084828”，“article-title“：“计算机语言的死亡，蓄意编程的诞生”，“author”：“simonyi”，“year”：“1995”，“johnal-tittle”：”北约科学委员会Conf“}，”{“密钥”：“bibe084829”，“doi-asserted-by”：“publisher”，”doi“10.1109 \/32.58788”}，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/TSE.1984.5010280”}，{“key”：“bibe084825”，“doo-asserted-by”：”publisher“，”doi“：”10.1109\/32.605759“}，”{“key”：“bibe084826”，“author”：“press”，“year”：“1986”，“journal-title”：“Numerical Recipes The Art of Scientific Computing”}、{“key”：”bibe0848027“，”year“：”1991“，”新闻标题“：“领域分析和软件系统建模”}，{“key”：“bibe084820”，“author”：“lowry”，“year”：“1991”，“journal-title”：“Automating Software Design”}，“author”：“mettala”，“year”：“1992”，“DOI”：“10.21236 \/ADA257225”}，{“key”：“bibe084823”，“DOI-asserted-by”：“publisher”，“DOI”：”10.1109 \/32.391379“}，}“key”：”bibe0848010“，”author“：”genesereth“，”year“：”1987“，”journal-title“：”人工智能的逻辑基础“}”，{”key“：”bibe 084812“，”DOI-assert-by“：“publisher”，“DOI”：“10.1109\/KBSE.1995.490114”}，{“key”：“bibe084811”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/KBSE.1996.552819”}，{“密钥”：“bibe084814”，“doi-asserte-by”：“publisher”，“DI:”10.1016\/0304-3975（75）90011-0“}”，{”key：“bibe 084813”，“author”：“hopcroft”，“year”：“1979”，“journal-title”：“自动机理论语言与计算导论”}，{“key”：“bibe084816”，“doi-asserted-by”：“publisher”，“DOI”：“10.1016\/0004-3702（92）90012-M”}，{“key”：“bibe084815”，“author”：“kramer”，“year”：“1992”，“journal-title”：“运动学中的几何约束系统求解案例研究”}by“：”publisher“，”DOI“：“10.1145\/130844.130856”}，{“key”：“bibe084819”，“article-title”：“装配规划中的对称约束推理：自动装配配置规范”，“author”：“liu”，“year”：“1990”，“journal-title“：”Proc National Conf Artificial Intelligence“}，”{“密钥”：“bibe084831”，“article-title”：“领域特定语言会议记录”，“year”：“1997”，“journal-title”：“\”The Conference on Domain-Specific Languages Proceedings“”}，{“key”：“bibe084832”，“article-title“：”implementation of a geometrical constraint satisfaction system“，”author“：”xia“，”year“：”1995“，”journal-title““：”Masters Project Report“}，}”key：“bibe 08486”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/ICSM.1997.624252”}，{“key”：“bibe08487”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/BF00993480”}，{“key”：“bibe084830”，“article-title”：“高性能传输调度程序的合成”，“author”：“smith”，《year》：“1995”}、{“密钥”：“bibe08488”，“doi-assertd-by”：“crossref”，”第一页“419”，“DI:”10.1613\/jair.292“，”article le-title“：“符号几何约束满足的原则方法”，“卷”：“4”，“作者”：“bhansali”，“年份”：“1996”，“期刊标题”：“J人工智能研究”}，“link”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx4\/32\/15729\/00729684.pdf？arnumber=729684”，“content-type”：“unspecified”，“内容版本”：“vor”，“intended-application”：“similarity-checking”}]，“存放”：{“date-parts”：[2021,11,29]]，“日期时间”：“2021-11-29T20:05:49Z”，“时间戳”：1638216349000}，“分数”：1，“资源”：{“主”：{“URL”：“http:\/\/ieexplore.ieee.org/document\/729684\/”｝｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[1998]]｝，“参考文献计数”：32，“期刊问题”：｛“问题”：“10”｝，“URL”：“http:\/\/dx.doi.org/10.1109\/32.2729684”，“关系”：｛｝，“ISSN”：[“0098-5589”]，“ISSN类型”：[｛“值”：“0098-5589”8-5589“，”类型“：”打印“}]，”主题“：[]，”已发布“：｛”日期部分“:[[1998]]}}}