{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T13:34:00Z","timestamp":1726407240406},"publisher-location":"Berlin, Heidelberg","reference-count":95,"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_16","type":"book-chapter","created":{"date-parts":[[2007,5,28]],"date-time":"2007-05-28T22:24:22Z","timestamp":1180391062000},"page":"328-343","source":"Crossref","is-referenced-by-count":0,"title":["The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress"],"prefix":"10.1007","author":[{"given":"Donald","family":"Sannella","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,1,29]]},"reference":[{"key":"16_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/978-3-540-44616-3_4","volume-title":"Recent Trends in Algebraic Development Techniques: Selected Papers from WADT\u201999","author":"D. Ancona","year":"2000","unstructured":"D. Ancona, M. Cerioli and E. Zucca. Extending Casl by late binding. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT\u201999, Bonas. Springer LNCS 1827, 53\u201372 (2000)."},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"E. Astesiano, M. Bidoit, H. Kirchner, B. Krieg-Br\u00fcckner, P. Mosses, D. Sannella and A. Tarlecki. Casl: The common algebraic Specification language. Theoretical Computer Science (2002), to appear.","DOI":"10.1016\/S0304-3975(01)00368-1"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"E. Astesiano, M. Broy and G. Reggio. Algebraic Specification of concurrent systems. In E. Astesiano, H.-J. Kreowski and B. Krieg-Br\u00fcckner (eds.), Algebraic Foundations of Systems Specifications, 467\u2013520. Springer (1999).","DOI":"10.1007\/978-3-642-59851-7_13"},{"key":"16_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/3-540-45499-3_21","volume-title":"Plugging data constructs into paradigm specific languages: towards an application to UML","author":"E. Astesiano","year":"2000","unstructured":"E. Astesiano, M. Cerioli and G. Reggio. Plugging data constructs into paradigm specific languages: towards an application to UML. Proceedings of AMAST 2000, Iowa City. Springer LNCS 1816, 273\u2013292 (2000)."},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"E. Astesiano, H.-J. Kreowski and B. Krieg-Br\u00fcckner (eds.). Algebraic Foundations of Systems Specification. Springer (1999).","DOI":"10.1007\/978-3-642-59851-7"},{"key":"16_CR6","unstructured":"E. Astesiano and G. Reggio. UML as heterogeneous multiview notation: Strategies for a formal foundation. Proc. of OOPSLA\u201998 Workshop \u201cFormalizing UML. Why? How?\u201d (1998)."},{"key":"16_CR7","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 Trends in Algebraic Development Techniques: Selected Papers from WADT\u201999","author":"S. Autexier","year":"2000","unstructured":"S. Autexier, D. Hutter, H. Mantel and A. Schairer. Towards an evolutionary formal software-development using Casl. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT\u201999, Bonas. Springer LNCS 1827, 73\u201388 (2000)."},{"key":"16_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1007\/978-3-540-44616-3_21","volume-title":"Recent Trends in Algebraic Development Techniques: Selected Papers from WADT\u201999","author":"H. Baumeister","year":"2000","unstructured":"H. Baumeister. Relating abstract datatypes and Z-schemata. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT\u201999, Bonas. Springer LNCS 1827, 366\u2013382 (2000)."},{"key":"16_CR9","unstructured":"H. Baumeister. Casl case studies. http:\/\/www.informatik.uni-muenchen.de\/~baumeist\/CoFI\/case.html (2001)."},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"H. Baumeister and D. Bert. Algebraic Specification in Casl. Software Specification Methods: An Overview Using a Case Study, FACIT: Formal Approaches to Computing and Information Technology. Springer (2000).","DOI":"10.1007\/978-1-4471-0701-9_12"},{"key":"16_CR11","unstructured":"H. Baumeister, M. Cerioli, A. Haxthausen, T. Mossakowski, P. Mosses, D. Sannella and A. Tarlecki. Casl: The common algebraic Specification language. semantics. Version 1.0, to be completed (2001)."},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"H. Baumeister and A. Zamulin. State-based extension of Casl. Proc. IFM 2000 (2000).","DOI":"10.1007\/3-540-40911-4_2"},{"key":"16_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"382","DOI":"10.1007\/b75154","volume-title":"Recent Trends in Algebraic Development Techniques: Selected Papers from WADT\u201999","author":"D. Bert","year":"2000","unstructured":"D. Bert and S. Lo Presti. Algebraic Specification of operator-based multimedia scenarios. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT\u201999, Bonas. Springer LNCS 1827, 382\u2013399 (2000)."},{"key":"16_CR14","unstructured":"M. Bidoit. From requirements to software in Casl. Invited talk given atWADT\u201999, Bonas (1999)."},{"key":"16_CR15","series-title":"Lect Notes Comput Sci","volume-title":"Correct realizations of interface constraints with OCL","author":"M. Bidoit","year":"1999","unstructured":"M. Bidoit, R. Hennicker, F. Tort and M. Wirsing. Correct realizations of interface constraints with OCL. Proc. UML\u201999. Springer LNCS 1723 (1999)."},{"key":"16_CR16","series-title":"Lect Notes Comput Sci","volume-title":"Algebraic System Specification and Development: A Survey and Annotated Bibliography","year":"1991","unstructured":"M. Bidoit, H.-J. Kreowski, P. Lescanne, F. Orejas and D. Sannella (eds.). Algebraic System Specification and Development: A Survey and Annotated Bibliography. Springer LNCS 501 (1991)."},{"key":"16_CR17","unstructured":"M. Bidoit and P. Mosses. A gentle introduction to Casl. Tutorial, WADT\/CoFI Workshop at the 4th European Joint Conferences on Theory and Practice of Software (ETAPS 2001), Genova (2001). Available from http:\/\/www.lsv.ens-cachan.fr\/~bidoit\/CASL\/ ."},{"key":"16_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/3-540-49253-4_25","volume-title":"Formal Aspects of Computing","author":"M. Bidoit","year":"1998","unstructured":"M. Bidoit, D. Sannella and A. Tarlecki. Architectural Specifications in Casl. Formal Aspects of Computing (2002), to appear. A preliminary version appeared under the same title in Proc. 7th Intl. Conference on Algebraic Methodology and Software Technology, AMAST\u2019 98, Manaus. Springer LNCS 1548, 341\u2013357 (1998)."},{"key":"16_CR19","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/S0020-0190(00)00120-4","volume":"76","author":"T. Borzyszkowski","year":"2000","unstructured":"T. Borzyszkowski. Generalized interpolation in Casl. Information Processing Letters 76:19\u201324 (2000).","journal-title":"Information Processing Letters"},{"key":"16_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/978-3-540-44616-3_23","volume-title":"Recent Trends in Algebraic Development Techniques: Selected Papers from WADT\u201999","author":"T. Borzyszkowski","year":"2000","unstructured":"T. Borzyszkowski. Higher-order logic and theorem proving for structured specifications. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT\u201999, Bonas. Springer LNCS 1827, 401\u2013418 (2000)."},{"key":"16_CR21","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y","volume":"30","author":"M. Brand van den","year":"2000","unstructured":"M. van den Brand, H. de Jong, P. Klint and P. Olivier. Efficient annotated terms. Software, Practice & Experience 30:259\u2013291 (2000).","journal-title":"Software, Practice & Experience"},{"key":"16_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/978-3-540-44616-3_6","volume-title":"Recent Trends in Algebraic Development Techniques: Selected Papers from WADT\u201999","author":"M. Brand van den","year":"2000","unstructured":"M. van den Brand and J. Scheerder. Development of parsing tools for Casl using generic language technology. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT\u201999, Bonas. Springer LNCS 1827, 89\u2013105 (2000)."},{"key":"16_CR23","unstructured":"M. Cerioli, M. Gogolla, H. Kirchner, B. Krieg-Br\u00fcckner, Z. Qian and M. Wolf (eds.). Algebraic System Specification and Development: Survey and Annotated Bibliography. 2nd edition. Monographs of the Bremen Institute of Safe Systems 3. Shaker (1998)."},{"key":"16_CR24","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/BFb0000465","volume-title":"Permissive subsorted partial logic in Casl","author":"M. Cerioli","year":"1997","unstructured":"M. Cerioli, A. Haxthausen, B. Krieg-Br\u00fcckner and T. Mossakowski. Permissive subsorted partial logic in Casl. Proceedings of AMAST\u201997, Sydney. Springer LNCS 1349, 91\u2013107 (1997)."},{"key":"16_CR25","doi-asserted-by":"crossref","unstructured":"M. Cerioli, T. Mossakowski and H. Reichel. From total equational to partial first order logic. In E. Astesiano, H.-J. Kreowski and B. Krieg-Br\u00fcckner (eds.), Algebraic Foundations of Systems Specifications, 31\u2013104. Springer (1999).","DOI":"10.1007\/978-3-642-59851-7_3"},{"key":"16_CR26","unstructured":"M. Cerioli and G. Reggio. Basic Casl at work: a compass for the labyrinth of partiality, subsorting and predicates. Presented at WADT\u201999, Bonas (1999)."},{"key":"16_CR27","series-title":"Lect Notes Comput Sci","first-page":"104","volume-title":"Recent Trends in Algebraic Development Techniques: Selected Papers from WADT\u201999","author":"C. Choppy","year":"2000","unstructured":"C. Choppy and G. Reggio. Using Casl to specify the requirements and the design: A problem specific approach. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT\u201999, Bonas. Springer LNCS 1827, 104\u2013123 (2000)."},{"key":"16_CR28","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":"16_CR29","unstructured":"CoFI Language Design Task Group. Casl-The CoFI Algebraic Specification Language-Summary, version 1.0. Documents\/CASL\/Summary-v1.0, in [28] (1998)."},{"key":"16_CR30","unstructured":"CoFI Language Design Task Group. Casl-The CoFI Algebraic Specification Language-Summary, version 1.0 (revised). Documents\/CASL\/v1.0\/Summary, in [28] (1999)."},{"key":"16_CR31","unstructured":"CoFI Language Design Task Group. Casl-The CoFI Algebraic Specification Language-Summary, version 1.0.1. Documents\/CASL\/v1.0.1\/Summary, in [28] (2001)."},{"key":"16_CR32","unstructured":"CoFI Semantics Task Group. Casl-The CoFI Algebraic Specification Language-Semantics. Documents\/CASL\/Semantics (version 0.96), in [28] (1999)."},{"key":"16_CR33","series-title":"Lect Notes Comput Sci","first-page":"77","volume-title":"Fundamental Approaches to Software Engineering (FASE\u201999)","author":"E. Coscia","year":"2004","unstructured":"E. Coscia and G. Reggio. JTN: A Java-targeted graphic formal notation for reactive and concurrent systems. Fundamental Approaches to Software Engineering (FASE\u201999), European Joint Conferences on Theory and Practice of Software, Amsterdam. Springer LNCS 1577, 77\u201397 (1999)."},{"issue":"2","key":"16_CR34","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1016\/S0304-3975(96)00165-X","volume":"173","author":"G. Costa","year":"1997","unstructured":"G. Costa and G. Reggio. Specification of abstract dynamic datatypes: A temporal logic approach. Theoretical Computer Science 173(2):513\u2013554 (1997).","journal-title":"Theoretical Computer Science"},{"key":"16_CR35","unstructured":"H. Ehrig, J. Meseguer, U. Montanari, F. Orejas, F. Parisi-Presicce and M. Wirsing. Recommendations on the revised design of Casl. Internal Ifip WG1.3 document (2001)."},{"key":"16_CR36","doi-asserted-by":"crossref","unstructured":"R. Gumb. Model sets in a nonconstructive logic of partial terms with definite descriptions. Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2000. Springer LNAI 1847, 268\u2013278 (2000).","DOI":"10.1007\/10722086_22"},{"key":"16_CR37","unstructured":"R. Gumb. An extended joint consistency theorem for a nonconstructive logic of partial terms with definite descriptions. Studia Logica. To appear."},{"key":"16_CR38","unstructured":"M. Haveraaen. Domain specific languages and software architectures-a challenge for Casl. Presented at CoFI meeting, Amsterdam (1999)."},{"key":"16_CR39","unstructured":"M. Haveraaen. A 2-tiered software process model for utilizing Casl. Technical Report 208, Department of Informatics, University of Bergen (2000)."},{"key":"16_CR40","first-page":"241","volume":"6","author":"M. Haveraaen","year":"1999","unstructured":"M. Haveraaen, H.A. Friis and T.A. Johansen. Formal software engineering for computational modeling. Nordic Journal of Computing 6:241\u2013270 (1999).","journal-title":"Nordic Journal of Computing"},{"key":"16_CR41","unstructured":"A. Haxthausen, B. Krieg-Br\u00fcckner and T. Mossakowski. Subsorted partial higherorder logic as an extension of Casl. CoFI Note L-10, in [28] (1998)."},{"key":"16_CR42","unstructured":"P. Hoffman. Semantics of architectural Specifications (in Polish). Master\u2019s thesis, Warsaw University (2000)."},{"key":"16_CR43","series-title":"Lect Notes Comput Sci","volume-title":"Recent Trends in Algebraic Development Techniques: Selected Papers from WADT 2001","author":"P. Hoffman","year":"2002","unstructured":"P. Hoffman. Verifying architectural Specifications. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT 2001, Genova. Springer LNCS, to appear (this volume)."},{"key":"16_CR44","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/3-540-44936-1","volume-title":"Constructive data refinement in typed lambda calculus","author":"F. Honsell","year":"2000","unstructured":"F. Honsell, J. Longley, D. Sannella and A. Tarlecki. Constructive data refinement in typed lambda calculus. Proc. 3rd Intl. Conf. on Foundations of Software Science and Computation Structures (FOSSACS 2000), European Joint Conferences onTheory and Practice of Software, Berlin. Springer LNCS 1784, 149\u2013164 (2000)."},{"key":"16_CR45","series-title":"Lect Notes Comput Sci","first-page":"546","volume-title":"Information and Computation","author":"F. Honsell","year":"2002","unstructured":"F. Honsell and D. Sannella. Pre-logical relations. Information and Computation (2002), to appear. A preliminary version appeared under the same title in Proc. Computer Science Logic, CSL\u201999, Madrid. Springer LNCS 1683, 546\u2013561 (1999)."},{"key":"16_CR46","unstructured":"H. Hussmann, M. Cerioli, G. Reggio and F. Tort. Abstract data types and UML models. Technical Report DISI-TR-99-15, Universit\u00e0 di Genova (1999)."},{"key":"16_CR47","unstructured":"H. Kirchner and C. Ringeissen. Executing Casl equational Specifications with the Elan rewrite engine. CoFI Note T-9 (revised version), in [28] (2000)."},{"key":"16_CR48","unstructured":"B. Klin. An implementation of static semantics for architectural Specifications in Casl (in Polish). Master\u2019s thesis, Warsaw University (2000)."},{"key":"16_CR49","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1007\/3-540-44683-4_40","volume-title":"Checking amalgamability conditions for Casl architectural Specifications","author":"B. Klin","year":"2001","unstructured":"B. Klin, P. Hoffman, A. Tarlecki, L. Schr\u00f6der and T. Mossakowski. Checking amalgamability conditions for Casl architectural Specifications. Proc. Intl. Symp. on Mathematical Foundations of Computer Science, MFCS 2001. Springer LNCS 2136, 451\u2013463 (2001)."},{"key":"16_CR50","unstructured":"F. Ledoux, A. Arnould, P. Le Gall and Y. Bertrand. A high-level operation in 3D modeling: a Casl case study. Report LaMI 52, Universit\u00e9 d\u2019Evry-Val d\u2019Essonne, Evry (2000)."},{"key":"16_CR51","series-title":"Lect Notes Comput Sci","volume-title":"Recent Trends in Algebraic Development Techniques: Selected Papers from WADT 2001","author":"F. Ledoux","year":"2002","unstructured":"F. Ledoux, A. Arnould, P. Le Gall and Y. Bertrand. Geometric modeling with Casl. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT 2001, Genova. Springer LNCS, to appear (this volume)."},{"key":"16_CR52","unstructured":"F. Ledoux, J.-M. Mota, A. Arnould, C. Dubois, P. Le Gall and Y. Bertrand. Formal Specification for a mathematics-based application domain: geometric modeling. Report LaMI 51, Universit\u00e9 d\u2019Evry-Val d\u2019Essonne, Evry (2000)."},{"key":"16_CR53","unstructured":"F. Ledoux, J.-M. Mota, A. Arnould, C. Dubois, P. Le Gall and Y. Bertrand. Sp\u00e9cifications formelles du chanfreinage. In Approches Formelles dans l\u2019Assistance au D\u00e9veloppement de Logiciels (AFADL), Nancy (2001)."},{"key":"16_CR54","unstructured":"J. Loeckx, H.-D. Ehrich and M. Wolf. Specification of Abstract Data Types. Wiley (1996)."},{"key":"16_CR55","unstructured":"T. Mossakowski. Sublanguages of Casl. CoFI Note L-7, in [28] (1997)."},{"key":"16_CR56","unstructured":"T. Mossakowski. Two \u201cfunctional programming\u201d sublanguages of Casl. CoFI Note L-9, in [28] (1998)."},{"key":"16_CR57","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1007\/3-540-64299-4_42","volume-title":"Recent Trends in Algebraic Development Techniques: Selected Papers from WADT\u201997","author":"T. Mossakowski","year":"1998","unstructured":"T. Mossakowski. Colimits of order-sorted Specifications. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT\u201997, Tarquinia. Springer LNCS 1376, 316\u2013332 (1998)."},{"key":"16_CR58","unstructured":"T. Mossakowski. Translating other Specification languages into Casl. Presented at WADT\u201998, Lisbon (1998). Handwritten notes are available from the author."},{"key":"16_CR59","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1007\/3-540-48483-3_14","volume-title":"Recent Trends in Algebraic Development Techniques: Selected Papers from WADT\u201998","author":"T. Mossakowski","year":"1999","unstructured":"T. Mossakowski. Translating OBJ3 to Casl: The institution level. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT\u201998, Lisbon. Springer LNCS 1589, 198\u2013214 (1999)."},{"key":"16_CR60","unstructured":"T. Mossakowski. How to write consistent Casl design Specifications. CoFI Note M-8, in [28] (2000)."},{"key":"16_CR61","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1007\/978-3-540-44616-3_15","volume-title":"Recent Trends in Algebraic Development Techniques: Selected Papers from WADT\u201999","author":"T. Mossakowski","year":"2000","unstructured":"T. Mossakowski. Specification in an arbitrary institution with symbols. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT\u201999, Bonas. Springer LNCS 1827, 252\u2013270 (2000)."},{"key":"16_CR62","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/3-540-46419-0_8","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2000)","author":"T. Mossakowski","year":"2000","unstructured":"T. Mossakowski. Casl: From semantics to tools. Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2000), European Joint Conferences on Theory and Practice of Software, Berlin. Springer LNCS 1785, 93\u2013108 (2000)."},{"key":"16_CR63","doi-asserted-by":"crossref","unstructured":"T. Mossakowski. Relating Casl with other Specification languages: the institution level. Theoretical Computer Science (2002), to appear.","DOI":"10.1016\/S0304-3975(01)00369-3"},{"key":"16_CR64","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/3-540-45314-8_20","volume-title":"Fundamental Approaches to Software Engineering (FASE 2001)","author":"T. Mossakowski","year":"2001","unstructured":"T. Mossakowski, S. Autexier and D. Hutter. Extending development graphs with hiding. Fundamental Approaches to Software Engineering (FASE 2001), European Joint Conferences on Theory and Practice of Software, Genova. Springer LNCS 2029, 269\u2013283 (2001)."},{"key":"16_CR65","series-title":"Lect Notes Comput Sci","volume-title":"Recent Trends in Algebraic Development Techniques: Selected Papers from WADT 2001","author":"T. Mossakowski","year":"2002","unstructured":"T. Mossakowski and B. Klin. Institution-independent static analysis for Casl. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT 2001, Genova. Springer LNCS, to appear (this volume)."},{"key":"16_CR66","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/BFb0030591","volume-title":"CoFI: the common framework initiative for algebraic Specification and development","author":"P. Mosses","year":"1997","unstructured":"P. Mosses. CoFI: the common framework initiative for algebraic Specification and development. Proc. 7th Intl. Joint Conf. on Theory and Practice of Software Development, Lille. Springer LNCS 1214, 115\u2013137 (1997)."},{"key":"16_CR67","doi-asserted-by":"crossref","unstructured":"P. Mosses. Casl for ASF+SDF users. ASF+SDF\u2019 97, Proc. 2nd Intl. Workshop on the Theory and Practice of Algebraic Specifications, volume ASFSDF-97 of Electronic Workshops in Computing. British Computer Society, http:\/\/www.ewic.org.uk\/ewic\/workshop\/list.cfm (1997).","DOI":"10.7146\/brics.v4i49.19270"},{"key":"16_CR68","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1007\/3-540-48483-3_15","volume-title":"Recent Trends in Algebraic Development Techniques: Selected Papers from WADT\u201998","author":"P. Mosses","year":"1999","unstructured":"P. Mosses. Casl: a guided tour of its design. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT\u201998, Lisbon. Springer LNCS 1589, 216\u2013240 (1999)."},{"key":"16_CR69","doi-asserted-by":"crossref","unstructured":"P. Mosses. Casl for CafeOBJ users. Chapter 6 of K. Futatsugi, A. T. Nakagawa and T. Tamai (eds.), CAFE: An Industrial-Strength Algebraic Formal Method, 121\u2013144. Elsevier (2000).","DOI":"10.1016\/B978-044450556-9\/50066-6"},{"key":"16_CR70","unstructured":"P. Mosses. Casl and Action Semantics. In AS 2000, number NS-00-6 in Notes Series, 62\u201378, BRICS, Univ. of Aarhus (2000)."},{"key":"16_CR71","first-page":"153","volume":"59","author":"P. Mosses","year":"2001","unstructured":"P. Mosses. CoFI: The Common Framework Initiative for algebraic Specification and development. In G. P\u01ceun, G. Rozenberg and A. Salomaa (eds.), Current Trends in Theoretical Computer Science: Entering the 21st Century, 153\u2013163. World Scientific (2001). An earlier version appeared in Bull. EATCS 59:127-132 (1996).","journal-title":"Bull. EATCS"},{"key":"16_CR72","unstructured":"G. Plotkin, J. Power, D. Sannella and R. Tennent. Lax logical relations. Proc. 27th Intl. Colloq. on Automata, Languages and Programming, Geneva. Springer 1853, 85\u2013102 (2000)."},{"key":"16_CR73","unstructured":"G. Reggio, E. Astesiano and C. Choppy. CaslLTL: A Casl extension for dynamic reactive systems-summary. Technical Report DISI-TR-99-34, Universit\u00e0 di Genova (1999)."},{"key":"16_CR74","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/3-540-46428-X_10","volume-title":"Fundamental Approaches to Software Engineering (FASE 2000)","author":"G. Reggio","year":"2000","unstructured":"G. Reggio, E. Astesiano, C. Choppy and H. Hussmann. Analysing UML active classes and associated state machines-a lightweight approach. Fundamental Approaches to Software Engineering (FASE 2000), European Joint Conferences on Theory and Practice of Software, Berlin. Springer LNCS 1783, 127\u2013146 (2000)."},{"key":"16_CR75","unstructured":"G. Reggio, M. Cerioli and E. Astesiano. An algebraic semantics of UML supporting its multiview approach. Proc. 2nd AMAST Workshop on Algebraic Methods in Language Processing (AMILP 2000), number 16 in TwenteWorkshop on Language Processing, Enschede (2000)."},{"key":"16_CR76","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/3-540-45314-8_13","volume-title":"Fundamental Approaches to Software Engineering (FASE 2001)","author":"G. Reggio","year":"2001","unstructured":"G. Reggio, M. Cerioli and E. Astesiano. Towards a rigorous semantics of UML supporting its multiview approach. Fundamental Approaches to Software Engineering (FASE 2001), European Joint Conferences on Theory and Practice of Software, Genova. Springer LNCS 2029, 171\u2013186 (2001)."},{"key":"16_CR77","unstructured":"G. Reggio and L. Repetto. CaslCHART: Syntax and semantics. Technical Report DISI-TR-00-1, Universit\u00e0 di Genova (2000)."},{"key":"16_CR78","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/3-540-45499-3_19","volume-title":"CaslCHART: A combination of statecharts and of the algebraic Specification language Casl","author":"G. Reggio","year":"2000","unstructured":"G. Reggio and L. Repetto. CaslCHART: A combination of statecharts and of the algebraic Specification language Casl. Proceedings of AMAST 2000, Iowa City. Springer LNCS 1816, 243\u2013257 (2000)."},{"key":"16_CR79","unstructured":"M. Roggenbach. Casl tutorial at LFM 2000 (2000). Slides available at http:\/\/www.tzi.de\/~roba\/tutorial.ps ."},{"key":"16_CR80","unstructured":"M. Roggenbach. An annotated list of URLs related with CoFI and Casl. On a CD ROM distributed to participants of the Fifth NASA Langley Formal Methods Workshop (2000). Also available from http:\/\/www.informatik.uni-bremen.de\/~roba\/URL.txt ."},{"key":"16_CR81","unstructured":"M. Roggenbach and T. Mossakowski. Proposal of some annotations and literal syntax in Casl. CoFI Note L-11, in [28] (1999)."},{"key":"16_CR82","unstructured":"M. Roggenbach and T. Mossakowski. Basic datatypes in Casl. CoFI Note L-12, version 0.4.1, in [28] (2000)."},{"key":"16_CR83","series-title":"Lect Notes Comput Sci","volume-title":"Recent Trends in Algebraic Development Techniques: Selected Papers from WADT 2001","author":"M. Roggenbach","year":"2002","unstructured":"M. Roggenbach and L. Schr\u00f6der. Towards trustworthy Specifications I: Consistency checks. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT 2001, Genova. Springer LNCS, to appear (this volume)."},{"key":"16_CR84","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1007\/978-3-540-44616-3_9","volume-title":"Recent Trends in Algebraic Development Techniques: Selected Papers from WADT\u201999","author":"M. Roggenbach","year":"2000","unstructured":"M. Roggenbach, L. Schr\u00f6der and T. Mossakowski. Specifying real numbers in Casl. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT\u201999, Bonas. Springer LNCS 1827, 146\u2013161 (2000)."},{"key":"16_CR85","unstructured":"G. Sala\u00fcn, M. Allemand and C. Attiogb\u00e9. Formal combination of the CCS process algebra with the Casl algebraic Specification language. Presented at WADT\/CoFI 2001, Genova (2001)."},{"key":"16_CR86","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"The Common Framework Initiative for algebraic Specification and development of software","author":"D. Sannella","year":"2000","unstructured":"D. Sannella. The Common Framework Initiative for algebraic Specification and development of software. Proc. 3rd Intl. Conf. on Perspectives of System Informatics (PSI\u201999), Novosibirsk. Springer LNCS 1755, 1\u20139 (2000)."},{"key":"16_CR87","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Algebraic Specification and program development by stepwise refinement","author":"D. Sannella","year":"2000","unstructured":"D. Sannella. Algebraic Specification and program development by stepwise refinement. Proc. 9th Intl. Workshop on Logic-based Program Synthesis and Transformation, LOPSTR\u201999, Venice. Springer LNCS 1817, 1\u20139 (2000)."},{"key":"16_CR88","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/BF01211084","volume":"9","author":"D. Sannella","year":"1997","unstructured":"D. Sannella and A. Tarlecki. Essential concepts of algebraic Specification and program development. Formal Aspects of Computing 9:229\u2013269 (1997).","journal-title":"Formal Aspects of Computing"},{"key":"16_CR89","unstructured":"D. Sannella and A. Tarlecki. Foundations of Algebraic Specifications and Formal Program Development. Cambridge Univ. Press, to appear."},{"key":"16_CR90","doi-asserted-by":"crossref","unstructured":"L. Schr\u00f6der and T. Mossakowski. HasCasl: Towards integrated Specification and development of Haskell programs. Submitted for publication (2001).","DOI":"10.1007\/3-540-45719-4_8"},{"key":"16_CR91","unstructured":"L. Schr\u00f6der, T. Mossakowski and A. Tarlecki. Amalgamation in Casl via enriched signatures. Proc. 28th Intl. Colloq. on Automata, Languages and Programming. Springer 2076, 993\u20131004 (2001)."},{"key":"16_CR92","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/3-540-45314-8_19","volume-title":"Fundamental Approaches to Software Engineering (FASE 2001)","author":"L. Schr\u00f6der","year":"2001","unstructured":"L. Schr\u00f6der, T. Mossakowski, A. Tarlecki, P. Hoffman and B. Klin. Semantics of architectural Specifications in Casl. Fundamental Approaches to Software Engineering (FASE 2001), European Joint Conferences on Theory and Practice of Software, Genova. Springer LNCS 2029, 253\u2013268 (2001)."},{"key":"16_CR93","unstructured":"E. Wagner. On the category of Casl signatures. Presented at WADT\u201999, Bonas (1999)."},{"key":"16_CR94","unstructured":"R. Wieringa, E. Astesiano, G. Reggio, A. Le Guennec, H. Hussmann, K. van den Berg and P. van den Broek. Is it feasible to construct a semantics for all of UML? Dynamic behaviour and concurrency. ECOOP Workshop Reader: UML Semantics FAQ (1999)."},{"key":"16_CR95","doi-asserted-by":"crossref","unstructured":"M. Wirsing. Algebraic Specification. Handbook of Theoretical Computer Science (J. van Leeuwen, ed.). North-Holland (1990).","DOI":"10.1016\/B978-0-444-88074-1.50018-4"}],"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_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T07:39:37Z","timestamp":1556437177000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45645-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540431596","9783540456452"],"references-count":95,"URL":"https:\/\/doi.org\/10.1007\/3-540-45645-7_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}