{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T11:27:43Z","timestamp":1746012463588},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540203032"},{"type":"electronic","value":"9783540396567"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39656-7_16","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T14:35:52Z","timestamp":1277822152000},"page":"380-402","source":"Crossref","is-referenced-by-count":6,"title":["Model-Based Testing of Object-Oriented Systems"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"Rumpe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-39656-7_1","volume-title":"Formal Methods for Components and Objects","author":"E. Abraham-Mumm","year":"2003","unstructured":"Abraham-Mumm, E., de Boer, F.S., de Roever, W.P., Steffen, M.: A Tool supported Proof System for Mutlithreaded Java. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol.\u00a02852, pp. 1\u201332. Springer, Heidelberg (2003)"},{"key":"16_CR2","unstructured":"Agile Manifesto (2003), http:\/\/www.agilemanifesto.org\/"},{"key":"16_CR3","volume-title":"Extreme Programming explained","author":"K. Beck","year":"1999","unstructured":"Beck, K.: Extreme Programming explained. Addison-Wesley, Reading (1999)"},{"issue":"5","key":"16_CR4","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1109\/52.951502","volume":"18","author":"K. Beck","year":"2001","unstructured":"Beck, K.: Aim, Fire (Column on the Test-First Approach). IEEE Software\u00a018(5), 87\u201389 (2001)","journal-title":"IEEE Software"},{"key":"16_CR5","unstructured":"Beck, K., Gamma, E.: JUnit: A Cook\u2019s Tour, JavaReport (August 1999)"},{"key":"16_CR6","series-title":"Models, Patterns, and Tools","volume-title":"Testing Object-Oriented Systems","author":"R. Binder","year":"1999","unstructured":"Binder, R.: Testing Object-Oriented Systems. Models, Patterns, and Tools. Addison-Wesley, Reading (1999)"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/3-540-45441-1_15","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"L. Briand","year":"2001","unstructured":"Briand, L., Labiche, Y.: A UML-based Approach to System Testing. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 194\u2013208. Springer, Heidelberg (2001)"},{"key":"16_CR8","volume-title":"Agile Software Development","author":"A. Cockburn","year":"2002","unstructured":"Cockburn, A.: Agile Software Development. Addison-Wesley, Reading (2002)"},{"key":"16_CR9","volume-title":"Refactoring","author":"M. Fowler","year":"1999","unstructured":"Fowler, M.: Refactoring. Addison-Wesley, Reading (1999)"},{"key":"16_CR10","volume-title":"Design Patterns","author":"E. Gamma","year":"1994","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns. Addison-Wesley, Reading (1994)"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/978-3-540-39656-7_8","volume-title":"Formal Methods for Components and Objects","author":"B. Jacobs","year":"2003","unstructured":"Jacobs, B., Kiniry, J., Warnier, M.: Java Program Verification Challenges. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol.\u00a02852, pp. 202\u2013219. Springer, Heidelberg (2003)"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/978-3-540-39656-7_11","volume-title":"Formal Methods for Components and Objects","author":"G.T. Leavens","year":"2003","unstructured":"Leavens, G.T., Cheon, Y., Clifton, C., Ruby, C., Cok, D.R.: How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol.\u00a02852, pp. 262\u2013284. Springer, Heidelberg (2003)"},{"key":"16_CR13","series-title":"Der Test-First-Ansatz","volume-title":"Unit Tests mit Java","author":"J. Link","year":"2002","unstructured":"Link, J., Fr\u00f6hlich, P.: Unit Tests mit Java. Der Test-First-Ansatz. dpunkt.verlag, Heidelberg (2002)"},{"key":"16_CR14","volume-title":"The Art of Software Testing","author":"G. Myers","year":"1979","unstructured":"Myers, G.: The Art of Software Testing. John Wiley & Sons, New York (1979)"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Opdyke, W., Johnson, R.: Creating Abstract Superclasses by Refactoring. Technical Report. Dept. of Computer Science, University of Illinois and AT&T Bell Laboratories (1993)","DOI":"10.1145\/170791.170804"},{"key":"16_CR16","unstructured":"OMG. Model Driven Architecture (MDA). Technical Report OMG Document ormsc\/2001-07-01, Object Management Group (2001)"},{"key":"16_CR17","unstructured":"OMG - Object Management Group. Unified Modeling Language Specification. V1.5 (2002)"},{"key":"16_CR18","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/978-94-017-2740-2_15","volume-title":"Practical foundations of business and system specifications","author":"J. Philipps","year":"2003","unstructured":"Philipps, J., Rumpe, B.: Refactoring of Programs and Specifications. In: Kilov, H., Baclawski, K. (eds.) Practical foundations of business and system specifications, pp. 281\u2013297. Kluwer Academic Publishers, Dordrecht (2003)"},{"key":"16_CR19","first-page":"697","volume-title":"Issues & Trends of Information Technology Management in Contemporary Associations, Seattle","author":"B. Rumpe","year":"2002","unstructured":"Rumpe, B.: Executable Modeling with UML. A Vision or a Nightmare? In: Issues & Trends of Information Technology Management in Contemporary Associations, Seattle, pp. 697\u2013701. Idea Group Publishing, Hershey (2002)"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Rumpe, B.: Agiles Modellieren mit der UML. Habilitation Thesis (2003) (to appear)","DOI":"10.1007\/978-3-642-18733-9"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Rumpe, B.: E-Business Experiences with Online Auctions. In: Mariga, J. (ed.) Managing ECommerce and Mobile Computing Technologies, Idea Group Inc. (2003)","DOI":"10.4018\/978-1-93177-746-9.ch009"},{"key":"16_CR22","unstructured":"Rumpe, B., Schr\u00f6der, A.: Quantitative Survey on Extreme Programming Projects. In: Third International Conference on Extreme Programming and Flexible Processes in Software Engineering, XP 2002, Alghero, Italy, May 26-30, pp. 95\u2013100 (2002)"},{"key":"16_CR23","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/s002870000110","volume":"8\/2000","author":"J. Siedersleben","year":"2000","unstructured":"Siedersleben, J., Denert, E.: Wie baut man Informationssysteme? \u00dcberlegungen zur Standardarchitektur. Informatik Spektrum\u00a08\/2000, 247\u2013257 (2000)","journal-title":"Informatik Spektrum"},{"key":"16_CR24","unstructured":"ISO\/IEC, Information Technology - Open Systems Interconnection - Conformance Testing Methodology and Framework - Part 3: The Tree and Tabular Combined Notation (TTCN), ISO\/IEC International Standard 9646 (1992)"},{"key":"16_CR25","volume-title":"The Object Constraint Language","author":"J. Warmer","year":"1998","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language. Addison-Wesley, Reading (1998)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39656-7_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T10:56:58Z","timestamp":1559213818000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39656-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540203032","9783540396567"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39656-7_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}