{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,3]]，“日期时间”：“2022-04-03T03:09:00Z”，“时间戳”：1648955340260}，“出版商位置”：“柏林，海德堡”，“参考计数”：13，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540213789”，“类型”：“打印”}，{“值”：“9783540246534”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2004]]}，”DOI“：”10.1007\/978-3-540-24653-4_19“，”type“：”book-capter“，”created“：”{“date-part”：[2011,12]]，“date-time”：“2011-01-12T15:08:30 Z“，”时间戳“：1294844910000}，”页面“：”178-187“，“source”：“Crossref”，“由count引用”：0，“title”：[“使用进化技术的基于场景的协议设计方法”]，“prefix”：“10.1007”，“author”：[｛“given”：“S\u00e9rgio G.”，“family”：“Ara\u00fajo”，“sequence”：“first”，“affiliation”：[]｝，｛“given”：“Ant\u00f4nio C.”，“family”：“Mesquita”，“sequence”：“additional”，“affiliation”：[]｝，｛“given”：“Aloysio C.P.”，“family”：“Pedroza”，”sequence“：”additional“，”affiliation“：[]}]，”member“：”297“，”reference“：[{”issue“：”1“，”key“：”19_CR1“，”doi-asserted-by“：”publisher“，“first page”：“61”，“doi”：“10.1023\/A:1025890110119”，《卷》：“24”，“作者”：“D.Amyot”，“年份”：“2003”，“非结构化”：“Amyot，D.，Eberlein，A.：电信系统开发的场景符号和构建方法评估。电信系统杂志\u00a024（1），61\u201394（2003）”，“期刊标题”：“电信系统杂志”}，{“key”：“19_CR2”，“非结构化”：“Kr\u00fcger，I.H.：分布式系统设计与消息序列图，博士论文，理工大学\u00e4t M\u00fcnchen（2000）”}，{“issue”：“1”，“key”：“19_CR3”，“doi-asserted-by”：“publisher”，“first-page”：“87”，“doi”：“10.1109\/52.646888”，“volume”：”15“author”：“K.Koskimies”，“year”：“1998”，“unstructured”：“Koskimies，K.，M\u00e4nnist\u00f6，T.，Syst\u00e 4，T.和Toumi，J.：面向对象软件建模的自动支持。IEEE Software\u00a015（1），87\u201394（1998）”，“日志标题”：“IEEE Software”}，{“key”：“19_CR4”，“非结构化”：“Syst\u00e4，T.：Java软件系统的静态和动态逆向工程技术，Tempere大学博士论文（2000）”}，{“key”：“19_CR5”，“first page”：”14“，“volume”：：“4”，“author”：“L.Fogel”，“year”：“1962”，“unstructured”：“Fogel，L.：Autonomous Automata.Industrial Research\u00a04，14\u201319（1962）”，“journal title”：“工业研究”}，{“key”：“19_CR6”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“首页”：“98”，“doi”：“10.1007\/BFb0057611”，“volume-title”：《进化系统：从生物学到硬件》，“author”：“C.Manovit”，“year”：“1998”，“unstructured”：“Manovit，C.，Aporntewan，C.，Chongstitvatana，P.：从部分输入/输出序列合成同步时序逻辑电路。In：Sipper，M.，Mange，D.，P\u00e9rez-Uribe，A.（eds.）ICES 1998。LNCS，第u00a01478卷，第98\u2013105页。Springer，Heidelberg（1998）“}，{“key”：“19_CR7”，“volume title”：“第一届国际适应行为模拟会议论文集”，“author”：“R.Collins”，“year”：“1991”，“nonstructured”：“Collins，R.，Jefferson，D.:人工生物体的表示。In：Proceedings of the 1st Int。自适应行为模拟会议，麻省理工学院出版社，剑桥（1991）“}，{“key”：“19_CR8”，“unstructured”：“Chongstitvatana，P.，Aporntewan，C.：从多个部分输入/输出序列改进Finite-State机器合成的正确性。摘自：美国国家航空航天局/国防部第一届进化硬件研讨会论文集，pp.262\u2013266（1999）”}，“key“：”19_CR9“，”doi-asserted-by“：”publisher“，”first page“：”109“，“doi”：“10.1145\/186258.187153”，“volume-title”：“ISSTA 1994”，“author”：“G.Bockmann”，“year”：“1994”，”unstructured“：”Bockmann-，G.，Petrenko，A.：协议测试：软件测试方法和相关性综述。参见：ISSTA 1994，第109\u2013124页。ACM，西雅图（1994）“}，{“key”：“19_CR10”，“volume-title”：“遗传编程：关于通过自然选择进行计算机编程”，“author”：“J.Koza”，“year”：“1992”，“unstructured”：“Koza，J.：遗传编程：通过自然选择实现计算机编程。麻省理工学院出版社，剑桥（1992）”}H\u00f6rner，H.：遗传编程C++类库，1.0版操作说明，维也纳经济大学（1996）“}，{“issue”：“4”，“key”：“19_CR12”，“doi-asserted-by”：“publisher”，“first-page”：“468”，“doi”：“10.1109\/12.88466”，“volume”：”40“author”：“R.Probert”，“year”：“1991”，“unstructured”：“Probert，R.，Saleh，K.：协议综合：调查和评估。IEEE Transactions on Computers\u00a040（4），468\u2013476（1991）“，”journal-title“：”IEEE Translations on Computers“}，{”issue“：”7“，”key“：”19_CR13“，”doi-asserted-by“：”publisher“，”first page“：“643”，“doi”：“10.1002\/spe.4380240704”，“volume”：“24”，“author”：“K.Koskimies”，“year”：“1994”，“unstructured”：“”Koskimies，K.，M\u00e4kinen，E.：从轨迹图自动合成状态机。软件实践与经验\u00a024（7），643\u2013658（1994）“，”杂志标题“：”软件实践与体验“}]，”容器标题“：[”计算机科学讲义“，”进化计算应用“]，”原始标题“：[]，”链接“：[{”URL“：”http://\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24653-4_19.pdf“，”内容类型“：”未指定“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2021,5,3]]，”date-time“：”2021-05-03T02:58:09Z“，”timestamp“：1620010689000}，”score“：1，”resource“：{primary“：”{“URL”：“http://link.springer.com/10.1007\/978-3-540-24653-4_19”}，“subtitle”：[]，“shorttitle”“：[]，”已发布“：{”日期部分“：[[2004]]}，“ISBN”：[“9783540213789”，“978354246534”]，“references-count”：13，“URL”：“http://\/dx.doi.org\/10.1007\/978-3-540-24653-4_19”，“relation”：{}，“ISSN”：【“0302-9743”，“1611-3349”】，“ISSN-type”：[{“value”：“0302-7743”]，“主题”：[]，“发布”：{“日期部分”：[[2004]]}}