{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T05:22:07Z","timestamp":1737091327383,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540431596"},{"type":"electronic","value":"9783540456452"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45645-7_15","type":"book-chapter","created":{"date-parts":[[2007,5,29]],"date-time":"2007-05-29T02:24:22Z","timestamp":1180405462000},"page":"305-327","source":"Crossref","is-referenced-by-count":5,"title":["Towards Trustworthy Specification I: Consistency Checks"],"prefix":"10.1007","author":[{"given":"Markus","family":"Roggenbach","sequence":"first","affiliation":[]},{"given":"Lutz","family":"Schr\u00f6der","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,1,29]]},"reference":[{"key":"15_CR1","unstructured":"Wolfgang Ahrendt, A basis for model computation in free data types, Proceedings of the CADE-17 Workshop on Model Computation, 2000."},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Egidio Astesiano, Michel Bidoit, H\u00e9l\u00e8ne Kirchner, Bernd Krieg-Br\u00fcckner, Peter D. Mosses, Donald Sannella, and Andrzej Tarlecki, Casl: The common algebraic specification language, Theoretical Computer Science (to appear).","DOI":"10.1016\/S0304-3975(01)00368-1"},{"key":"15_CR3","series-title":"Lect Notes Comput Sci","first-page":"73","volume-title":"Casl, Recent Trends in Algebraic Development Techniques","author":"S. Autexier","year":"1999","unstructured":"S. Autexier, D. Hutter, H. Mantel, and A. Schairer, Towards an evolutionary formal software development using Casl, Recent Trends in Algebraic Development Techniques, LNCS, vol. 1827, Springer, 1999, pp. 73\u201388."},{"key":"15_CR4","unstructured":"H. Baumeister, Relations between abstract datatypes modeled as abstract datatypes, Ph.D. thesis, Universit\u00e4t des Saarlandes, 1998."},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"M. Bidoit, M. V. Cengarle, and R. Hennicker, Proof systems for structured specifications and their refinements, Algebraic Foundations of Systems specification (E. Astesiano et al., eds.), Springer, 1999, pp. 385\u2013433.","DOI":"10.1007\/978-3-642-59851-7_11"},{"key":"15_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/BFb0000465","volume-title":"Casl, Algebraic Methodology and Software Technology","author":"M. Cerioli","year":"1997","unstructured":"M. Cerioli, A. Haxthausen, B. Krieg-Br\u00fcckner, and T. Mossakowski, Permissive subsorted partial logicin Casl, Algebraic Methodology and Software Technology, LNCS, vol. 1349, Springer, 1997, pp. 91\u2013107."},{"key":"15_CR7","unstructured":"CoFI, The Common Framework Initiative for algebraic specification and development, electronic archives, notes and documents accessible from http:\/\/www.brics.dk\/Projects\/CoFI ."},{"key":"15_CR8","unstructured":"CoFI Language Design Task Group, Casl-The CoFI Algebraic Specification Language-Summary, version 1.0.1, Documents\/CASLSummary, in [7], March 2001."},{"key":"15_CR9","unstructured":"CoFI Semantics Task Group, Casl-The CoFI Algebraic Specification Language-Semantics, Note S-9 (version 0.96), in [7], July 1999."},{"key":"15_CR10","unstructured":"R. Diaconescu, J. Goguen, and P. Stefaneas, Logical support for modularisation, Logical Environments, Cambridge, 1993, pp. 83\u2013130."},{"key":"15_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/3-540-51486-4_70","volume-title":"Mathematical Foundations of Computer Science","author":"J. Farr\u00e9s-Casals","year":"1989","unstructured":"J. Farr\u00e9s-Casals, Proving correctness of constructor implementations, Mathematical Foundations of Computer Science, LNCS, vol. 379, Springer, 1989, pp. 225\u2013236."},{"key":"15_CR12","unstructured":"J.-Y. Girard, Locus solum, Math. Struct. Comput. Sci., To appear."},{"key":"15_CR13","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. Goguen","year":"1992","unstructured":"J. Goguen and R. Burstall, Institutions: Abstract model theory for specification and programming, J. ACM 39 (1992), 95\u2013146.","journal-title":"J. ACM"},{"key":"15_CR14","unstructured":"M. J. C. Gordon and T. M. Melham, Introduction to HOL: A theorem proving environment for higher order logics, Cambridge, 1993."},{"key":"15_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/BFb0036169","volume-title":"Fundamentals of Computation Theory","author":"R. Hennicker","year":"1997","unstructured":"R. Hennicker and M. Wirsing, Proof systems for structured algebraic Specification: An overview, Fundamentals of Computation Theory, LNCS, vol. 1279, Springer, 1997, pp. 19\u201337."},{"key":"15_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-44647-8","volume-title":"Mathematical Foundations of Computer Science","author":"B. Klin","year":"2001","unstructured":"B. Klin, P. Hoffman, A. Tarlecki, L. Schr\u00f6der, and T. Mossakowski, Checking amalgamability conditions for Casl architectural Specification, Mathematical Foundations of Computer Science, LNCS, Springer, 2001, to appear."},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"T. F. Melham, A package for inductive relation definitions in HOL, International Workshop on the HOL Theorem Proving System and its Applications, IEEE Computer Society Press, 1992, pp. 350\u2013357.","DOI":"10.1109\/HOL.1991.596299"},{"key":"15_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/3-540-45314-8_20","volume-title":"Fundamental Aspects of Software Engineering","author":"T. Mossakowski","year":"2001","unstructured":"T. Mossakowski, S. Autexier, and D. Hutter, Extending development graphs with hiding, Fundamental Aspects of Software Engineering, LNCS, vol. 2029, Springer, 2001, pp. 269\u2013283."},{"key":"15_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"642","DOI":"10.1007\/3-540-45744-5_52","volume-title":"Flaw detection in formal Specification","author":"W. Reif","year":"2001","unstructured":"W. Reif, G. Schellhorn, and A. Thums, Flaw detection in formal Specification, International Joint Conference on Automated Reasoning, LNCS, vol. 2083, Springer, 2001, pp. 642\u2013657."},{"key":"15_CR20","unstructured":"Markus Roggenbach, Till Mossakowski, and Lutz Schr\u00f6der, Basic datatypes in CASL, Note L-12 in [7], current version 0.7 available at http:\/\/www.informatik.uni-bremen.de\/co.\/CASL\/lib\/basic , March 2001."},{"key":"15_CR21","unstructured":"Markus Roggenbach and Lutz Schr\u00f6der, Towards trustworthy Specification II: Testing by proof, work in progress."},{"key":"15_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"993","DOI":"10.1007\/3-540-48224-5_80","volume-title":"International Colloquium on Automata, Languages and Programming","author":"L. Schr\u00f6der","year":"2001","unstructured":"L. Schr\u00f6der, T. Mossakowski, and A. Tarlecki, Amalgamation in Casl via enriched signatures, International Colloquium on Automata, Languages and Programming, LNCS, vol. 2076, Springer, 2001, pp. 993\u20131004."},{"key":"15_CR23","unstructured":"J. R. Shoenfield, Mathematical logic, Addison-Wesley, 1967."}],"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\/3-540-45645-7_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T18:48:48Z","timestamp":1737053328000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45645-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540431596","9783540456452"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-45645-7_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}