{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:08:21Z","timestamp":1725530901810},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642016479"},{"type":"electronic","value":"9783642016486"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01648-6_39","type":"book-chapter","created":{"date-parts":[[2009,4,27]],"date-time":"2009-04-27T11:50:52Z","timestamp":1240833052000},"page":"375-386","source":"Crossref","is-referenced-by-count":4,"title":["The UML Is More Than Boxes and Lines"],"prefix":"10.1007","author":[{"given":"Yvan","family":"Labiche","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"39_CR1","doi-asserted-by":"crossref","unstructured":"Berenbach, B.: The Evaluation of Large, Complex UML Analysis and Design Models. In: Proc. ACM International Conference on Software Engineering, pp. 232\u2013241 (2004)","DOI":"10.1109\/ICSE.2004.1317445"},{"issue":"12","key":"39_CR2","first-page":"999","volume":"31","author":"Y. Bontemps","year":"2005","unstructured":"Bontemps, Y., Heymans, P., Schobbens, P.Y.: From Live Sequence Charts to State Machines and Back: A guided Tour. TSE\u00a031(12), 999\u20131014 (2005)","journal-title":"TSE"},{"key":"39_CR3","volume-title":"Object-Oriented Software Engineering Using UML, Patterns, and Java","author":"B. Bruegge","year":"2004","unstructured":"Bruegge, B., Dutoit, A.H.: Object-Oriented Software Engineering Using UML, Patterns, and Java, 2nd edn. Prentice Hall, Englewood Cliffs (2004)","edition":"2"},{"key":"39_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/978-3-540-45070-2_21","volume-title":"ECOOP 2003 - Object-Oriented Programming","author":"R. Conradi","year":"2003","unstructured":"Conradi, R., Mohagheghi, P., Arif, T., Hegde, L.C., Bunde, G.A., Pedersen, A.: Object-Oriented Reading Techniques for Inspection of UML Models \u2013 An Industrial Experiment. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol.\u00a02743, pp. 483\u2013501. Springer, Heidelberg (2003)"},{"issue":"2","key":"39_CR5","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1002\/spe.4380220205","volume":"22","author":"E.P. Doolan","year":"1992","unstructured":"Doolan, E.P.: Experience with Fagan\u2019s inspection method. Software Practice and Experience\u00a022(2), 173\u2013182 (1992)","journal-title":"Software Practice and Experience"},{"issue":"3","key":"39_CR6","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1147\/sj.153.0182","volume":"15","author":"M.E. Fagan","year":"1976","unstructured":"Fagan, M.E.: Design and code inspections to reduce errors in program development. IBM Systems Journal\u00a015(3), 182\u2013211 (1976)","journal-title":"IBM Systems Journal"},{"key":"39_CR7","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":"39_CR8","doi-asserted-by":"crossref","unstructured":"Lano, K.: A Compositional Semantics of UML-RSDS Software and Systems Modeling (to appear)","DOI":"10.1007\/s10270-007-0064-x"},{"issue":"10","key":"39_CR9","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Design by Contracts. IEEE Computer\u00a025(10), 40\u201352 (1992)","journal-title":"IEEE Computer"},{"key":"39_CR10","unstructured":"OMG, OCL 2.0 Specification. Object Management Group, Final Adopted Specification ptc\/03-10-14 (2003)"},{"key":"39_CR11","unstructured":"OMG, UML 2.0 Superstructure Specification. Object Management Group, Final Adopted Specification ptc\/03-08-02 (2003)"},{"key":"39_CR12","volume-title":"UML Bible","author":"T. Pender","year":"2003","unstructured":"Pender, T.: UML Bible. Wiley, Chichester (2003)"},{"key":"39_CR13","doi-asserted-by":"crossref","unstructured":"Shepard, T., Kelly, D., Smith, R., Chisholm, R., Jackson, T., Mondoux, P.: Inspecting designs in the context of model-driven development. In: Proc. Conference of the Center for Advanced Studies on Collaborative Research (2006)","DOI":"10.1145\/1188966.1189002"},{"key":"39_CR14","unstructured":"Travassos, G.H., Shull, F., Carver, J.: A Family of Reading Techniques for OO Design Inspections. In: Proc. Brazilian Symposium on Software Engineering: Workshop on Software Quality (2000)"},{"key":"39_CR15","doi-asserted-by":"crossref","unstructured":"Ziadi, T., Helouet, L., Jezequel, J.M.: Revisiting Statechart Synthesis with an Algebraic Approach. In: Proc. ICSE 2004, pp. 242\u2013251 (2004)","DOI":"10.1109\/ICSE.2004.1317446"}],"container-title":["Lecture Notes in Computer Science","Models in Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01648-6_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,7]],"date-time":"2019-03-07T18:28:08Z","timestamp":1551983288000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01648-6_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642016479","9783642016486"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01648-6_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}