{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,5,22]]，“日期-时间”：“2024-05-22T05:49:36Z”，“时间戳”：1716356976157}，“参考-计数”：25，“出版商”：“Springer Science and Business Media LLC”，“问题”：“3-4”，“许可证”：[{“开始”：“日期-零件”：[[2007,3,13]]，”日期-时间“：”2007-03-13T00:00:00Z“，“timestamp”：1173744000000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com\/tdm”}，{“start”：{“date-parts”：[[2007,3,13]]，“date-time”：“2007-03-13T00:00:00Z”，“timetamp”：“117374400000}，”content-versiion“：”vor“，”delay-in-days“：0，”URL“https:\\/www.spring.com\/tdm“}]，“内容域”：{“域”：[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[“Int J Softw Tools Technol Transfer”]，“published-print”：{“date-parts”：[[2007,6]]}，”DOI“：”10.1007\/s10009-007-003-0035-0“，”type“：”journal-article“，”created“：{”date-part“：[2007,3,12]，”date-time“：”2007-03-12T08:14:20Z“，”timestamp“：1173687260000}，69“，”更新策略“：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“source”：“Crossref”、“is-referenced-by-count”：15，“title”：[“Requirements Validation:Execution of UML Models with CPN Tools”]，“prefix”：“10.1007”，”volume“：“9”，“author”：[{“given”：”Ricardo J.“，”family“：”Machado“，“sequence”：“first”，“affiliation”：[]}，{“Givent”：“Kristian Bisgaard”，“family”：“拉森”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“S\u00e9rgio”，“family”：“Oliveira”，“se序列”：“附加”，“从属”：[]}，}“giving”：“Marco”，“家族”：“Couto”，“序列”：”附加“afliation”“，”在线发布“：{”日期部分“：[[2007,3,13]]}，“reference”：[{“key”：“35_CR1”，“unstructured”：“IEEE 610.12-1990:IEEE软件工程术语标准词汇表，1990”}，{“密钥”：“35 _CR2”，“doi-asserted-by”：“publisher”，”first page“：”19“，”doi“：”10.1007\/3-540-28244-0_2“，”volume-title“：”Engineering and Managing Software Requirements“，”author“：”D.Zowghi“，”year“：”2005“，”unstructure“：“Zowghi D.和Coulin C.（2005）。需求引出：技术、方法和工具的调查。见：Aurum，A.和Wohlim，C.（编辑）《工程和管理软件需求》，第19\u201346页。Springer，Heidelberg“}，{”key“：”35_CR3“，”doi-asserted-by“：”publisher“，”first page“：“47”，”doi“：”10.1007\/3-540-28244-0_3“，“volume-title”：“工程和管理软件要求”，“author”：“R.J.Machado”，“year”：“2005”，“unstructured”：“Machado-R.J.，Ramos I.和Fernandes J.M.（2005）需求模型规范。摘自：Aurum，A.和Wohlim，C.（编辑）《工程和管理软件要求》，第47\u201368页。Springer，Heidelberg“}，{”key“：”35_CR4“，”doi-asserted-by“：”publisher“，”first page“：“83”，”doi“：”10.1016\/S0950-5849（02）00164-7“，“volume”：“45”，“author”：“Y.Liang”，“year”：“2003”，“unstructured”：“Liang Y.（2003）。从用例到类：用UML构建对象模型的方法。Inf.Softw.Technol.45:83\u201393”，“journal-title”：“Inf。柔和。Technol公司。“}，{”key“：”35_CR5“，”doi-asserted-by“：”crossref“，”unstructured“：”Whittle，J.，Kwan，R.，Saboo，J.：从场景到代码：空中交通管制案例研究。Softw.Systems Model.4（1）71\u201393“，”doi“：”10.1007\/s10270-004-0067-9“}”，{“key”：“35_CR6”，“doi-assert-by”：“crossreff”，“first page”：”61“，”doi“：“10.1007\/978-0-3889”7-35570-2_5“，”卷标签“：”分布式和并行嵌入式系统”，“作者”：“I.Kr\u00fcger”，“年份”：“1999年”，“非结构化”：“Kr\u 00fcger I.，Grosu R.，Scholz P.和Broy M.（1999）。从MSC到状态图。收录：Rammig，F.J.（编辑）《分布式和并行嵌入式系统》，第61\u201372页。Kluwer Academic，Dordrecht“}，{“key”：“35_CR7”，“unstructured”：“Machado，R.J.，Fernandes，J.M.，Montero，P.，Rodrigues，H.：面向服务的软件架构UML模型的转换。收录于：第十二届IEEE计算机系统工程国际会议（ECBS 2005），美国马里兰州绿带，第173\u2013182页。IEEE CS出版社，纽约（2005）“}，{”key“：”35_CR8“，”first page“：“1”，”volume-title“：”计算机科学讲座笔记，vol.3098“，”author“：”W.M.P.van der Aalst“，”year“：”2004“，”unstructured“：”Aalst W.M.P。（2004）业务流程管理揭秘：关于工作流管理的模型、系统和标准的教程。收录于：Desel，J.、Reisig，W.和Rosenberg，G.（编辑）《计算机科学讲义》，第3098卷，第1\u201365页。Springer，Heidelberg“｝，｛”键“：”35_CR9“，”doi断言“：”crossref“，”非结构化“：”Beaudouin-Lafon，M.，Mackay，W.E.，Andersen，P.，Janecek，P.、Jensen，M.、Lassen，M.和Lund，K.，Mortensen，K.、Munck，S.、Ratzer，A.、Ravn，K.和Christensen、S.、Jessen，K.:CPN\/工具：用于编辑和模拟有色petri网的post-Wimp接口。摘自：第22届国际Petri网应用与理论会议（ICATPN 2001），第71页\u201380，英国泰恩河畔纽卡斯尔（2001）“，“DOI”：“10.1007”-3-540-45740-2_6“}，{“key”：“35_CR10”，“first page”：”153“，“volume”：：“9”，“author”：“A.Gemino”，“year”：“2003”，“unstructured”：“Gemino A.（2003）需求验证中动画和叙述的实证比较。要求。Eng.9:153\u2013168”，“期刊标题”：“要求。工程“}，{“key”：“35_CR11”，“unstructured”：“Fenkam，P.，Gall，H.，Jazyeri，M.：可视化需求验证：在CORBA支持的环境中的案例研究。收录于：IEEE需求工程联合国际会议（RE\u20192002）（2002）”}Ozcan，M.B.，Parry，P.W.，Morrey，I.C.：Siddiqi，J.：基于可执行形式规范可视化的需求验证。摘自：《计算机软件和应用国际会议》，第381\u2013386页，奥地利。IEEE CS出版社，纽约（1998）“}，{”key“：”35_CR13“，”doi-asserted-by“：”crossref“，”unstructured“：”Uchitel，S.、Chatley，R.、Kramer，J.、Magee，J.：基于Fluent的动画：利用目标和场景之间的关系进行需求验证。在：第十二届IEEE需求工程国际会议（RE\u201904）（2004）“，”DOI“：”10.1145\/106245.1062603“}，{“key”：“35_CR14”，“unstructured”：“Winter，V.、Desovski，D.、Cukic，B.：高后果系统需求验证的虚拟环境建模。收录：IEEE国际需求工程会议论文集，第23\u201330（2001）页“}，{“key”：“35_CR15”，“doi-asserted-by”：“crossref”，“unstructured”：“Jensen，K.：有色petri网：基本概念、分析方法和实际应用。收录：理论计算机科学专题论文，第1\u20133卷。Springler，Heidelberg（1992\u20131997）“，”DOI“：”10.1007\/978-3642-60794-3“}，{”key“：”35_CR16“，”DOI-asserted-by“：”publisher“，”first page“：“98”，”DOI:“10.1007\/s100090050021”，“volume”：“2”，“author”：“L.M.Kristensen”，“year”：“1998”，“unstructured”：“Kristenson L.M.，Christensen S.and Jensen K.（1998）.从业人员\u2019s有色petri网指南。国际期刊软件。Technol的工具。Transf公司。2:98\u2013132“，”杂志标题“：”国际期刊。Technol工具。Transf公司。“}，{”key“：”35_CR17“，”unstructured“：”BRITNeY Animation tool.wiki.daimi.au.dk\/tincpn“}”，{“key”：“35_CR18”，“unstructure”：“Pryce，N.，Magee，J.：SceneBeans:一个基于组件的java动画框架。http://\/wwwwW-dse.doc.ic.uk\/Software\/SceneBeans\/”}，“key：”35-CR19“，”非结构化“：”ISO 9241-11:可用性指南，1998年“}，{”问题“：”4“，”key“：”35_CR20“，”doi-asserted-by“：”publisher“，”first-page“：”291“，”doi“：”10.1037\/1076-898X.6.4.291“、”volume“：“6”、”author“：”S.J.P.McDougall“，”year“：”2000“，”unstructured“：”McDougall-S.jP.、Curry M.B.和de Bruijn O.（2000）。探索图标特征对用户性能的影响：图标的作用具体性、复杂性和独特性。《心理学实验杂志》。申请。6（4）：291\u2013306“，“新闻标题”：《心理学杂志》。申请。“}，{”issue“：”1“，”key“：”35_CR21“，”doi-asserted-by“：”publisher“，”first-page“：”59“，”doi“：”10.1207\/S15327566IJCE0501_4“，”volume“：“5”“，”author“：”S.J.P.McDougall“，”year“：”2001“，”unstructured“：”McDougall-S.jP.，Curry M.B.and de Bruijn O.（2001）.视觉信息对用户心理模型的影响：探路者分析作为衡量图标可用性的评估。国际法学杂志。人体工程学。5（1）：59\u201384“，“期刊标题”：“国际期刊。人体工程学。}，{“key”：“35_CR22”，“volume-title”：“Breaking Down Usability。Interact 99”，“author”：“M.Welie”，“year”：“1999”，“unstructured”：“Welie M.，Eli\u00ebns A.and Veer G.（1999）。Breaking-Down Usability。交互99。苏格兰爱丁堡“}，{“key”：“35_CR23”，“unstructured”：“Pane，J.F.：为儿童设计的可使用性编程系统。博士论文，卡内基梅隆大学计算机科学系，匹兹堡，2002年5月”}，}，“key“：”35_CR24“，“首页”：“629”，“volume-title”：“第四届以产品为中心的软件过程改进国际会议（PROFES\u201902），芬兰罗瓦涅米。计算机科学系列讲座笔记，第2559卷“，“作者”：“R.J.Machado”，“年份”：“2002年”，“非结构化”：“Machado-R.J.和Fernandes J.M.（2002）。异构信息系统集成：组织和方法。收录于：Oivo，M.和Komi-Sirvi\u00f6，S.（编辑）第四届以产品为中心的软件过程改进国际会议（PROFES\u201902），芬兰罗瓦涅米。计算机科学系列讲座笔记，第2559卷，第629\u2013643页。Springer，Heidelberg“}，{”key“：”35_CR25“，”doi-asserted-by“：”publisher“，”first page“：“169”，”doi“：”10.1007\/11523277_17“，”volume-title“：”From Specification to Embedded Systems Application.IFIP Series vol.184“，“author”：“R.J.Machado”，“year”：“2005”，“unstructured”：“Machado.R.J.and Fernandes J.M.（2005）”嵌入式软件与企业信息系统的集成。收录：Rettberg，A.、Zanella，M.C.和Rammig，F.J.（编辑）《从规范到嵌入式系统应用》。IFIP系列第184卷，第169页\u2013178。Springer，Heidelberg“}]，“container-title”：[“技术转让软件工具国际期刊”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/link.Springer.com/content\/pdf\/10.1007\/s10009-007-0035-0.pdf”，“内容类型”：“application\/pdf”、“内容版本”：“vor”、“intended-application”：“text-mining”}，{“URL”：“https:\/\/link.springer.com/article\/10.1007\/s10009-007-0035-0\/fulltext.html“，“content-type”：“text\/html”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“http://\/link.springer.com\/content\/pdf\/10007\/s10009-007-0035-0”，“内容类型”：“未指定”，“content-version“：”vor“，”intended-application“：”类似y检查“}，{”URL“：”https:\/\/link.springer.com/content\/pdf\/10.1007\/s10009-007-0035-0.pdf“，”content-type“：”application\/pdf“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2022,5,18]]，”date-time“：“2022-05-18T02:43:13Z”，“timestamp”：1652841793000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/link.springer.com/10.1007\/s10009-007-0035-0“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2007,3,13]]}，“引用计数”：25，“日志发布”：{“发布”：“3-4”，“发布-发布”：}“日期部分”：[2007,6]]}}、“替代id”：[“35”]，“URL”：“http://\/dx.doi.org \/10.1007\/s10009-007-0035-0“，”关系“：{}，”ISSN“：[”1433-2779“，”1433-2787“]，“issn type”：[｛“value”：“1433-2779”，“type”：“print”｝，｛“value”：“1433-2787”，“type”：“electronic”｝]，“subject”：[]，“published”：｛“date parts”：[[2007,3,13]]]｝，“assertion”：[｛“value”：“2007年3月13日”，“order”：1，“name”：“first_online”，“label”：“first online”，“group”：｛“name”：“ArticleHistory”，“label”：“ArticleHistory”｝}｝