{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:02:53Z","timestamp":1725494573858},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540418634"},{"type":"electronic","value":"9783540453147"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45314-8_20","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T17:01:23Z","timestamp":1194973283000},"page":"269-283","source":"Crossref","is-referenced-by-count":15,"title":["Extending Development Graphs with Hiding"],"prefix":"10.1007","author":[{"given":"Till","family":"Mossakowski","sequence":"first","affiliation":[]},{"given":"Serge","family":"Autexier","sequence":"additional","affiliation":[]},{"given":"Dieter","family":"Hutter","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,3,23]]},"reference":[{"key":"20_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/978-3-540-44616-3_5","volume-title":"Recent Developments in Algebraic Development Techniques","author":"S. Autexier","year":"2000","unstructured":"S. Autexier, D. Hutter, H. Mantel, and A. Schairer. Towards an evolutionary formal software-development using CASL. In C. Choppy, D. Bert, and P. Mosses, (Eds.), Recent Developments in Algebraic Development Techniques, 14th International Workshop, WADT\u201999, Bonas, France, LNCS 1827, page 73\u201388, Springer-Verlag, 2000."},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"S. Autexier, D. Hutter, H. Mantel, A. Schairer. System Description: Inka 5.0-A Logic Voyager. In H. Ganzinger, (Ed.), Proceedings of CADE-16, Trento, Italy, LNAI 1632, Springer-Verlag, 1999.","DOI":"10.1007\/3-540-48660-7_15"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"J. Ad\u00e1mek, J. Rosick\u00fd. Locally Presentable and Accessible Categories, Cambridge University Press, 1994.","DOI":"10.1017\/CBO9780511600579"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"T. Borzyszkowski. Logical systems for structured specifications. Theoretical Computer Science. To appear.","DOI":"10.1016\/S0304-3975(01)00317-6"},{"key":"20_CR5","unstructured":"CoFI Language Design Task Group. The Common Algebraic Specification Language ( Casl)-Summary, Version 1.0 and additional Note S-9 on Semantics, available from http:\/\/www.brics.dk\/Projects\/CoFI , 1998."},{"key":"20_CR6","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/S0304-3975(96)00160-0","volume":"173","author":"M. Cerioli","year":"1997","unstructured":"M. Cerioli, J. Meseguer. May I borrow your logic?, Theoretical Computer Science, 173:311\u2013347, 1997.","journal-title":"Theoretical Computer Science"},{"key":"20_CR7","unstructured":"R. Diaconescu, J. Goguen, P. Stefaneas. Logical support for modularization, In G. Huet, G. Plotkin, (Eds), Workshop on Logical Frameworks, 1991."},{"key":"20_CR8","series-title":"Lect Notes Comput Sci","first-page":"95","volume-title":"Journal of the Association for Computing Machinery","author":"J. A. Goguen","year":"1992","unstructured":"J. A. Goguen and R. M. Burstall: Institutions: Abstract model theory for specification and programming, Journal of the Association for Computing Machinery, 39:95\u2013146, 1992. Predecessor in: LNCS 164, 221-256, 1984."},{"issue":"2","key":"20_CR9","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1016\/S0304-3975(96)00162-4","volume":"173","author":"R. Hennicker","year":"1997","unstructured":"R. Hennicker, M. Wirsing, M. Bidoit. Proof systems for structured speci-cations with observability operators, Theoretical Computer Science, 173(2):393\u2013443, 1997.","journal-title":"Theoretical Computer Science"},{"key":"20_CR10","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/0168-0072(94)90009-4","volume":"67","author":"R. Harper","year":"1994","unstructured":"R. Harper, D. Sannella, A. Tarlecki. Structured presentations and logic representations, In Annals of Pure and Applied Logic, 67:113\u2013160, 1994.","journal-title":"Annals of Pure and Applied Logic"},{"key":"20_CR11","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1016\/S0049-237X(08)70132-0","volume":"87","author":"J. Meseguer","year":"1989","unstructured":"J. Meseguer. General logics, In Logic Colloquium 87, pages 275\u2013329, North Holland, 1989.","journal-title":"Logic Colloquium"},{"key":"20_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/3-540-64299-4_43","volume-title":"12th Workshop on Algebraic Development Techniques","author":"T. Mossakowski","year":"1998","unstructured":"T. Mossakowski, Kolyang, B. Krieg-Bruckner. Static semantic analysis and theorem proving for CASL, In 12th Workshop on Algebraic Development Techniques, Tarquinia, LNCS 1376, pages 333\u2013348, Springer-Verlag, 1998."},{"issue":"2-3","key":"20_CR13","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0890-5401(88)90008-9","volume":"76","author":"D. Sannella","year":"1988","unstructured":"D. Sannella, A. Tarlecki. Specifications in an arbitrary institution, Information and Computation, 76(2-3):165\u2013210, 1988.","journal-title":"Information and Computation"},{"key":"20_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"656","DOI":"10.1007\/3-540-55719-9_112","volume-title":"19th ICALP","author":"D. Sannella","year":"1992","unstructured":"D. Sannella, A. Tarlecki. Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations, 19th ICALP, Springer, LNCS 623, pages 656\u2013671, Springer-Verlag, 1992."},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"L. Schroder, T. Mossakowski, P. Hoffman, B. Klin, and A. Tarlecki. Semantics for architectural specifications in CASL, In H. Hu\u00dfmann, (Ed.), Proceedings of Fundamental Approaches to Software Engineering (FASE 2001), Genova, Italy, 2001.","DOI":"10.1007\/3-540-45314-8_19"},{"key":"20_CR16","first-page":"523","volume":"1","author":"D. Hutter","year":"1996","unstructured":"D. Hutter et. al. Verification Support Environment (VSE), Journal of High Integrity Systems, Vol. 1, pages 523\u2013530, 1996.","journal-title":"Journal of High Integrity Systems"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45314-8_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T10:10:38Z","timestamp":1556964638000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45314-8_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540418634","9783540453147"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-45314-8_20","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}