{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:11:20Z","timestamp":1725484280250},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540431596"},{"type":"electronic","value":"9783540456452"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45645-7_8","type":"book-chapter","created":{"date-parts":[[2007,5,29]],"date-time":"2007-05-29T02:24:22Z","timestamp":1180405462000},"page":"152-175","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Verifying Architectural Specifications"],"prefix":"10.1007","author":[{"given":"Piotr","family":"Hoffman","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,1,29]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"M. Bidoit, M. V. Cengarle, R. Hennicker: Proof Systems for Structured Specifications and Their Refinements. In E. Astesiano, H.-J. Kreowski, B. Krieg-Br\u00fcckner (eds.): Algebraic Foundations of Systems Specification, pp. 385\u2013434. Springer, 1999.","DOI":"10.1007\/978-3-642-59851-7_11"},{"key":"8_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/3-540-64299-4_29","volume-title":"Recent Trends in Algebraic Development Techniques","author":"T. Borzyszkowski","year":"1998","unstructured":"T. Borzyszkowski: Completeness of a logical system for structured specifications. In F. Parisi Presicce (ed.): Recent Trends in Algebraic Development Techniques, Selected Papers, 12th Intl.Workshop, Proc.WADT\u201997, LNCS 1376, pp. 107\u2013121. Springer, 1998."},{"key":"8_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/3-540-49253-4_25","volume-title":"Architectural Specifications in Casl","author":"M. Bidoit","year":"1998","unstructured":"M. Bidoit, D. Sannella, A. Tarlecki. Architectural Specifications in Casl. In: Proc. 7th Intl. Conference on Algebraic Methodology and Software Technology (AMAST\u201998), LNCS 1548, pp. 341\u2013357. Springer, 1999; final version to appear in Formal Aspects of Computing."},{"key":"8_CR4","unstructured":"E. Astesiano, M. Bidoit, H. Kirchner, B. Krieg-Br\u00fcckner, P. Mosses, D. Sannella, A. Tarlecki. Casl: The Common Algebraic Specification Language. Theoretical Computer Science (to appear)."},{"key":"8_CR5","unstructured":"CoFI: Casl \u2014 Summary, version 1.0. In: Documents\/CASL\/Summary, [CoFI]. 1999."},{"key":"8_CR6","unstructured":"CoFI: Casl \u2014 Semantics, version 1.0. In: Documents\/CASL\/Semantics, note S-9, [CoFI]. 2000."},{"key":"8_CR7","unstructured":"CoFI, The Common Framework Initiative for Algebraic Specification and Development. Documents accessible at http:\/\/www.brics.dk\/Projects\/CoFI and ftp:\/\/ftp.brics.dk\/Projects\/CoFI."},{"issue":"2","key":"8_CR8","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/0304-3975(84)90134-8","volume":"31","author":"J. Goguen","year":"1984","unstructured":"J. Goguen, R. Burstall: Some fundamental algebraic tools for the semantics of computation. Part 1: Comma categories, colimits, signatures, and theories. Theoretical Computer Science 31(2), pp. 175\u2013209 (1984)","journal-title":"Theoretical Computer Science"},{"key":"8_CR9","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. Goguen","year":"1992","unstructured":"J. Goguen, R. Burstall: Institutions: abstract model theory for specification and programming. Journal of the ACM 39, pp. 95\u2013146 (1992).","journal-title":"Journal of the ACM"},{"key":"8_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1007\/3-540-44683-4_40","volume-title":"Proc. 26th Intl. Symp. on Mathematical Foundations of Computer Science (MFCS\u201901)","author":"B. Klin","year":"2001","unstructured":"B. Klin, P. Hoffman, A. Tarlecki, L. Schr\u00f6der, T. Mossakowski: Checking Amalgamability Conditions for Casl Architectural Specifications. In J. Sgall, A. Pultr, P. Kolman (eds.): Proc. 26th Intl. Symp. on Mathematical Foundations of Computer Science (MFCS\u201901), LNCS 2136, pp. 451\u2013463. Springer, 2001."},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"P. Padawitz: Proof in Flat Specifications. In E. Astesiano, H.-J. Kreowski, B. Krieg-Br\u00fcckner (eds.): Algebraic Foundations of Systems Specification, pp. 321\u2013384. Springer, 1999.","DOI":"10.1007\/978-3-642-59851-7_10"},{"key":"8_CR12","unstructured":"L. Paulson: ML for the Working Programmer. Cambridge University Press, 1991."},{"key":"8_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"993","DOI":"10.1007\/3-540-48224-5_80","volume-title":"Proc. 28th Intl. Coll. on Automata, Languages and Programming (ICALP\u201901)","author":"L. Schr\u00f6der","year":"2001","unstructured":"L. Schr\u00f6der, T. Mossakowski, A. Tarlecki: Amalgamation in Casl via Enriched Signatures. In F. Orejas, P. Spirakis, J. van Leeuwen (eds.): Proc. 28th Intl. Coll. on Automata, Languages and Programming (ICALP\u201901), LNCS 2076, pp. 993\u20131004. Springer, 2001."},{"key":"8_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/3-540-45314-8_19","volume-title":"Proc. 4th Intl. Conf. on Fundamental Approaches to Software Engineering (FASE\u201901)","author":"L. Schr\u00f6der","year":"2001","unstructured":"L. Schr\u00f6der, T. Mossakowski, A. Tarlecki, B. Klin, P. Hoffman: Semantics of Architectural Specifications in Casl. In H. Hussmann (ed.): Proc. 4th Intl. Conf. on Fundamental Approaches to Software Engineering (FASE\u201901), LNCS 2029, pp. 253\u2013268. Springer, 2001."},{"issue":"2\/3","key":"8_CR15","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 vol. 76, 2\/3, pp. 165\u2013210 (1988).","journal-title":"Information and Computation"},{"key":"8_CR16","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/BF01211084","volume":"9","author":"D. Sannella","year":"1997","unstructured":"D. Sannella, A. Tarlecki: Essential Concepts of Algebraic Specification and Program Development. Formal Aspects of Computing 9, pp. 229\u2013269 (1997).","journal-title":"Formal Aspects of Computing"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"A. Tarlecki: Institutions: An Abstract Framework for Formal Specifications. In E. Astesiano, H.-J. Kreowski, B. Krieg-Br\u00fcckner (eds.): Algebraic Foundations of Systems Specification, pp. 105\u2013130. Springer, 1999.","DOI":"10.1007\/978-3-642-59851-7_4"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45645-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,27]],"date-time":"2023-01-27T20:40:24Z","timestamp":1674852024000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-45645-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540431596","9783540456452"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-45645-7_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"29 January 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}