{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:32:41Z","timestamp":1725568361408},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642171710"},{"type":"electronic","value":"9783642171727"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-17172-7_4","type":"book-chapter","created":{"date-parts":[[2010,11,2]],"date-time":"2010-11-02T13:17:15Z","timestamp":1288703835000},"page":"54-80","source":"Crossref","is-referenced-by-count":2,"title":["Change Management for Heterogeneous Development Graphs"],"prefix":"10.1007","author":[{"given":"Serge","family":"Autexier","sequence":"first","affiliation":[]},{"given":"Dieter","family":"Hutter","sequence":"additional","affiliation":[]},{"given":"Till","family":"Mossakowski","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Autexier, S., Hutter, D.: Maintenance of formal software developments by stratified verification. In: Baaz, M., Voronkov, A. (eds.) LPAR 2002. LNCS (LNAI), vol.\u00a02514. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-36078-6_3"},{"key":"4_CR2","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Mechanizing Mathematical Reasoning","author":"S. Autexier","year":"2005","unstructured":"Autexier, S., Hutter, D.: Mind the gap - maintaining formal developments in MAYA. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning. LNCS (LNAI), vol.\u00a02605. Springer, Heidelberg (2005)"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Autexier, S., M\u00fcller, N.: Semantics-based change impact analysis for heterogeneous collections of documents. In: Gormish, M., Ingold, R. (eds.) Proceedings of 10th ACM Symposium on Document Engineering (DocEng2010), Manchester, UK (september 2010)","DOI":"10.1145\/1860559.1860580"},{"key":"4_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/11812289_4","volume-title":"Mathematical Knowledge Management","author":"C. Ballarin","year":"2006","unstructured":"Ballarin, C.: Interpretation of locales in isabelle: Theories and proof contexts. In: Borwein, J.M., Farmer, W.M. (eds.) MKM 2006. LNCS (LNAI), vol.\u00a04108, pp. 31\u201343. Springer, Heidelberg (2006)"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","first-page":"88","volume-title":"Recent Trends in Algebraic Development Techniques","author":"M. Codescu","year":"1998","unstructured":"Codescu, M.: Generalized theoroidal institution comorphisms. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol.\u00a01376, pp. 88\u2013101. Springer, Heidelberg (1998)"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/s001650200013","volume":"13","author":"J. Goguen","year":"2002","unstructured":"Goguen, J., Ro\u015fu, G.: Institution morphisms. Formal Aspects of Computing\u00a013, 274\u2013307 (2002) (10.1007\/s001650200013)","journal-title":"Formal Aspects of Computing"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/3-540-12896-4_366","volume-title":"Logics of Programs","year":"1984","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery\u00a039, 95\u2013146 (1992); Predecessor in: Clarke, E., Kozen, D. (eds.): Logic of Programs 1983. LNCS, vol.\u00a0164, pp. 221\u2013256. Springer, Heidelberg (1984)"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-540-39993-3_7","volume-title":"From Object-Orientation to Formal Methods","author":"J.A. Goguen","year":"2004","unstructured":"Goguen, J.A., Rosu, G.: Composing hidden information modules over inclusive institutions. In: Owe, O., Krogdahl, S., Lyche, T. (eds.) From Object-Orientation to Formal Methods. LNCS, vol.\u00a02635, pp. 96\u2013123. Springer, Heidelberg (2004)"},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1109\/ASE.2000.873647","volume-title":"Proceedings 15th IEEE International Conference on Automated Software Engineering, ASE 2000","author":"D. Hutter","year":"2000","unstructured":"Hutter, D.: Management of change in verification systems. In: Proceedings 15th IEEE International Conference on Automated Software Engineering, ASE 2000, pp. 23\u201334. IEEE Computer Society Press, Los Alamitos (2000)"},{"key":"4_CR10","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"OMDoc \u2013 An Open Markup Format for Mathematical Documents [version 1.2]","year":"2006","unstructured":"Kohlhase, M. (ed.): OMDoc \u2013 An Open Markup Format for Mathematical Documents [version 1.2]. LNCS (LNAI), vol.\u00a04180. Springer, Heidelberg (2006)"},{"key":"4_CR11","first-page":"275","volume-title":"Logic Colloquium 87","author":"J. Meseguer","year":"1989","unstructured":"Meseguer, J.: General logics. In: Logic Colloquium 87, pp. 275\u2013329. North-Holland, Amsterdam (1989)"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/978-3-540-44616-3_15","volume-title":"Recent Trends in Algebraic Development Techniques","author":"T. Mossakowski","year":"2000","unstructured":"Mossakowski, T.: Specifications in an arbitrary institution with symbols. In: Bert, D., Choppy, C., Mosses, P.D. (eds.) WADT 1999. LNCS, vol.\u00a01827, pp. 252\u2013270. Springer, Heidelberg (2000)"},{"key":"4_CR13","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":"4_CR14","unstructured":"Mossakowski, T.: Heterogeneous specification and the heterogeneous tool set. Habilitation thesis, University of Bremen (2005)"},{"issue":"1-2","key":"4_CR15","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1016\/j.jlap.2005.09.005","volume":"67","author":"T. Mossakowski","year":"2006","unstructured":"Mossakowski, T., Autexier, S., Hutter, D.: Development graphs - proof management for structured specifications. Journal of Logic and Algebraic Programming, special issue on Algebraic Specification and Development Techniques\u00a067(1-2), 114\u2013145 (2006)","journal-title":"Journal of Logic and Algebraic Programming, special issue on Algebraic Specification and Development Techniques"},{"issue":"1","key":"4_CR16","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/s11787-009-0005-2","volume":"3","author":"T. Mossakowski","year":"2009","unstructured":"Mossakowski, T., Diaconescu, R., Tarlecki, A.: What is a logic translation? Logica Universalis\u00a03(1), 95\u2013124 (2009)","journal-title":"Logica Universalis"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","volume-title":"CASL Reference Manual","year":"2004","unstructured":"Mosses, P.D. (ed.): CASL Reference Manual. LNCS, vol.\u00a02960. Springer, Heidelberg (2004)"},{"key":"4_CR18","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1145\/1577824.1577831","volume-title":"LFMTP 2009: Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages","author":"F. Rabe","year":"2009","unstructured":"Rabe, F., Sch\u00fcrmann, C.: A practical module system for lf. In: LFMTP 2009: Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages, pp. 40\u201348. ACM, New York (2009)"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/3-540-17162-2_133","volume-title":"Category Theory and Computer Programming","author":"D.T. Sannella","year":"1986","unstructured":"Sannella, D.T., Tarlecki, A.: Extended ML: an institution-independent framework for formal program development. In: Poign\u00e9, A., Pitt, D.H., Rydeheard, D.E., Abramsky, S. (eds.) Workshop on Category Theory and Computer Programming. LNCS, vol.\u00a0240, pp. 364\u2013389. Springer, Heidelberg (1986)"},{"key":"4_CR20","unstructured":"Tarlecki, A.: Institution representation. Unpublished note, Dept. of Computer Science, University of Edinburgh (1987)"},{"key":"4_CR21","first-page":"478","volume-title":"Recent Trends in Data Type Specification","author":"A. Tarlecki","year":"1998","unstructured":"Tarlecki, A.: Moving between logical systems. In: Recent Trends in Data Type Specification, pp. 478\u2013502. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","Verification, Induction, Termination Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17172-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,12]],"date-time":"2021-11-12T23:20:37Z","timestamp":1636759237000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17172-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642171710","9783642171727"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17172-7_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}