{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T05:04:12Z","timestamp":1740287052462,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540213666"},{"type":"electronic","value":"9783540399933"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-39993-3_13","type":"book-chapter","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T18:30:36Z","timestamp":1277231436000},"page":"236-271","source":"Crossref","is-referenced-by-count":4,"title":["The Power of Abstraction, Reuse, and Simplicity: An Object-Oriented Library for Event-Driven Design"],"prefix":"10.1007","author":[{"given":"Bertrand","family":"Meyer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Arnout, K.: Contracts and Tests, research plan at se.inf.ethz.ch\/people\/arnout\/phd_research_plan.pdf (consulted June 2003)"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-540-45213-3_22","volume-title":"Modular Programming Languages","author":"V. Arslan","year":"2003","unstructured":"Arslan, V., Nienaltowski, P., Arnout, K.: Event library: an objectoriented library for event-driven design. In: B\u00f6sz\u00f6rm\u00e9nyi, L., Schojer, P. (eds.) JMLC 2003. LNCS, vol.\u00a02789, pp. 174\u2013183. Springer, Heidelberg (2003)"},{"key":"13_CR3","volume-title":"How to Write Parallel Programs","author":"N. Carriero","year":"1990","unstructured":"Carriero, N., Gelernter, D.: How to Write Parallel Programs. MIT Press, Cambridge (1990), lindaspaces.com\/downloads\/lindamanual.pdf (consulted June 2003)"},{"key":"13_CR4","unstructured":"Dubois, P., Howard, M., Meyer, B., Schweitzer, M., Stapf, E.: From Calls to Agents. Journal of Object-Oriented Programming\u00a06(12) (September 1999)"},{"key":"13_CR5","unstructured":"Eiffel Software: Online EiffelVision2 documentation at docs.eiffel.com\/libraries\/vision2\/ (consulted June 2003)"},{"key":"13_CR6","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E.G. Helm","year":"1995","unstructured":"Helm, E.G., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)"},{"key":"13_CR7","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)"},{"key":"13_CR8","volume-title":"Design Patterns and Contracts","author":"J.-M. J\u00e9z\u00e9quel","year":"1999","unstructured":"J\u00e9z\u00e9quel, J.-M., Train, M., Mingins, C.: Design Patterns and Contracts. Addison-Wesley, Reading (1999)"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Meyer, B.: Genericity versus Inheritance. In: Meyrowitz, N.K. (ed.) Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 1986), Proceedings. SIGPLAN Notices 21(11), Portland, Oregon, pp. 391\u2013405 (1986); Updated version in appendix B of [10]","DOI":"10.1145\/28697.28738"},{"key":"13_CR10","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice Hall, Englewood Cliffs (1997)","edition":"2"},{"key":"13_CR11","unstructured":"Meyer, B.: Agent chapter in Eiffel: The Language, 3rd edition (in preparation) chapter text online at http:\/\/www.inf.ethz.ch\/personal\/meyer\/publications\/ (consulted June 2003)"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Meyer, B.: A Really Good Idea (final installment of Object Technology column). IEEE Computer\u00a032(12), 144\u2013147 (1999), Also online at http:\/\/www.inf.ethz.ch\/personal\/meyer\/publications\/ (consulted June 2003)","DOI":"10.1109\/2.809257"},{"issue":"4","key":"13_CR13","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1109\/MC.2002.993776","volume":"35","author":"B. Meyer","year":"2002","unstructured":"Meyer, B.: Assessing a C++ Text (review of Programming C# by Jesse Liberty). IEEE Computer\u00a035(4), 86\u201388 (2002); Also online at http:\/\/www.inf.ethz.ch\/personal\/meyer\/publications\/ (consulted June 2003)","journal-title":"IEEE Computer"},{"key":"13_CR14","unstructured":"Meyer, B.: Multi-Language Programming; How .NET Does It, published in three parts in Software Development Magazine, \u201cBeyond Objects\u201d column (May-July 2002), Also online at http:\/\/www.inf.ethz.ch\/personal\/meyer\/publications\/ (consulted June 2003)"},{"key":"13_CR15","volume-title":"Instant .NET","author":"B. Meyer","year":"2004","unstructured":"Meyer, B., Simon, R., Stapf, E.: Instant .NET. Prentice Hall, Englewood Cliffs (2004)"},{"key":"13_CR16","unstructured":".NET Framework Class Library: Delegate Class, part of Microsoft .NET documentation included with the .NET framework, also online at msdn.microsoft.com\/library\/default.asp?url=\/library\/en-us\/cpref\/html\/frlrfSystemDelegateClassTopic.asp (consulted June 2003)"},{"key":"13_CR17","unstructured":"Visual Basic Language Reference: Delegate Statement, part of Microsoft .NET documentation included with the .NET framework, also online at msdn.microsoft.com\/library\/default.asp?url=\/library\/en-us\/vblr7\/html\/vastmDelegate.asp (consulted June 2003)"},{"key":"13_CR18","unstructured":"Petitpierre, C.: A Design Pattern for Interactive Applications, \u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne (2002)"},{"key":"13_CR19","unstructured":"Sun Microsystems: About Microsoft\u2019s \u201cDelegates\u201d (1997); white paper online at http:\/\/java.sun.com\/docs\/white\/delegates.html (consulted June 2003)"}],"container-title":["Lecture Notes in Computer Science","From Object-Orientation to Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39993-3_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T04:44:34Z","timestamp":1740199474000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39993-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540213666","9783540399933"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39993-3_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}