{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:49:27Z","timestamp":1742914167589,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642241741"},{"type":"electronic","value":"9783642241758"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-24175-8_11","type":"book-chapter","created":{"date-parts":[[2011,9,23]],"date-time":"2011-09-23T23:43:56Z","timestamp":1316821436000},"page":"145-158","source":"Crossref","is-referenced-by-count":4,"title":["Instance-Level Modeling and Simulation Using Lambda-Calculus and Object-Oriented Environments"],"prefix":"10.1007","author":[{"given":"Vojt\u011bch","family":"Merunka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8598-9","volume-title":"A Theory of Objects","author":"M. Abadi","year":"1996","unstructured":"Abadi, M., Cardelli, L.: A Theory of Objects. Springer, Heidelberg (1996); ISBN 0387947752"},{"key":"11_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511584077","volume-title":"The Object Primer., Agile Model Driven Development with UML 2","author":"S. Ambler","year":"2004","unstructured":"Ambler, S.: The Object Primer., Agile Model Driven Development with UML 2, 3rd edn. Cambridge University Press, Cambridge (2004); ISBN 0-521-54018-6","edition":"3"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Ambler, S.: Building Object Applications That Work, Your Step-By-Step Handbook for Developing Robust Systems Using Object Technology. Cambridge University Press\/SIGS Books (1997); ISBN 0521-64826-2","DOI":"10.1017\/CBO9780511584947"},{"key":"11_CR4","unstructured":"Ambler S.: Object Orientation \u2013 Bringing data proffesionals and application developers together, \n                  \n                    http:\/\/www.agiledata.org\/essays\/objectOrientation101.html"},{"key":"11_CR5","unstructured":"Barendregt, H., Barendsen, E.: Introduction to Lambda Calculus. Technical report, Department of Computer Science, Catholic University of Nijmegen (July 1991)"},{"key":"11_CR6","unstructured":"Barry, D.: The Object Database Handbook: How to Select, Implement and Use Object\u2013Oriented Databases (1997); ISBN 0471147184"},{"key":"11_CR7","volume-title":"Object\u2013Oriented Modeling and Design for Database Applications","author":"M. Blaha","year":"1996","unstructured":"Blaha, M., Premerlani, M.: Object\u2013Oriented Modeling and Design for Database Applications. Prentice-Hall, Englewood Cliffs (1996); ISBN 0-13-123829-9"},{"key":"11_CR8","unstructured":"BlueJ Project homepage, \n                  \n                    www.bluej.org"},{"key":"11_CR9","volume-title":"Foundations of Object-Oriented Languages: Types and Semantics","author":"K.B. Bruce","year":"2002","unstructured":"Bruce, K.B.: Foundations of Object-Oriented Languages: Types and Semantics. MIT Press, Cambridge (2002); ISBN: 978-0262025232"},{"key":"11_CR10","volume-title":"The Object Data Management Standard: ODMG 3.0","author":"R. Catell","year":"2000","unstructured":"Catell, R., et al.: The Object Data Management Standard: ODMG 3.0. Morgan Kaufmann, San Francisco (2000); ISBN 1-55860-647-5"},{"key":"11_CR11","unstructured":"Cincom Smalltalk, \n                  \n                    www.cincom.com\/visualworks"},{"key":"11_CR12","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1109\/IDEAS.2002.1029663","volume-title":"International Database Engineering and Applications Symposium 2002","author":"E. Viara","year":"2002","unstructured":"Viara, E., et al.: Distributing CORBA Views From an OODBMS. In: International Database Engineering and Applications Symposium 2002, Edmonton, pp. 116\u2013129. IEEE publications, Los Alamitos (2002)"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Fegaras, L., Maier, D.: Towards an Effective Calculus for Object Query Languages. In: SIGMOD 1995, pp. 47\u201358 (1995)","DOI":"10.1145\/568271.223789"},{"key":"11_CR14","unstructured":"Haworth, B., Kirsopp, C., Roper, M., Shepperd, M., Webster, S.: Towards the Development of Adequacy Criteria for Object\u2013Oriented Systems (1997)"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Di Gianantonio, P., et al.: A lambda calculus of objects with self-inflicted extension. ACM SIGPLAN Notices\u00a033(10) (October 1998)","DOI":"10.1145\/286942.286955"},{"key":"11_CR16","volume-title":"Management of the Object-oriented Development Process","author":"L. Liu","year":"2005","unstructured":"Liu, L., Roussev, B.: Management of the Object-oriented Development Process. Idea Group Publishing, USA (2005); ISBN 1591406048"},{"key":"11_CR17","unstructured":"Meyer B.: Towards an Object\u2013Oriented Curriculum, Object Currents, \n                  \n                    www.sigs.com\/publications\/docs\/oc\/9602\/oc9602.c.meyer.html"},{"key":"11_CR18","first-page":"495","volume-title":"International Spring Seminar on Electronics Technology, ISSE","author":"M. Molhanec","year":"2006","unstructured":"Molhanec, M.: STEP standard - Perspective and futurity. In: International Spring Seminar on Electronics Technology, ISSE, pp. 495\u2013499. IEEE, Los Alamitos (2006); ISBN 978-1-4244-0550-3"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Molhanec, M.: Towards an Agile Project Management in Product Design. In: 32th International Spring Seminar on Electronics Technology, ISSE, pp. 682\u2013685 (2009); ISBN 978-1-4244-4260-7","DOI":"10.1109\/ISSE.2009.5206948"},{"key":"11_CR20","unstructured":"MSDN: Object Test Bench, \n                  \n                    http:\/\/msdn.microsoft.com\/en-us\/library\/c3775d98%28VS.80%29.aspx"},{"key":"11_CR21","volume-title":"An Introduction to Functional Programming Through Lambda Calculus","author":"G. Michaelson","year":"1989","unstructured":"Michaelson, G.: An Introduction to Functional Programming Through Lambda Calculus. Addison-Wesley, Reading (1989); ISBN 0201178125"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Scanlan, D.: The structured flowchart niche: strenth of preference. In: ACM Annual Computer Science Conference, Atlanta (1988); ISBN 0-89791-260-8","DOI":"10.1145\/322609.323168"},{"key":"11_CR23","unstructured":"Self, \n                  \n                    http:\/\/selflanguage.org"},{"key":"11_CR24","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"590","DOI":"10.1007\/978-3-642-01347-8_49","volume-title":"Enterprise Information Systems","author":"Z. Struska","year":"2009","unstructured":"Struska, Z., Pergl, R.: BORM-points: Introduction and results of practical testing. In: Filipe, J., Cordeiro, J. (eds.) Enterprise Information Systems. LNBIP, vol.\u00a024, pp. 590\u2013599. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise and Organizational Modeling and Simulation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24175-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T18:58:26Z","timestamp":1558378706000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24175-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642241741","9783642241758"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24175-8_11","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2011]]}}}