{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T12:55:11Z","timestamp":1742993711911,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540205371"},{"type":"electronic","value":"9783540400202"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"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":[[2003]]},"DOI":"10.1007\/978-3-540-40020-2_13","type":"book-chapter","created":{"date-parts":[[2010,6,23]],"date-time":"2010-06-23T18:42:34Z","timestamp":1277318554000},"page":"233-252","source":"Crossref","is-referenced-by-count":1,"title":["Verifying Generative Casl Architectural Specifications"],"prefix":"10.1007","author":[{"given":"Piotr","family":"Hoffman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/978-3-642-59851-7_11","volume-title":"Algebraic Foundations of Systems Specification","author":"M. Bidoit","year":"1999","unstructured":"Bidoit, M., Cengarle, M.V., Hennicker, R.: Proof Systems for Structured Specifications and Their Refinements. In: Astesiano, E., Kreowski, H.-J., Krieg-Br\u00fcckner, B. (eds.) Algebraic Foundations of Systems Specification, pp. 385\u2013434. Springer, Heidelberg (1999)"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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":"Borzyszkowski, T.: Completeness of a logical system for structured specifications. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol.\u00a01376, pp. 107\u2013121. Springer, Heidelberg (1998)"},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/3-540-49253-4_25","volume-title":"Algebraic Methodology and Software Technology","author":"M. Bidoit","year":"1998","unstructured":"Bidoit, M., Sannella, D., Tarlecki, A.: Architectural Specifications in Casl. In: Haeberer, A.M. (ed.) AMAST 1998. LNCS, vol.\u00a01548, pp. 341\u2013357. Springer, Heidelberg (1998)"},{"doi-asserted-by":"crossref","unstructured":"Astesiano, E., Bidoit, M., Kirchner, H., Krieg-Br\u00fcckner, B., Mosses, P., Sannella, D., Tarlecki, A.: Casl: The Common Algebraic Specification Language. TCS (to appear)","key":"13_CR4","DOI":"10.1016\/S0304-3975(01)00368-1"},{"unstructured":"Casl \u2013 Summary and Semantics (note S-9), ver. 1.0. In: [CoFI] (2000)","key":"13_CR5"},{"unstructured":"CoFI, The Common Framework Initiative for Algebraic Specification and Development. Documents accessible, at \n                    \n                      http:\/\/www.brics.dk\/Projects\/CoFI","key":"13_CR6"},{"issue":"2","key":"13_CR7","first-page":"175","volume":"31","author":"J. Goguen","year":"1984","unstructured":"Goguen, J., Burstall, R.: Some fundamental algebraic tools for the semantics of computation. Part 1: Comma categories, colimits, signatures, and theories. TCS\u00a031(2), 175\u2013209 (1984)","journal-title":"Part 1: Comma categories, colimits, signatures, and theories. TCS"},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. Goguen","year":"1992","unstructured":"Goguen, J., Burstall, R.: Institutions: abstract model theory for specification and programming. Journal of the ACM\u00a039, 95\u2013146 (1992)","journal-title":"Journal of the ACM"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/3-540-45645-7_8","volume-title":"Recent Trends in Algebraic Development Techniques","author":"P. Hoffman","year":"2002","unstructured":"Hoffman, P.: Verifying Architectural Specifications. In: Cerioli, M., Reggio, G. (eds.) WADT 2001 and CoFI WG Meeting 2001. LNCS, vol.\u00a02267, pp. 152\u2013175. Springer, Heidelberg (2002)"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/3-540-45314-8_20","volume-title":"Fundamental Approaches to Software Engineering","author":"T. Mossakowski","year":"2001","unstructured":"Mossakowski, T., Autexier, S., Hutter, D.: Extending Development Graphs With Hiding. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol.\u00a02029, pp. 269\u2013283. Springer, Heidelberg (2001)"},{"unstructured":"Mossakowski, T.: Cocompleteness of the Casl signature category. In: [CoFI], note S-7 (1998)","key":"13_CR11"},{"key":"13_CR12","volume-title":"ML for the Working Programmer","author":"L. Paulson","year":"1991","unstructured":"Paulson, L.: ML for the Working Programmer. Cambridge Univ. Press, Cambridge (1991)"},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"993","DOI":"10.1007\/3-540-48224-5_80","volume-title":"Automata, Languages and Programming","author":"L. Schr\u00f6der","year":"2001","unstructured":"Schr\u00f6der, L., Mossakowski, T., Tarlecki, A.: Amalgamation in Casl via Enriched Signatures. In: Orejas, F., Spirakis, P.G., van Leeuwen, J. (eds.) ICALP 2001. LNCS, vol.\u00a02076, pp. 993\u20131004. Springer, Heidelberg (2001)"},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/3-540-45314-8_19","volume-title":"Fundamental Approaches to Software Engineering","author":"L. Schr\u00f6der","year":"2001","unstructured":"Schr\u00f6der, L., Mossakowski, T., Tarlecki, A., Klin, B., Hoffman, P.: Semantics of Architectural Specifications in Casl. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol.\u00a02029, pp. 253\u2013268. Springer, Heidelberg (2001)"},{"doi-asserted-by":"crossref","unstructured":"Schr\u00f6der, L., Mossakowski, T., Tarlecki, A., Klin, B., Hoffman, P.: Amalgamation in the Semantics of Casl. TCS (to appear)","key":"13_CR15","DOI":"10.1016\/j.tcs.2004.09.037"},{"issue":"2\/3","key":"13_CR16","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0890-5401(88)90008-9","volume":"76","author":"D. Sannella","year":"1988","unstructured":"Sannella, D., Tarlecki, A.: Specifications in an Arbitrary Institution. Information and Computation\u00a076(2\/3), 165\u2013210 (1988)","journal-title":"Information and Computation"},{"key":"13_CR17","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/BF01211084","volume":"9","author":"D. Sannella","year":"1997","unstructured":"Sannella, D., Tarlecki, A.: Essential Concepts of Algebraic Specification and Program Development. Formal Aspects of Computing\u00a09, 229\u2013269 (1997)","journal-title":"Formal Aspects of Computing"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40020-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,14]],"date-time":"2019-03-14T21:33:45Z","timestamp":1552599225000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40020-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205371","9783540400202"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40020-2_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}