{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T07:54:34Z","timestamp":1772783674750,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540290100","type":"print"},{"value":"9783540320579","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11557432_36","type":"book-chapter","created":{"date-parts":[[2005,11,2]],"date-time":"2005-11-02T08:43:26Z","timestamp":1130921006000},"page":"476-491","source":"Crossref","is-referenced-by-count":104,"title":["Model-Driven Engineering in a Large Industrial Context \u2014 Motorola Case Study"],"prefix":"10.1007","author":[{"given":"Paul","family":"Baker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shiou","family":"Loh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Weil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"36_CR1","unstructured":"Baker, P.: Test Generation towards TTCN-3. In: ETSI TTCN-3 User Conference (2004)"},{"key":"36_CR2","doi-asserted-by":"crossref","unstructured":"Baker, P., Burton, S., Bristow, P., King, D., Jervis, C., Mitchell, B., Thomson, R.: Detecting and Resolving Semantic Pathologies in UML Sequence Diagrams. In: ACM ESEC-Foundations of Software Engineering (2005)","DOI":"10.1145\/1081706.1081716"},{"key":"36_CR3","unstructured":"Baker, P., Dai, Z., Grabowski, J., Haugen, O., Samuelsson, E., Schieferdecker, I., Williams, C.: The UML 2.0 Testing Profile. In: Proc. of the Conf. on Quality Engineering in Software Technology 2004, Nuremberg, Germany (2004)"},{"key":"36_CR4","unstructured":"Baker, P., Jervis, C., King, D.: An Industrial use of FP: A Tool for Generating Test Scripts from System Specifications. In: Trinder, P., Michaelson, G., Loidl, H.-W. (eds.) Trends in Functional Programming. Intellect, vol.\u00a01, pp. 126\u2013135 (2000)"},{"key":"36_CR5","volume-title":"Artificial Intelligence And Automation","author":"J. Boyle","year":"1996","unstructured":"Boyle, J., Harmer, T., Weigert, T., Weil, F.: Knowledge-Based Derivation of Programs from Specifications. In: Bourbakis, N. (ed.) Artificial Intelligence And Automation, World Scientific Press, Singapore (1996)"},{"key":"36_CR6","unstructured":"Dietz, P., Weigert, T., Weil, F.: Formal Techniques for Automatically Generating Marshalling Code from High-Level Specifications. In: Proc. of the 1998 Workshop on Industrial-strength Formal Specification Techniques, Boca Raton, FL (1998)"},{"key":"36_CR7","unstructured":"European Telecommunications Standards Institute: Methods for Testing and Specification; The Testing and Control Notation version 3 (TTCN-3); Part 1: TTCN-3 Core Language. ETSI ES 201 873-1 (2001)"},{"key":"36_CR8","doi-asserted-by":"crossref","unstructured":"Gras, J., McGaw, D.: End-to-End Defect Prediction. In: IEEE International Symposium on Software Reliability Engineering (ISSRE), Saint Malo, France (2004)","DOI":"10.1109\/MS.2004.1331312"},{"key":"36_CR9","volume-title":"Strategies for Real-Time System Specification","author":"D. Hatley","year":"1988","unstructured":"Hatley, D., Pirbhai, I.: Strategies for Real-Time System Specification. Dorset House, New York (1988)"},{"key":"36_CR10","unstructured":"International Telecommunications Union: Abstract Syntax Notation One (ASN.1): Specification of Basic Notation. ITU-T Rec. X.680 (2002)"},{"key":"36_CR11","unstructured":"International Telecommunications Union: Message Sequence Chart (MSC). ITU-T Rec. Z.120 (2000)"},{"key":"36_CR12","unstructured":"International Telecommunications Union: Specification and Description Language. ITU-T Rec. Z.100 (2000)"},{"key":"36_CR13","unstructured":"International Telecommunications Union: TTCN-2 standard, Conformance Testing Methodology and Framework: Part 3: The Tree and Tabular Combined Notation (TTCN). ITU-T Rec. X.292 (1997)"},{"key":"36_CR14","volume-title":"MDA Explained: The Model Driven Architecture: Practice and Promise","author":"A. Kleppe","year":"2003","unstructured":"Kleppe, A., Warmer, J., Bast, W.: MDA Explained: The Model Driven Architecture: Practice and Promise. Addison-Wesley, Reading (2003)"},{"key":"36_CR15","first-page":"77","volume-title":"Feature Interactions in Telecommunications and Software Systems VII","author":"B. Mitchell","year":"2003","unstructured":"Mitchell, B., Thomson, R., Jervis, C.: Phase Automaton for Requirements Scenarios. In: Feature Interactions in Telecommunications and Software Systems VII, pp. 77\u201384. IOS Press, Amsterdam (2003)"},{"key":"36_CR16","unstructured":"Object Management Group: Unified Modeling Language (UML): Superstructure, Version 2.0 (2003)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11557432_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T08:29:18Z","timestamp":1736065758000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11557432_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540290100","9783540320579"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11557432_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}