{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T17:50:55Z","timestamp":1743011455661,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540880295"},{"type":"electronic","value":"9783540880301"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-88030-1_12","type":"book-chapter","created":{"date-parts":[[2008,9,20]],"date-time":"2008-09-20T15:37:29Z","timestamp":1221925049000},"page":"148-163","source":"Crossref","is-referenced-by-count":5,"title":["Towards Interoperability in Component Based Development with a Family of DSLs"],"prefix":"10.1007","author":[{"given":"Ileana","family":"Ober","sequence":"first","affiliation":[]},{"given":"Ali","family":"Abou Dib","sequence":"additional","affiliation":[]},{"given":"Louis","family":"F\u00e9raud","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Percebois","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","volume-title":"ICTTA 2008 Proceedings of the 3rd IEEE International Conference on Information & Communication Technologies: From Theory to Applications","author":"A. Abou Dib","year":"2008","unstructured":"Abou Dib, A., F\u00e9raud, L., Ober, I., Percebois, C.: Towards a rigorous framework for dealing with domain specific language families. In: ICTTA 2008 Proceedings of the 3rd IEEE International Conference on Information & Communication Technologies: From Theory to Applications. IEEE Computer Press, Los Alamitos (in press, 2008)"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/3-540-46428-X_9","volume-title":"Fundamental Approaches to Software Engineering","author":"M. Anlauff","year":"2000","unstructured":"Anlauff, M., Kutter, P.W., Pierantonio, A., S\u00fcnb\u00fcl, A.: Using Domain-Specific Languages for the Realization of Component Composition. In: Maibaum, T.S.E. (ed.) FASE 2000. LNCS, vol.\u00a01783, pp. 112\u2013126. Springer, Heidelberg (2000)"},{"unstructured":"Batory, D., Lofaso, B., Smaragdakis, Y.: JTS: Tools for Implementing Domain-Specific Languages. In: Proceedings of the 5th International Conference on Software Reuse, June 02-05, p. 143 (1998)","key":"12_CR3"},{"issue":"2","key":"12_CR4","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/j.entcs.2006.10.009","volume":"164","author":"D. Ordonez Camacho","year":"2006","unstructured":"Ordonez Camacho, D., Mens, K., van den Brand, M., Vinju, J.J.: Automated Derivation of Translators From Annotated Grammars. Electr. Notes Theor. Comput. Sci.\u00a0164(2), 121\u2013137 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"12_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/11561347_4","volume-title":"Generative Programming and Component Engineering","author":"C. Consel","year":"2005","unstructured":"Consel, C., Latry, F., R\u00e9veillillere, L., Cointe, P.: A generative programming approach to developing DSL compilers. In: Gl\u00fcck, R., Lowry, M. (eds.) GPCE 2005. LNCS, vol.\u00a03676, pp. 29\u201346. Springer, Heidelberg (2005)"},{"unstructured":"ECSS-E-70-31A - Space Engineering Standard - Ground Systems and Operations - Monitoring and Control Data Definition standard","key":"12_CR6"},{"key":"12_CR7","volume-title":"Categories for Software Engineering","author":"J.L. Fiadero","year":"2005","unstructured":"Fiadero, J.L.: Categories for Software Engineering. Springer, Heidelberg (2005)"},{"unstructured":"Goguen, J.A., Burstall, R.M.: Introducing Institutions: Abstract model theory for specification and programming. Research Report ECS-LFCS-90-106, University of Edinburgh (1990)","key":"12_CR8"},{"unstructured":"Hoare, C.A.R., Misra, J.: Vision of a Grand Challenge project, Verified Software: Theories, Tools, Experiments (VSTTE). In: IFIP 2005, ETH (July 2005)","key":"12_CR9"},{"unstructured":"Hongge, G., Weyman, J.: An Approach to Automation of Fusion Using Specware. In: Proceedings of the Second International Conference on Information Fusion, pp. 109\u2013116 (1999)","key":"12_CR10"},{"unstructured":"Jouault, F., B\u00e9zivin, J., Consel, C., Kurtev, I., Latry, F.: Building DSLs with AMMA\/ATL, a Case Study on SPL and CPL Telephony Languages. In: ECOOP Workshop on Domain-Specific Program Development (DSPD) (2006)","key":"12_CR11"},{"unstructured":"Kestrel. Specware documentation, \n                      http:\/\/www.specware.org\/doc.html","key":"12_CR12"},{"doi-asserted-by":"crossref","unstructured":"Kurtev, I., B\u00e9zivin, J., Jouault, F., Valduriez, P.: Model-based DSL frameworks. OOPSLA Companion, pp. 602\u2013616 (2006)","key":"12_CR13","DOI":"10.1145\/1176617.1176632"},{"unstructured":"Lapets, A.: Algebraic Semantics of Domain-Specific Languages Thesis, Harvard (2006)","key":"12_CR14"},{"issue":"4","key":"12_CR15","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1145\/1118890.1118892","volume":"37","author":"M. Mernik","year":"2005","unstructured":"Mernik, M., Heering, J., Sloane, A.M.: When and how to develop domain-specific languages. ACM Comput. Surv.\u00a037(4), 316\u2013344 (2005)","journal-title":"ACM Comput. Surv."},{"key":"12_CR16","series-title":"Lecture Notes in Computer Science","volume-title":"Isabelle\/HOL","year":"2002","unstructured":"Nipkow, T., Paulson, L.C., Wenzel, M.T. (eds.): Isabelle\/HOL. LNCS, vol.\u00a02283. Springer, Heidelberg (2002)"},{"unstructured":"Oriat, C.: \u00c9tude des sp\u00e9cifications modulaires: constructions de colimites finies, diagrammes, isomorphismes. PhD thesis (in French), INPG, Grenoble (1996)","key":"12_CR17"},{"key":"12_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/978-3-540-40007-3_17","volume-title":"Formal Methods at the Crossroads. From Panacea to Foundational Support","author":"D. Pavlovic","year":"2003","unstructured":"Pavlovic, D., Smith, D.R.: Software Development by Refinement. In: Aichernig, B.K., Maibaum, T.S.E. (eds.) Formal Methods at the Crossroads. From Panacea to Foundational Support. LNCS, vol.\u00a02757, pp. 267\u2013286. Springer, Heidelberg (2003)"},{"issue":"4","key":"12_CR19","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/MS.2004.23","volume":"21","author":"S. Rugaber","year":"2004","unstructured":"Rugaber, S., Stirewalt, K.: Model Driven Reverse Engineering. IEEE Software\u00a021(4), 45\u201353 (2004)","journal-title":"IEEE Software"},{"key":"12_CR20","first-page":"13","volume-title":"Software Architectures - Advances and Applications","author":"J.-G. Schneider","year":"1999","unstructured":"Schneider, J.-G., Nierstrasz, O.: Components, scripts and glue. In: Software Architectures - Advances and Applications, pp. 13\u201325. Springer, Heidelberg (1999)"},{"key":"12_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/11780274_17","volume-title":"Algebra, Meaning, and Computation","author":"D. Smith","year":"2006","unstructured":"Smith, D.: Composition by Colimit and Formal Software Development. In: Futatsugi, K., Jouannaud, J.-P., Meseguer, J. (eds.) Algebra, Meaning, and Computation. LNCS, vol.\u00a04060, pp. 317\u2013332. Springer, Heidelberg (2006)"},{"issue":"3-4","key":"12_CR22","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/j.jvlc.2004.01.006","volume":"15","author":"J. Sprinkle","year":"2004","unstructured":"Sprinkle, J., Karsai, G.: A domain-specific visual language for domain model evolution. Journal of Visual Languages & Computing\u00a015(3-4), 291\u2013307 (2004)","journal-title":"Journal of Visual Languages & Computing"},{"issue":"1","key":"12_CR23","first-page":"7","volume":"8","author":"K. Williamson","year":"2001","unstructured":"Williamson, K., Healy, M., Barker, R.: Industrial Applications of Software Synthesis via Category Theory\u2014Case Studies Using Specware. ASE Journal\u00a08(1), 7\u201330 (2001)","journal-title":"ASE Journal"},{"key":"12_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/BFb0014423","volume-title":"Recent Trends in Data Type Specification","author":"M. Wirsing","year":"1995","unstructured":"Wirsing, M.: Algebraic specification languages: An overview. In: Reggio, G., Astesiano, E., Tarlecki, A. (eds.) Abstract Data Types 1994 and COMPASS 1994. LNCS, vol.\u00a0906, pp. 81\u2013115. Springer, Heidelberg (1995)"}],"container-title":["Lecture Notes in Computer Science","Software Architecture"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88030-1_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,2]],"date-time":"2024-05-02T03:36:36Z","timestamp":1714620996000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-88030-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540880295","9783540880301"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88030-1_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}