乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,28]],"date-time":"2023-01-28T07:56:49Z","timestamp":1674892609297},"reference-count":31,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Standards & Interfaces"],"published-print":{"date-parts":[[2010,1]]},"DOI":"10.1016\/j.csi.2008.12.005","type":"journal-article","created":{"date-parts":[[2008,12,25]],"date-time":"2008-12-25T10:23:06Z","timestamp":1230200586000},"page":"1-9","source":"Crossref","is-referenced-by-count":2,"title":["Test aspect of requirement specification"],"prefix":"10.1016","volume":"32","author":[{"given":"Szil\u00e1rd","family":"Jask\u00f3","sequence":"first","affiliation":[]},{"given":"Tibor","family":"Dulai","sequence":"additional","affiliation":[]},{"given":"D\u00e1niel","family":"Muhi","sequence":"additional","affiliation":[]},{"given":"Katalin","family":"Tarnay","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.csi.2008.12.005_bib1","unstructured":"J. Peleska:, Formal Methods and the Development of Dependable Systems, Bericht Nr. 9612. Christian-Albrechts-Universit\u00e4t Kiel, Institut f\u00fcr Informatik und praktische Mathematik, 1997. Habilitation thesis, available under http:\/\/www.informatik.uni-bremen.de\/agbs\/jp."},{"key":"10.1016\/j.csi.2008.12.005_bib2","series-title":"Verifying End-to-End Protocols using Induction with CSP\/FDR, IPPS\/SPDP Workshops","first-page":"1243","author":"Creese","year":"1999"},{"key":"10.1016\/j.csi.2008.12.005_bib3","series-title":"The Unified Modeling Language (UML) Specification-version 1.5","year":"2003"},{"key":"10.1016\/j.csi.2008.12.005_bib4","series-title":"UML 2 Illustrated-Developing Real-Time and Communications Systems","author":"Doldi","year":"2003"},{"key":"10.1016\/j.csi.2008.12.005_bib5","series-title":"The Unified Modeling Language (UML)) Infrastructure 2.0 adopted specification","year":"2003"},{"key":"10.1016\/j.csi.2008.12.005_bib6","unstructured":"ITU-T, Recommendation Z.150:, User Requirements Notation (URN) \u2014 Language requirements and framework, (ITU-T, Geneva, Switzerland, 2003)."},{"key":"10.1016\/j.csi.2008.12.005_bib7","series-title":"URN: Towards a New Standard for the Visual Description of Requirements","first-page":"21","author":"Amyot","year":"2002"},{"key":"10.1016\/j.csi.2008.12.005_bib8","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/S1389-1286(03)00244-5","article-title":"Introduction to the user requirements notation: learning by example","volume":"42","author":"Amyot","year":"2003","journal-title":"Computer Networks"},{"key":"10.1016\/j.csi.2008.12.005_bib9","unstructured":"ITU-T, Recommendation Z.100, Specification and Description Language (SDL), 2002, Geneva, Switzerland."},{"key":"10.1016\/j.csi.2008.12.005_bib10","unstructured":"ITU-T, Recommendation Z.120, Message Sequence Chart (MSC), 2004, Geneva, Switzerland."},{"key":"10.1016\/j.csi.2008.12.005_bib11","unstructured":"ITU-T, URN Focus Group: Draft Rec. Z.151, Goal-oriented Requirement Language (GRL), Sept. 2003, Geneva, Switzerland."},{"key":"10.1016\/j.csi.2008.12.005_bib12","unstructured":"ITU-T, URN Focus Group: Draft Rec. Z.152, UCM: Use Case Map Notation (UCM), Sept. 2003, Geneva, Switzerland."},{"key":"10.1016\/j.csi.2008.12.005_bib13","series-title":"Non-Functional Requirements in Software Engineering","author":"Chung","year":"2000"},{"issue":"12","key":"10.1016\/j.csi.2008.12.005_bib14","doi-asserted-by":"crossref","first-page":"1131","DOI":"10.1109\/32.738343","article-title":"Use Case Maps as architectural entities for complex systems","volume":"24","author":"Buhr","year":"1998","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/j.csi.2008.12.005_bib15","series-title":"SDL Forum","first-page":"117","article-title":"Synthesizing SDL from use case maps: an experiment","author":"He","year":"2003"},{"key":"10.1016\/j.csi.2008.12.005_bib16","series-title":"Tenth SDL Forum (SDL'01), Copenhagen, Denmark","article-title":"Deriving message sequence charts from Use Case Maps scenario specifications","author":"Miga","year":"2001"},{"key":"10.1016\/j.csi.2008.12.005_bib17","series-title":"Automatic synthesis of SDL models in use case methodology","author":"Mansurov","year":"1999"},{"key":"10.1016\/j.csi.2008.12.005_bib18","series-title":"KLOCwork MSC to SDL Synthesizer Tutorial Version 1.0","year":"2002"},{"key":"10.1016\/j.csi.2008.12.005_bib19","series-title":"Draft Rec. Z.153, Goal-oriented Requirement Language (GRL)","year":"2004"},{"key":"10.1016\/j.csi.2008.12.005_bib20","series-title":"URN: Towards a New Standard for the Visual Description of Requirements","first-page":"21","author":"Amyot","year":"2002"},{"key":"10.1016\/j.csi.2008.12.005_bib21","unstructured":"ITU-T, Recommendation Z.140-Z.146, Testing and Test Control Notation version 3 (TTCN-3), 2006, Geneva, Switzerland."},{"key":"10.1016\/j.csi.2008.12.005_bib22","series-title":"A new mathematical formalism for the TTCN 3 core language","first-page":"1","volume":"vol. 49, no. 3","author":"Jask\u00f3","year":"2005"},{"key":"10.1016\/j.csi.2008.12.005_bib23","series-title":"Prentice Hall International Series in Computer Science","article-title":"Communicating sequential processes","author":"Hoare","year":"1985"},{"key":"10.1016\/j.csi.2008.12.005_bib24","unstructured":"\"Oxford Advantage Learner's Dictionary\", Oxford university."},{"key":"10.1016\/j.csi.2008.12.005_bib25","unstructured":"http:\/\/www.techweb.com\/encylopedia."},{"key":"10.1016\/j.csi.2008.12.005_bib26","unstructured":"ETS 300 406, Methods for Testing and Specification; Protocol and Profile Conformance Testing Specification, 1995, Standardization Methodology, ETSI."},{"key":"10.1016\/j.csi.2008.12.005_bib27","series-title":"SDL Forum","first-page":"247","article-title":"UCM-driven testing of web applications","author":"Amyot","year":"2005"},{"key":"10.1016\/j.csi.2008.12.005_bib28","series-title":"To appear in Computer Networks","article-title":"UCM-based generation of test purposes","author":"Amyot","year":"2005"},{"key":"10.1016\/j.csi.2008.12.005_bib29","first-page":"289","article-title":"From U2TP models to executable tests with TTCN-3 \u2014 an approach to model driven testing","volume":"vol. 3502","author":"Zander","year":"2005"},{"key":"10.1016\/j.csi.2008.12.005_bib30","unstructured":"http:\/\/www.asn1.org\/."},{"issue":"3","key":"10.1016\/j.csi.2008.12.005_bib31","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/S0920-5489(04)00108-4","article-title":"Standardized languages for telecommunication systems","volume":"27","author":"Adamis","year":"2005","journal-title":"Computer Standards and Interfaces"}],"container-title":["Computer Standards & Interfaces"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0920548908001670?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0920548908001670?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,12,23]],"date-time":"2018-12-23T11:00:51Z","timestamp":1545562851000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0920548908001670"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1]]},"references-count":31,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2010,1]]}},"alternative-id":["S0920548908001670"],"URL":"https:\/\/doi.org\/10.1016\/j.csi.2008.12.005","relation":{},"ISSN":["0920-5489"],"issn-type":[{"value":"0920-5489","type":"print"}],"subject":[],"published":{"date-parts":[[2010,1]]}}}