{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T04:15:29Z","timestamp":1748751329513,"version":"3.41.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662491911"},{"type":"electronic","value":"9783662491928"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-662-49192-8_4","type":"book-chapter","created":{"date-parts":[[2016,1,7]],"date-time":"2016-01-07T15:47:27Z","timestamp":1452181647000},"page":"43-50","source":"Crossref","is-referenced-by-count":0,"title":["From ESSENCE to Theory Oriented Software Engineering"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"Holtappels","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Striewe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Goedicke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,1,8]]},"reference":[{"key":"4_CR1","unstructured":"Software Engineering Metamodel for Development Methodologies (ISO\/IEC 24744)"},{"key":"4_CR2","unstructured":"Omg Meta Object Facility (April 2014)"},{"key":"4_CR3","unstructured":"Essence - Kernel and Language for Software Engineering Methods (September 2015)"},{"key":"4_CR4","first-page":"105","volume-title":"Application of Graph Transformation to Visual Languages","author":"R Bardohl","year":"1999","unstructured":"Bardohl, R., Taentzer, G., Minas, M., Sch\u00fcrr, A.: Application of Graph Transformation to Visual Languages, pp. 105\u2013180. World Scientific, London (1999)"},{"key":"4_CR5","doi-asserted-by":"crossref","first-page":"402","DOI":"10.1007\/3-540-45832-8_30","volume-title":"Graph Transformation","author":"Luciano Baresi","year":"2002","unstructured":"Baresi, L., Heckel, R.: Tutorial introduction to graph transformation: A software engineering perspective. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, pp. 402\u2013429. Springer, Heidelberg (2002)"},{"issue":"3","key":"4_CR6","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1002\/(SICI)1097-024X(199903)29:3<197::AID-SPE228>3.0.CO;2-F","volume":"29","author":"D Blostein","year":"1999","unstructured":"Blostein, D., Sch\u00fcrr, A.: Computing with graphs and graph transformations. Softw.-Pract. Experience 29(3), 197\u2013217 (1999)","journal-title":"Softw.-Pract. Experience"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Bottoni, P., Taentzer, G., Sch\u00fcrr, A.: Efficient parsing of visual languages based on critical pair analysis and contextual layered graph transformation. In: 2000 IEEE International Symposium on Visual Languages (VL 2000), pp. 59\u201360 (2000)","DOI":"10.1109\/VL.2000.874351"},{"key":"4_CR8","first-page":"163","volume-title":"Algebraic Approaches to Graph Transformation. Part I: Basic Concepts and Double Pushout Approach","author":"A Corradini","year":"1997","unstructured":"Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., L\u00f6we, M.: Algebraic Approaches to Graph Transformation. Part I: Basic Concepts and Double Pushout Approach, pp. 163\u2013245. World Scientific, London (1997)"},{"key":"4_CR9","unstructured":"Ehrig, H., L\u00f6we, M.: Compugraph. Computing by graph transformation. Final report. Technical report, ESPRIT Basic Research Working Group No. 3299, Berlin (1992)"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Elvester, B., Benguria, G., Ilieva, S.: A comparison of the essence 1.0 and SPEM 2.0 specifications for software engineering methods. In: Proceedings of the Third Workshop on Process-Based Approaches for Model-Driven Engineering (PMDE 2013)","DOI":"10.1145\/2489833.2489835"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/3-540-40011-7_23","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"G Engels","year":"2000","unstructured":"Engels, G., Hausmann, J.H., Heckel, R., Sauer, S.: Dynamic meta modeling: a graphical approach to the operational semantics of behavioral diagrams in uml. In: Evans, A., Caskurlu, B., Selic, B. (eds.) UML 2000. LNCS, vol. 1939, pp. 323\u2013337. Springer, Heidelberg (2000)"},{"key":"4_CR12","unstructured":"Henderson-Sellers, B., Gonzalez-Perez, C.: The rationale of powertype-based metamodelling to underpin software development methodologies. In: Proceedings of the 2nd Asia-Pacific Conference on Conceptual Modelling - vol. 43, APCCM 2005, pp. 7\u201316 (2005)"},{"key":"4_CR13","unstructured":"Holtappels, S.: Eine formale Beschreibung der dynamischen Semantik von ESSENCE. Master\u2019s thesis, Universit\u00e4t Duisburg-Essen (2014)"},{"key":"4_CR14","volume-title":"The Essence of Software Engineering: Applying the SEMAT Kernel","author":"I Jacobson","year":"2013","unstructured":"Jacobson, I., Ng, P.-W., McMahon, P.E., Spence, I., Lidman, S.: The Essence of Software Engineering: Applying the SEMAT Kernel. Addison-Wesley Professional, Reading (2013)"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/3-540-45441-1_19","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"S Kuske","year":"2001","unstructured":"Kuske, S.: A formal semantics of UML state machines based on structured graph transformation. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 241\u2013256. Springer, Heidelberg (2001)"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/3-540-61228-9_82","volume-title":"Graph Grammars and Their Application to Computer Science","author":"A Maggiolo-Schettini","year":"1996","unstructured":"Maggiolo-Schettini, A., Peron, A.: A graph rewriting framework for Statecharts semantics. In: Cuny, J., Ehrig, H., Engels, G., Rozenberg, G. (eds.) Graph Grammars and Their Application to Computer Science. LNCS, vol. 1073, pp. 107\u2013121. Springer, Heidelberg (1996)"},{"key":"4_CR17","unstructured":"Schwaber, K., Sutherland, J.: The scrum guide. the definitive guide to scrum: the rules of the game (2013)"},{"key":"4_CR18","unstructured":"Software and Systems Process Engineering Metamodel Specification (SPEM) Version 2.0, Document formal\/2008-04-01 (April 2008). http:\/\/www.omg.org\/spec\/SPEM\/2.0\/"},{"issue":"3","key":"4_CR19","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/j.jvlc.2012.10.003","volume":"24","author":"G Toffetti","year":"2013","unstructured":"Toffetti, G., Pezz\u00e8, M.: Graph transformations and software engineering: success stories and lost chances. J. Vis. Lang. Comput. 24(3), 207\u2013217 (2013)","journal-title":"J. Vis. Lang. Comput."}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2016: Theory and Practice of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49192-8_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T02:19:17Z","timestamp":1748744357000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49192-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662491911","9783662491928"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49192-8_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}