{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T23:42:47Z","timestamp":1743032567215,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540690955"},{"type":"electronic","value":"9783540691006"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-69100-6_19","type":"book-chapter","created":{"date-parts":[[2008,6,5]],"date-time":"2008-06-05T09:27:49Z","timestamp":1212658069000},"page":"278-293","source":"Crossref","is-referenced-by-count":0,"title":["Model-Driven Platform-Specific Testing through Configurable Simulations"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Kuhn","sequence":"first","affiliation":[]},{"given":"Reinhard","family":"Gotzhein","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"9","key":"19_CR1","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1109\/MC.2005.314","volume":"38","author":"D. Janzen","year":"2005","unstructured":"Janzen, D., Saiedian, H.: Test-driven Development: Concepts, Taxonomy and Future Directions. IEEE Computer\u00a038(9), 43\u201350 (2005)","journal-title":"IEEE Computer"},{"key":"19_CR2","unstructured":"Object Management Group (OMG). UML 2.0 Testing Profile Specification, Version 1.0 (2004), \n                        http:\/\/www.omg.org"},{"key":"19_CR3","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1109\/METRIC.2002.1011343","volume-title":"Proceedings of the Eight IEEE Symposium on Software Metrics","author":"F. Shull","year":"2002","unstructured":"Shull, F., Basili, V., Boehm, B., Brown, W., Costa, P., Lindwall, M., Port, D., Rus, I., Tesoriero, R., Zelkowitz, M.M.: What We Have Learned About Fighting Defects. In: Proceedings of the Eight IEEE Symposium on Software Metrics, pp. 249\u2013258. IEEE, Los Alamitos (2002)"},{"key":"19_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/11951148_9","volume-title":"System Analysis and Modeling: Language Profiles","author":"T. Kuhn","year":"2006","unstructured":"Kuhn, T., Becker, P.: A Simulator Interconnection Framework for the Accurate Performance Simulation of SDL Models. In: Gotzhein, R., Reed, R. (eds.) System Analysis and Modeling: Language Profiles. LNCS, vol.\u00a04320, pp. 216\u2013228. Springer, Heidelberg (2006)"},{"key":"19_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/11506843_7","volume-title":"SDL 2005: Model Driven","author":"T. Kuhn","year":"2005","unstructured":"Kuhn, T., Geraldy, A., Gotzhein, R., Rothl\u00e4nder, F.: ns+SDL \u2013 The Network Simulator for SDL Systems. In: Prinz, A., Reed, R., Reed, J. (eds.) SDL 2005. LNCS, vol.\u00a03530, pp. 103\u2013116. Springer, Heidelberg (2005)"},{"key":"19_CR6","unstructured":"Information Sciences Institute, University of Southern California: The Network Simulator ns-2 (valid in 2007), \n                        http:\/\/www.isi.edu\/nsnam\/ns\/"},{"key":"19_CR7","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1145\/324138.324232","volume-title":"Proc. of WSC 1999","author":"X. Chang","year":"1999","unstructured":"Chang, X.: Network Simulations with OPNET. In: Farrington, P.A., Nembhard, H.B., Sturrock, D.T., Evans, G.W. (eds.) Proc. of WSC 1999, Piscataway, New Jersey (U.S.A.), vol.\u00a01, pp. 307\u2013314. IEEE, Los Alamitos (1999)"},{"key":"19_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74442-9_29","volume-title":"Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation","author":"Z. Herczeg","year":"2007","unstructured":"Herczeg, Z., Kiss, \u00c1., Schmidt, D., Wehn, N., Gyim\u00f3thy, T.: XEEMU: An Improved XScale Power Simulator. In: Az\u00e9mard, N., Svensson, L. (eds.) PATMOS 2007. LNCS, vol.\u00a04644. Springer, Heidelberg (2007)"},{"key":"19_CR9","unstructured":"Titzer, B.L., Lee, D.K., Palsberg, J.: Avrora: Scalable Sensor Network Simulation with Precise Timing. In: Proceedings of the Fourth International Symposium on Information Processing in Sensor Networks, IPSN 2005, UCLA, Los Angeles, California, USA, April 25-27 (2005)"},{"key":"19_CR10","unstructured":"Hatnik, U., Altmann, S.: Using ModelSim, Matlab\/Simulink and NS for Simulation of Distributed Systems. In: IEEE PARELEC 2004, Dresden, September 7-10, 2004, pp. 114\u2013119 (2004) ISBN 0-7695-2080-4"},{"key":"19_CR11","unstructured":"Almesberger, W.: Umlsim - A UML-based simulator. In: Proceedings of the 10th International Linux System Technology Conference (Linux-Kongress 2003), pp. 202\u2013213 (October 2003)"},{"key":"19_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-69489-2","volume-title":"Models in Software Engineering","author":"T. Kuhn","year":"2007","unstructured":"Kuhn, T., Gotzhein, R., Webel, C.: Model-Driven Development with SDL \u2013 Process, Tools and Experiences. In: K\u00fchne, T. (ed.) MoDELS 2006. LNCS, vol.\u00a04364. Springer, Heidelberg (2007)"},{"key":"19_CR13","unstructured":"AndroMDA (valid in, 2007), \n                        http:\/\/www.andromda.org"},{"key":"19_CR14","unstructured":"Telelogic AB: Telelogic Tau Generation 1, \n                        http:\/\/www.telelogic.com\/products\/tau\/index.cfm"},{"key":"19_CR15","unstructured":"Telelogic AB, Telelogic TAU Generation 2, \n                        http:\/\/www.telelogic.com\/products\/tau\/g2"},{"key":"19_CR16","series-title":"Developments for Sports","first-page":"103","volume-title":"The Engineering of Sport 6","author":"I. Fliege","year":"2006","unstructured":"Fliege, I., Geraldy, A., Gotzhein, R., Jaitner, T., Kuhn, T., Webel, C.: An Ambient Intelligence System to Assist Team Training and Competition in Cycling. In: Moritz, E.F., Haake, S. (eds.) The Engineering of Sport 6. Developments for Sports, vol.\u00a0I, pp. 103\u2013108. Springer Science, Business Media, New York (2006)"},{"key":"19_CR17","unstructured":"International Telecommunications Union: Specification and Description Language (SDL). ITU-T Recommendation Z.100 (August 2002)"},{"key":"19_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74984-4_7","volume-title":"SDL 2007: Design for Dependable Systems","author":"R. Gotzhein","year":"2007","unstructured":"Gotzhein, R., Grammes, R., Kuhn, T.: Specifying Input Port Bounds in SDL. In: Gaudin, E., Najm, E., Reed, R. (eds.) SDL 2007. LNCS, vol.\u00a04745. Springer, Heidelberg (2007)"},{"key":"19_CR19","doi-asserted-by":"crossref","unstructured":"De Miguel, M., Lambolais, T., Hannouz, M., Betg\u00e9-Brezetz, S., Piekarec, S.: UML Extensions for the Specification and Evaluation of Latency Constraints in Architectural Models. In: ACM Proc. of WOSP 2000, Ottawa, Canada, pp. 83\u201388 (2000)","DOI":"10.1145\/350391.350411"},{"key":"19_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11951148_14","volume-title":"System Analysis and Modeling: Language Profiles","author":"I. Fliege","year":"2006","unstructured":"Fliege, I., Grammes, R., Weber, C.: ConTraST \u2013 A Configurable SDL Transpiler And Runtime Environment. In: Gotzhein, R., Reed, R. (eds.) SAM 2006. LNCS, vol.\u00a04320. Springer, Heidelberg (2006)"},{"key":"19_CR21","unstructured":"Steppler, M.: SPEETCL, SDL Performance Evaluation Tool Class Library, AixCom GmbH (valid in, January 2008), \n                        http:\/\/www.aixcom.com\/"},{"key":"19_CR22","unstructured":"Steppler, M.: SDL2SPEETCL, SDL Performance Evaluation Tool Class Library, AixCom GmbH (valid in, January 2008) \n                        http:\/\/www.aixcom.com\/"}],"container-title":["Lecture Notes in Computer Science","Model Driven Architecture \u2013 Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69100-6_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,7]],"date-time":"2024-05-07T05:03:54Z","timestamp":1715058234000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-69100-6_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540690955","9783540691006"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69100-6_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}