{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:51:25Z","timestamp":1725565885349},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540231356"},{"type":"electronic","value":"9783540278634"}],"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-27863-4_31","type":"book-chapter","created":{"date-parts":[[2010,9,16]],"date-time":"2010-09-16T12:51:50Z","timestamp":1284641510000},"page":"582-601","source":"Crossref","is-referenced-by-count":3,"title":["On the Integration of Modular Heterogeneous Specifications"],"prefix":"10.1007","author":[{"given":"Fernando","family":"Orejas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elvira","family":"Pino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"31_CR1","series-title":"IFIP State-of-the-art Reports","volume-title":"Algebraic Foundations for System Specification","year":"1999","unstructured":"Astesiano, E., Kreoski, H.-J., Krieg Brueckner, B. (eds.): Algebraic Foundations for System Specification. IFIP State-of-the-art Reports. Springer, Heidelberg (1999)"},{"key":"31_CR2","doi-asserted-by":"crossref","unstructured":"Bidoit, M., Cengarle, M.V., Hennicker, R.: ch. 11: Proof Systems for Structured Specification and Their Refinement. In: [1] (1999)","DOI":"10.1007\/978-3-642-59851-7_11"},{"key":"31_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"602","DOI":"10.1007\/978-3-540-27863-4_32","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"B. Braatz","year":"2004","unstructured":"Braatz, B., Klein, M., Schroeter, G.: Semantical Integration of Object-OrientedViewpoint Specification Methods. In: Ehrig, H., Damm, W., Desel, J., Gro\u00dfe-Rhode, M., Reif, W., Schnieder, E., Westk\u00e4mper, E. (eds.) INT 2004. LNCS, vol.\u00a03147, pp. 602\u2013626. Springer, Heidelberg (2004)"},{"key":"31_CR4","volume-title":"The Unified Modeling Language User Guide","author":"G. Booch","year":"1998","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1998)"},{"key":"31_CR5","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/S0304-3975(96)00160-0","volume":"173","author":"M. Cerioli","year":"1997","unstructured":"Cerioli, M., Meseguer, J.: I borrow your logic? Theoretical Computer Science\u00a0173, 311\u2013347 (1997)","journal-title":"Theoretical Computer Science"},{"key":"31_CR6","unstructured":"Diaconescu, R., Goguen, J.A., Stefaneas, P.: Logical support for modularisation. Report Prog. Res. Group, Oxford University (1991)"},{"key":"31_CR7","series-title":"EATCS Monographs on Theor. Comp. Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61284-8","volume-title":"Fundamentals of Algebraic Specification 2: Module Specifications and Constraints","author":"H. Ehrig","year":"1990","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 2: Module Specifications and Constraints. EATCS Monographs on Theor. Comp. Science, vol.\u00a021. Springer, Berlin (1990)"},{"key":"31_CR8","first-page":"90","volume":"65","author":"H. Ehrig","year":"1998","unstructured":"Ehrig, H., Orejas, F.: Integration Paradigm for Data Type and Process Specification Techniques. Bulletin of the EATCS\u00a065, 90\u201397 (1998)","journal-title":"Bulletin of the EATCS"},{"key":"31_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/3-540-45923-5_3","volume-title":"Fundamental Approaches to Software Engineering","author":"H. Ehrig","year":"2002","unstructured":"Ehrig, H., Orejas, F., Braatz, B., Klein, M., Piirainen, M.: A Generic Component Framework for System Modeling. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol.\u00a02306, pp. 33\u201348. Springer, Heidelberg (2002)"},{"key":"31_CR10","doi-asserted-by":"crossref","unstructured":"Gaifman, H., Shapiro, E.: Fully abstract compositional semantics for logics programs. In: Proc. Sixteenth Annual ACM Symp. on Principles of Programming Languages, pp. 134\u2013142 (1989)","DOI":"10.1145\/75277.75289"},{"issue":"1","key":"31_CR11","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J.A. Goguen","year":"1992","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: Abstract model theory for specification and programming. Journal of the ACM\u00a039(1), 95\u2013146 (1992)","journal-title":"Journal of the ACM"},{"key":"31_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/3-540-48224-5_4","volume-title":"Automata, Languages and Programming","author":"M. Gro\u00dfe-Rhode","year":"2001","unstructured":"Gro\u00dfe-Rhode, M.: Integrating Semantics for Object-Oriented System Models. In: Orejas, F., Spirakis, P.G., van Leeuwen, J. (eds.) ICALP 2001. LNCS, vol.\u00a02076, pp. 238\u2013255. Springer, Heidelberg (2001)"},{"key":"31_CR13","unstructured":"M. Gro\u00dfe-Rhode. Semantic integration of heterogeneous formal specifications via transformation systems. Habilitation Thesis. TU Berlin (2001)"},{"key":"31_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-09853-0","volume-title":"Semantic integration of heterogeneous software specifications","author":"M. Gro\u00dfe-Rhode","year":"2004","unstructured":"Gro\u00dfe-Rhode, M.: Semantic integration of heterogeneous software specifications. Springer, Heidelberg (2004)"},{"key":"31_CR15","unstructured":"Information processing systems - Open Systems Interconnection - LOTOS - A formal description technique based on the temporal ordering of observational behaviour. International Standard ISO 8807, ISO (1989)"},{"key":"31_CR16","first-page":"279","volume-title":"Logic Colloq. 1987","author":"J. Meseguer","year":"1998","unstructured":"Meseguer, J.: General logic. In: Ebbinghaus, H.-D., et al. (eds.) Logic Colloq. 1987, pp. 279\u2013329. North Holland, Amsterdam (1998)"},{"issue":"1","key":"31_CR17","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditioned Rewriting Logic as a United Model of Concurrency. Theor. Comput. Sci.\u00a096(1), 73\u2013155 (1992)","journal-title":"Theor. Comput. Sci."},{"key":"31_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/3-540-45931-6_23","volume-title":"Foundations of Software Science and Computation Structures","author":"T. Mossakowski","year":"2002","unstructured":"Mossakowski, T.: Heterogeneous Development Graphs and Heterogeneous Borrowing. In: Nielsen, M., Engberg, U. (eds.) FOSSACS 2002. LNCS, vol.\u00a02303, pp. 326\u2013341. Springer, Heidelberg (2002)"},{"key":"31_CR19","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/0304-3975(94)00207-Y","volume":"140","author":"M. Navarro","year":"1995","unstructured":"Navarro, M., Orejas, F., Sanchez, A.: On the correctness of modular systems. Theoretical Computer Science\u00a0140, 139\u2013177 (1995)","journal-title":"Theoretical Computer Science"},{"key":"31_CR20","doi-asserted-by":"crossref","unstructured":"Orejas, F.: Chapter 6: Structuring and Modularity. In: [1] (1999)","DOI":"10.1007\/978-3-642-59851-7_6"},{"key":"31_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/978-3-540-44616-3_16","volume-title":"Recent Trends in Algebraic Development Techniques","author":"F. Orejas","year":"2000","unstructured":"Orejas, F., Pino, E.: A general algebraic framework for studying modular systems. In: Bert, D., Choppy, C., Mosses, P.D. (eds.) WADT 1999. LNCS, vol.\u00a01827, pp. 271\u2013290. Springer, Heidelberg (2000)"},{"key":"31_CR22","unstructured":"Orejas, F., Pino, E.: Heterogeneous Modular Systems. In: Proc. IDPT 2002, Pasadena (2002)"},{"key":"31_CR23","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1016\/S0304-3975(96)00164-8","volume":"173","author":"F. Orejas","year":"1997","unstructured":"Orejas, F., Pino, E., Ehrig, H.: Institutions for logic programming. Theoretical Computer Science\u00a0173, 485\u2013511 (1997)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"31_CR24","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/343369.343370","volume":"1","author":"L.C. Paulson","year":"2000","unstructured":"Paulson, L.C.: Mechanizing UNITY in Isabelle. ACM Trans. Comput. Log.\u00a01(1), 3\u201332 (2000)","journal-title":"ACM Trans. Comput. Log."},{"key":"31_CR25","unstructured":"Pino, E.: An Algebraic Study of Modularity in Logic Programming. PhD thesis, Dept. de Llenguatges i Sistemes Inform\u00e0tics. Universitat Polit\u00e8cnica de Catalunya (1999), \n                    \n                      http:\/\/www.upc.lsi.es\/~pino"},{"key":"31_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1007\/BFb0022528","volume-title":"Proc. Mathematical Foundations of Computer Science 1980","author":"H. Reichel","year":"1980","unstructured":"Reichel, H.: Initiallity restricting algebraic theories. In: Proc. Mathematical Foundations of Computer Science 1980. LNCS, vol.\u00a088, pp. 504\u2013514. Springer, Heidelberg (1980)"},{"key":"31_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/3-540-50940-2_48","volume-title":"TAPSOFT \u201989. Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989","author":"D.T. Sannella","year":"1989","unstructured":"Sannella, D.T., Tarlecki, A.: Toward formal development of ml programs: Foundations and methodology. In: D\u00edaz, J., Orejas, F. (eds.) TAPSOFT 1989 and CCIPL 1989. LNCS, vol.\u00a0352, pp. 375\u2013389. Springer, Heidelberg (1989)"},{"key":"31_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"478","DOI":"10.1007\/3-540-61629-2_59","volume-title":"Recent Trends in Data Type Specification","author":"A. Tarlecki","year":"1996","unstructured":"Tarlecki, A.: Moving between logical systems. In: Haveraaen, M., Dahl, O.-J., Owe, O. (eds.) Abstract Data Types 1995 and COMPASS 1995. LNCS, vol.\u00a01130, pp. 478\u2013502. Springer, Heidelberg (1996)"},{"key":"31_CR29","series-title":"Applied Logic Series","volume-title":"Proc. Workshop on Frontiers of Combining Systems FroCoS 1998","author":"A. Tarlecki","year":"1998","unstructured":"Tarlecki, A.: Towards heterogeneous specifications. In: Proc. Workshop on Frontiers of Combining Systems FroCoS 1998. Applied Logic Series, Kluwer Academic Publishers, Dordrecht (1998)"}],"container-title":["Lecture Notes in Computer Science","Integration of Software Specification Techniques for Applications in Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27863-4_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T18:37:27Z","timestamp":1558291047000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27863-4_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540231356","9783540278634"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27863-4_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}