{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,16]],"date-time":"2026-06-16T23:06:59Z","timestamp":1781651219617,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642114465","type":"print"},{"value":"9783642114472","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-11447-2_10","type":"book-chapter","created":{"date-parts":[[2010,1,8]],"date-time":"2010-01-08T09:47:12Z","timestamp":1262944032000},"page":"147-169","source":"Crossref","is-referenced-by-count":7,"title":["CoreASM Plug-In Architecture"],"prefix":"10.1007","author":[{"given":"Roozbeh","family":"Farahbod","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vincenzo","family":"Gervasi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Uwe","family":"Gl\u00e4sser","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"George","family":"Ma","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Farahbod, R., Gervasi, V., Gl\u00e4sser, U.: CoreASM: An Extensible ASM Execution Engine. Fundamenta Informaticae, 71\u2013103 (2007)"},{"key":"10_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines: A Method for High-Level System Design and Analysis","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)"},{"key":"10_CR3","unstructured":"Fowler, M.: The New Methodology (April 2003), http:\/\/martinfowler.com\/articles\/newMethodology.html"},{"key":"10_CR4","unstructured":"Farahbod, R., Gervasi, V., Gl\u00e4sser, U.: Design and Specification of the CoreASM Execution Engine, Part 1: the Kernel. Technical Report SFU-CMPT-TR-2006-09, Simon Fraser University (May 2006), http:\/\/www.coreasm.org"},{"key":"10_CR5","unstructured":"Farahbod, R., Gervasi, V., Gl\u00e4sser, U.: CoreASM: An extensible ASM execution engine. In: Proc. of the 12th Int\u2019l Workshop on Abstract State Machines (2005)"},{"key":"10_CR6","unstructured":"Farahbod, R., Gervasi, V., Gl\u00e4sser, U., Memon, M.: Design exploration and experimental validation of abstract requirements. In: Proceedings of the 12th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2006), Luxembourg, Grand-Duchy of Luxembourg, Essener Informatik Beitrage (June 2006)"},{"issue":"4","key":"10_CR7","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1145\/937555.937561","volume":"4","author":"A. Blass","year":"2003","unstructured":"Blass, A., Gurevich, Y.: Abstract State Machines Capture Parallel Algorithms. ACM Transactions on Computation Logic\u00a04(4), 578\u2013651 (2003)","journal-title":"ACM Transactions on Computation Logic"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44622-2_1","volume-title":"Computer Science Logic","author":"A. Blass","year":"2000","unstructured":"Blass, A., Gurevich, Y.: Background, Reserve, and Gandy Machines. In: Clote, P.G., Schwichtenberg, H. (eds.) CSL 2000. LNCS, vol.\u00a01862, pp. 1\u201317. Springer, Heidelberg (2000)"},{"key":"10_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59495-3","volume-title":"Java and the Java Virtual Machine: Definition, Verification, Validation","author":"R. St\u00e4rk","year":"2001","unstructured":"St\u00e4rk, R., Schmid, J., B\u00f6rger, E.: Java and the Java Virtual Machine: Definition, Verification, Validation. Springer, Heidelberg (2001)"},{"issue":"2\/3","key":"10_CR10","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/j.tcs.2004.11.008","volume":"336","author":"E. B\u00f6rger","year":"2005","unstructured":"B\u00f6rger, E., Fruja, N.G., Gervasi, V., St\u00e4rk, R.F.: A High-level Modular Definition of the Semantics of C#. Theoretical Computer Science\u00a0336(2\/3), 235\u2013284 (2005)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"10_CR11","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/1053331.1053345","volume":"3","author":"D. Birsan","year":"2005","unstructured":"Birsan, D.: On Plug-ins and Extensible Architectures. ACM Queue\u00a03(2), 40\u201346 (2005)","journal-title":"ACM Queue"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/3-540-36557-5_9","volume-title":"Objects, Components, Architectures, Services, and Applications for a Networked World","author":"J. Mayer","year":"2003","unstructured":"Mayer, J., Melzer, I., Schweiggert, F.: Lightweight plug-in-based application development. In: Aksit, M., Mezini, M., Unland, R. (eds.) NODe 2002. LNCS, vol.\u00a02591, pp. 87\u2013102. Springer, Heidelberg (2003)"},{"key":"10_CR13","unstructured":"Marquardt, K.: Patterns for plug-ins. In: Proceedings of the Fourth European Conference on Pattern Languages of Programming and Computing, EuroPLoP 1999 (1999)"},{"key":"10_CR14","unstructured":"V\u00f6lter, M.: Pluggable Components \u2014 A Pattern for Interactive System Configuration. In: Proceedings of the Fourth European Conference on Pattern Languages of Programming and Computing (EuroPLoP 1999) (1999)"},{"key":"10_CR15","unstructured":"Chatley, R., Eisenbach, S., Magee, J.: Modelling a Framework for Plugins. In: Proceedings of Specification and verification of component-based systems (September 2003)"},{"key":"10_CR16","unstructured":"Memon, M.A.: Specification language design concepts: Aggregation and extensibility in coreasm. Master\u2019s thesis, Simon Fraser University, Burnaby, Canada (April 2006)"},{"key":"10_CR17","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., et al.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)"},{"issue":"7","key":"10_CR18","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/987305.987310","volume":"10","author":"T.A. Standish","year":"1975","unstructured":"Standish, T.A.: Extensibility in programming language design. SIGPLAN Not.\u00a010(7), 18\u201321 (1975)","journal-title":"SIGPLAN Not."},{"key":"10_CR19","unstructured":"Formal Methods laboratory of University of Milan: Asmeta (2006), http:\/\/asmeta.sourceforge.net\/ (Last visited June 2008)"},{"key":"10_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/3-540-44518-8_6","volume-title":"Abstract State Machines - Theory and Applications","author":"M. Anlauff","year":"2000","unstructured":"Anlauff, M.: XASM \u2013 An Extensible, Component-Based Abstract State Machines Language. In: Gurevich, Y., Kutter, P., Odersky, M., Thiele, L. (eds.) ASM 2000. LNCS, vol.\u00a01912, pp. 69\u201390. Springer, Heidelberg (2000)"},{"key":"10_CR21","unstructured":"Microsoft FSE Group: The Abstract State Machine Language (2003), http:\/\/research.microsoft.com\/fse\/asml\/ (Last visited June 2008)"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"Schmidt, D.C.: Model-Driven Engineering. IEEE Computer 39 (February 2006)","DOI":"10.1109\/MC.2006.58"},{"key":"10_CR23","unstructured":"Microsoft Corp.: Microsoft .NET Framework (Last visited December 2006), http:\/\/www.microsoft.com\/net"},{"key":"10_CR24","series-title":"Lecture Notes in Computer Science","first-page":"170","volume-title":"B\u00f6rger Festschrift","author":"R. Farahbod","year":"2009","unstructured":"Farahbod, R., Gervasi, V.: JASMine: Accessing Java Code from CoreASM. In: Abrial, J.-R., Gl\u00e4sser, U. (eds.) B\u00f6rger Festschrift. LNCS, vol.\u00a05115, pp. 170\u2013186. Springer, Heidelberg (2009)"},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"Batory, D., Sarvela, J., Rauschmayer, A.: Scaling stepwise refinement (2003)","DOI":"10.1109\/ICSE.2003.1201199"},{"key":"10_CR26","unstructured":"Apel, S., Lengauer, C., Batory, D., M\u00f6ller, B., K\u00e4stner, C.: An algebra for feature-oriented software development. Number MIP-0706. University of Passau (2007)"}],"container-title":["Lecture Notes in Computer Science","Rigorous Methods for Software Construction and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11447-2_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:40:43Z","timestamp":1606167643000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11447-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642114465","9783642114472"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11447-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}