{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T14:01:44Z","timestamp":1773324104589,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540411338","type":"print"},{"value":"9783540400110","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-40011-7_35","type":"book-chapter","created":{"date-parts":[[2007,11,5]],"date-time":"2007-11-05T02:00:22Z","timestamp":1194228022000},"page":"482-496","source":"Crossref","is-referenced-by-count":32,"title":["Precise Modeling of Design Patterns"],"prefix":"10.1007","author":[{"given":"Alain","family":"Le Guennec","sequence":"first","affiliation":[]},{"given":"Gerson","family":"Suny\u00e9","sequence":"additional","affiliation":[]},{"given":"Jean-Marc","family":"J\u00e9z\u00e9quel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,9,28]]},"reference":[{"key":"35_CR1","unstructured":"Grady Booch, James Rumbaugh, and Ivar Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1998. 483"},{"key":"35_CR2","unstructured":"Jan Bosch. Language support for design patterns. In TOOLS Europe\u201996, pages 197\u2013210. Prentice-Hall, 1996. 482"},{"key":"35_CR3","unstructured":"James O. Coplien. Software Patterns. SIGS Management Briefings. SIGS Books & Multimedia, 1996. 482"},{"key":"35_CR4","unstructured":"Dino Distefano, J.-P. Katoen, and Arend Rensink. On a temporal logic for objectbased systems. Technical report CTIT 00-06, University of Twente, 2000. 488"},{"key":"35_CR5","unstructured":"Amnom H. Eden. Precise Specification of Design Patterns and Tool Support in Their Application. PhD thesis, University of Tel Aviv, 1999. 484, 486, 486"},{"key":"35_CR6","unstructured":"Amnon H. Eden, Amiram Yehudai, and Joseph Gil. Patterns of the agenda. In LSDF97: Workshop in conjunction with ECOOP\u201997, 1997. 492"},{"key":"35_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"472","DOI":"10.1007\/BFb0053391","volume-title":"ECOOP\u201997","author":"G. Florijn","year":"1997","unstructured":"Gert Florijn, Marco Meijers, and Pieter van Winsen. Tool support for objectoriented patterns. In ECOOP\u201997, volume 1241 of LNCS, pages 472\u2013495. Springer-Verlag, Jyv\u00c4skyl\u00c4, Finland, June 1997. 482"},{"key":"35_CR8","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Professional Computing Series. Addison-Wesley, Reading, MA, 1995. 482, 483"},{"key":"35_CR9","unstructured":"Grel Hedin. Language support for design patterns using attribute extension. In Workshop on Language Support for Design Patterns and Object Oriented Frameworks (LSDF), ECOOP\u201997, pages 209\u2013231, 1997. 492"},{"key":"35_CR10","doi-asserted-by":"crossref","unstructured":"Tommi Mikkonen. Formalizing design patterns. In ICSE\u201998, pages 115\u2013124. IEEE CS Press, 1998. 492","DOI":"10.1109\/ICSE.1998.671108"},{"key":"35_CR11","doi-asserted-by":"crossref","unstructured":"Claudia Pons, Gabriel Baum, and Miguel Felder. Integrating object-oriented model with object-oriented metamodel into a single formalism. In Proceedings Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications), pages 155\u2013167. TUM-I9813, 1998. 492","DOI":"10.1007\/3-540-49255-0_39"},{"key":"35_CR12","unstructured":"Sita Ramakrishnan and John McGregor. Extending OCL to support temporal operators. In Proceedings of the 21st International Conference on Software Engineering (ICSE99) Workshop on Testing Distributed Component-Based Systems, LA, May 16-22, 1999, 1999. 488"},{"key":"35_CR13","unstructured":"Trygve Reenskaug. UML collaboration and OOram semantics, November 1999. http:\/\/www.ifi.uio.no\/~trygver\/documents\/991108-UML\/uml-collaboration.ps 495"},{"key":"35_CR14","unstructured":"UML RTF. OMG Unified Modeling Language Specification, Version 1.3, UML RTF proposed final revision. OMG, June 1999. 483, 486, 494, 495"},{"key":"35_CR15","first-page":"395","volume-title":"Pattern Languages of Program Design","author":"J. Soukup","year":"1995","unstructured":"Jiri Soukup. Implementing patterns. In Pattern Languages of Program Design, pages 395\u2013412. Addison-Wesley, Reading, MA, 1995. 482"},{"key":"35_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1007\/3-540-45102-1_3","volume-title":"Design pattern application in UML","author":"G. Suny\u00e9","year":"2000","unstructured":"G. Suny\u00e9, A. Le Guennec, and J.-M. J\u00e9z\u00e9quel. Design pattern application in UML. In E. Bertino, editor, ECOOP\u20192000 proceedings, number 1850, pages 44\u201362. Lecture Notes in Computer Science, Springer Verlag, June 2000. 484"}],"container-title":["Lecture Notes in Computer Science","\u226aUML\u226b 2000 \u2014 The Unified Modeling Language"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-40011-7_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T01:08:32Z","timestamp":1556932112000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-40011-7_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411338","9783540400110"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-40011-7_35","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2000]]}}}