{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:55:12Z","timestamp":1725490512078},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540008774"},{"type":"electronic","value":"9783540365730"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36573-7_15","type":"book-chapter","created":{"date-parts":[[2007,9,2]],"date-time":"2007-09-02T19:22:33Z","timestamp":1188760953000},"page":"233-252","source":"Crossref","is-referenced-by-count":7,"title":["The Graphical Format of TTCN-3 in the Context of MSC and UML"],"prefix":"10.1007","author":[{"given":"Ina","family":"Schieferdecker","sequence":"first","affiliation":[]},{"given":"Jens","family":"Grabowski","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,3,14]]},"reference":[{"key":"15_CR1","unstructured":"ISO\/IEC 9646-3 (1998): \u201cInformation technology-Open systems interconnection-Conformance testing methodology and framework-Part 3: The Tree and Tabular combined Notation (TTCN)\u201d"},{"key":"15_CR2","unstructured":"ETSI ES201873-1v220 (2002) TTCN-3: Core Language."},{"key":"15_CR3","unstructured":"ETSI ES201873-2v220 (2002) TTCN-3: Tabular Presentation Format."},{"key":"15_CR4","unstructured":"ETSI DES201873-3v220 (2002) TTCN-3: Graphical Presentation Format."},{"key":"15_CR5","unstructured":"ITU-T Recommendation Z.120 (2000): Message Sequence Charts (MSC)."},{"key":"15_CR6","unstructured":"OMG: The Initial Submission to the RFP on the UML Testing Profile, April 2002."},{"key":"15_CR7","unstructured":"J. Grabowski, T. Walter. Visualisation of TTCN Test Cases by MSCs, SAM98, Proc. of the 1st Workshop on SDL and MSC, Humboldt University Berlin, 1998."},{"key":"15_CR8","unstructured":"P. Baker, C. Jervis, D. King:An Industrial use of FP: A Tool for Generating Test Scripts from System Specifications.-Scottish Functional Programming Workshop\/Trends in Functional Programming."},{"key":"15_CR9","unstructured":"J. Grabowski, D. Hogrefe.TTCN, SDL-and MSC-based specification and automated test case generation for INAP. \u201cProc. of the 8th Intern. Conf. on Telecommunication Systems (ICTS\u20192000)-Modeling and Analysis\u201d, Nashville, March 2000."},{"key":"15_CR10","unstructured":"C. Jard, S. Pickin: COTE-Component Testing using the Unified Modelling Language.-ERCIM News No.48, January 2002."},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"T. Vassiliou-Gioles, M. Li, I. Schieferdecker, M. Born, M. Winkler: Configuration and Execution Support for Distributed Systems.-IWTCS\u201999, Budapest, Hungary, Sept. 1999.","DOI":"10.1007\/978-0-387-35567-2_5"},{"key":"15_CR12","unstructured":"The Open Group: ADL 2.0 Translation System, 1998. http:\/\/adl.opengroup.org\/"},{"key":"15_CR13","unstructured":"M. Born, I. Schieferdecker, M. Li: Test Framework for Component-Based Systems, Intern. Workshop on Distributed System Validation and Verification (DSVV\u20192000), Taipei (Taiwan), April 2000."},{"key":"15_CR14","unstructured":"M. Born, I. Schieferdecker, M. Li: UML Framework for Automated Generation of Component-Based Test Systems.-Intern. Conf. on Software Engineering Applied to Networking and Parallel\/ Distributed Computing (SNPD\u201900), Reims, France (2000)."},{"key":"15_CR15","unstructured":"C. Crichton et al.: Using UML for Automatic Test Generation: Proc. of the Intern. Conf. On Automated Software Engineering, ASE\u20192001."},{"key":"15_CR16","unstructured":"E. Rudolph, I. Schieferdecker, J. Grabowski: HyperMSC-a Graphical Representation of TTCN. Proc. of the 2nd Workshop on SDL and MSC (SAM\u20192000), Grenoble (France), June, 26-28, 2000."},{"key":"15_CR17","unstructured":"E. Rudolph, I. Schieferdecker, J. Grabowski: Development of an MSC\/UML Test Format. FBT\u20192000-Formale Beschreibungstechniken f\u00fcr verteilte Systeme (Editors: J. Grabowski, S. Heymer), Shaker Verlag, Aachen, June 2000."},{"key":"15_CR18","unstructured":"Testing Technologies. TT Tool Series. http:\/\/www.testingtech.de\/products"},{"key":"15_CR19","unstructured":"ANSI\/IEEE. Glossary of Software Engineering Terminology. ANSI\/IEEE Std 729-1983, ANSI\/IEEE Std 729\u20131983, 1983."},{"key":"15_CR20","unstructured":"B. Beizer. Software Testing Techniques Second Edition. Van Nostrand Reinhold New York, 1990."},{"key":"15_CR21","unstructured":"G. J. Myers: The Art of Software Testing. John Wiley, 1979."}],"container-title":["Lecture Notes in Computer Science","Telecommunications and beyond: The BroaderApplicability of SDL and MSC"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36573-7_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T15:38:38Z","timestamp":1556811518000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36573-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540008774","9783540365730"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-36573-7_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}