References

References

 [1]

Egidio Astesiano, Hans-Jörg Kreowski, and Bernd Krieg-Brückner (eds.). Algebraic Foundations of System Specification. IFIP State-of-the-Art Reports, Springer 1999.

 [2]

Egidio Astesiano and Gianna Reggio. UML as Heterogeneous Multiview Notation: Strategies for a Formal Foundation. In Proc. of OOPSLA'98 Workshop `Formalizing UML. Why? How?' Technical report, Universidade Nova de Lisboa, 1998.

 [3]

Serge Autexier, Dieter Hutter, Heiko Mantel, and Axel Schairer. INKA 5.0: a logic voyager. Proc. 16th Intl. Conference on Automated Deduction, Trento. LNAI volume 1632, pages 207-211. Springer, 1999. (For the INKA system see also http://www.dfki.de/vse/systems/inka/.)

 [4]

Serge Autexier, Dieter Hutter, Heiko Mantel, and Axel Schairer. Towards an Evolutionary Formal Software Development Using Casl. In Christine Choppy, Didier Bert, and Peter Mosses (eds.): Recent Developments in Algebraic Development Techniques, 14th International Workshop, WADT'99, Chateau de Bonas, France. LNCS volume 1827, pages 73-88. Springer, 2000.

 [5]

Jan Bergstra and Paul Klint. The discrete time ToolBus: A software coordination architecture. Science of Computer Programming, Volume 31, Number 2-3, pages 205-229. 1998.

 [6]

M. Bidoit, H.-J. Kreowski, P. Lescanne, F. Orejas, and D. Sannella, editors. Algebraic System Specification and Software Development: A Survey and Annotated Bibliography, volume 501 of Lecture Notes in Computer Science. Springer-Verlag, 1991. http://www.dcs.ed.ac.uk/~dts/pub/compass.tex.Z.

 [7]

Mark G. J. van den Brand. The Amsterdam Parser for Casl. http://adam.wins.uva.nl/ markvdb/cofi/casl.html

 [8]

Mark G. J. van den Brand, Hayco A. de Jong, Paul Klint and Pieter A. Olivier. Efficient Annotated Terms. Software-Practice and Experience 30, pp 259-291, Wiley, 2000. (For the ATerm library see http://www.cwi.nl/projects/MetaEnv/aterm/.)

 [9]

Mark G.J. van den Brand and Jeroen Scheerder. Development of Parsing Tools for Casl Using Generic Language Technology. In Christine Choppy, Didier Bert, and Peter Mosses (eds.): Recent Developments in Algebraic Development Techniques, 14th International Workshop, WADT'99, Chateau de Bonas, France. LNCS volume 1827, pages 89-105. Springer, 2000.

 [10]

Maura Cerioli, Martin Gogolla, Hélène Kirchner, Bernd Krieg-Brückner, Zhenyu Qian, and Markus Wolf (eds.). Algebraic System Specification and Development: Survey and Annotated Bibliography. 2nd edition, 1997. Monographs of the Bremen Institute of Safe Systems 3. ISBN 3-8265-4067-0. Shaker, 1998.

 [11]

CoFI. The Common Framework Initiative for algebraic specification and development, electronic archives. Notes and Documents accessible from http://www.brics.dk/Projects/CoFI.

 [12]

CoFI Language Design Task Group. Casl - The CoFI Algebraic Specification Language - Design Proposal. Documents/CASL/Proposal, in [11], May 1997.

 [13]

CoFI Language Design Task Group. Response to the Referee Report on Casl. Documents/CASL/RefereeResponse (final response), in [11], Mar. 2000.

 [14]

CoFI Language Design Task Group. Casl - The CoFI Algebraic Specification Language - Summary. Documents/CASL/Summary, in [11], Mar. 2001.

 [15]

CoFI Semantics Task Group. Casl - The CoFI Algebraic Specification Language (version 0.97) - Semantics. Note S-6, in [11], July 1997.

 [16]

CoFI Reactive Systems Task Group. Pattern for proposals of Casl extensions for Reactive Systems. Reactive/Pattern/, in [11].

 [17]

CoFI Semantics Task Group. Casl - The CoFI Algebraic Specification Language - Semantics. Documents/CASL/Semantics (version 0.96), in [11], July 1999.

 [18]

CoFI Tools Task Group. The CoFI Tools Group Home Page. http://www.loria.fr/ hkirchne/CoFI/Tools/index.html

 [19]

CoFI (The Common Framework Initiative). CASL Reference Manual. LNCS 2960 (IFIP Series). Springer, 2004.

 [20]

GNU project. htpp://www.gnu.org/.

 [21]

Joseph Goguen and Rod Burstall. Institutions: abstract model theory for specification and programming. Journal of the Assoc. for Computing Machinery 39:95-146 (1992).

 [22]

J. J. Horning. The Larch Shared Language: Some open problems. Slides for an invited talk at WADT'95, Soria Moria, Norway. http://www.research.digital.com/SRC/larch/WADT11.ps, Sept. 1995.

 [23]

Heinrich Hußmann, Maura Cerioli, Gianna Reggio, and Françoise Tort. Abstract Data Types and UML Models. Technical report, DISI - Università di Genova, DISI-TR-99-15, 1999.

 [24]

IFIP WG 1.3. Referee Report on Casl. Documents/CASL/RefereeReport (referring to Casl version 0.97), in [11], June 1997.

 [25]

Cliff B. Jones. Systematic Software Development using VDM. Prentice Hall, 1986.

 [26]

E. W. Karlsen. Interoperability of Casl tools using CORBA. Note T-5, in [11], Oct. 1997.

 [27]

H. Kirchner and C. Ringeissen. Executing Casl equational specifications with the ELAN rewrite engine. Note T-9 (revised version), in [11], Nov. 2000.

 [28]

Bernd Krieg-Brückner. Seven Years of Compass. In 11th Workshop on Specification of Abstract Data Types, Joint with the 8th Compass Workshop, Oslo, LNCS volume 1130, pages 1-13. Springer, 1996.

 [29]

Bernd Krieg-Brückner, Jan Peleska, Ernst-Rüdiger Olderog, and Alexander Baer. The UniForM Workbench, a Universal Development Environment for Formal Methods. In: J. M. Wing, J. Woodcock, and J. Davies (eds.): FM'99, Formal Methods. Proceedings, Vol. II. LNCS Volume 1709, pages 1186-1205. Springer, 1999. (for the UniForM Workbench tools see also http://www.informatik.uni-bremen.de/ uniform)

 [30]

Jacques Loeckx, Hans-Dieter Ehrich, and Markus Wolf. Specification of Abstract Data Types. Wiley, 1996.

 [31]

Pierre-Etienne Moreau and Hélène Kirchner. A compiler for rewrite programs in associative-commutative theories. In C. Palamidessi, H. Glaser, and K. Meinke, editors, Principles of Declarative Programming, LNCS volume 1490, pages 230-249. Springer, September 1998. Report LORIA 98-R-226.

 [32]

T. Mossakowski. Sublanguages of Casl. Note L-7, in [11], Dec. 1997.

 [33]

T. Mossakowski. Two "functional programming" sublanguages of Casl. Note L-9, in [11], Mar. 1998.

 [34]

T. Mossakowski. Translating OBJ3 to Casl: The institution level. In Recent Trends in Algebraic Development Techniques, Proc. 13th International Workshop, WADT '98, Lisbon, 1998, Selected Papers, volume 1589 of LNCS, pages 198-214. Springer-Verlag, 1999.

 [35]

Till Mossakowski. Specifications in an arbitrary institution with symbols. In Christine Choppy, Didier Bert, and Peter Mosses (eds.): Recent Developments in Algebraic Development Techniques, 14th International Workshop, WADT'99, Chateau de Bonas, France. LNCS volume 1827, pages 252-270. Springer, 2000.

 [36]

Till Mossakowski. Relating Casl with Other Specification Languages: the Institution Level. Theoretical Computer Science, to appear.

 [37]

Till Mossakowski. Casl: From Semantics to Tools. In S. Graf (eds.) TACAS 2000, LNCS volume 1785, pages 93-108. Springer, 2000.

 [38]

Till Mossakowski, Anne Haxthausen, and Bernd Krieg-Brückner. Subsorted Partial Higher-Order Logic as an Extension of Casl. In Christine Choppy, Didier Bert, and Peter Mosses (eds.): Recent Developments in Algebraic Development Techniques, 14th International Workshop, WADT'99, Chateau de Bonas, France. LNCS volume 1827, pages 126-145. Springer, 2000.

 [39]

T. Mossakowski, Kolyang, and B. Krieg-Brückner. Static semantic analysis and theorem proving for Casl. In Recent Trends in Algebraic Development Techniques, Proc. 12th International Workshop, WADT '97, Tarquinia, 1997, Selected Papers, volume 1376 of LNCS, pages 333-348. Springer-Verlag, 1998.

 [40]

T. Mossakowski and M. Roggenbach. The datatypes REAL and COMPLEX in Casl. Note M-7, in [11], Apr. 1999.

 [41]

P. D. Mosses. CoFI: The Common Framework Initiative for algebraic specification. Bull. EATCS, (59):127-132, June 1996.

 [42]

P. D. Mosses. Formatting CoFI documents using LaTeX. Note C-1, in [11], May 1997.

 [43]

P. D. Mosses. CoFI: The Common Framework Initiative for Algebraic Specification and Development. In TAPSOFT '97, Proc. Intl. Symp. on Theory and Practice of Software Development, volume 1214 of LNCS, pages 115-137. Springer-Verlag, 1997.

 [44]

P. D. Mosses. Formatting Casl specifications using LaTeX. Note C-2, in [11], June 1998.

 [45]

Bengt Nordström, Kent Petersson, and Jan Smith. Programming in Martin-Löf's Type Theory: An Introduction. Oxford Univ. Press, 1990.

 [46]

Gianna Reggio, Egidio Astesiano, Christine Choppy, and Heinrich Hußmann. Making Precise UML Active Classes Modeled by State Charts. Technical report, DISI - Università di Genova, DISI-TR-99-14, 1999.

 [47]

Wolfgang Reif. The KIV-approach to Software Verification. In KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final Report, LNCS volume 1009, pages 339-368. Springer, 1995. (For the KIV system see also http://www.informatik.uni-ulm.de/pm/kiv/kiv.html.)

 [48]

M. Roggenbach and T. Mossakowski. Basic datatypes in Casl. Note L-12, version 0.4.1, in [11], May 2000.

 [49]

Markus Roggenbach, Lutz Schröder, and Till Mossakowski. Specifying Real Numbers in Casl. In Christine Choppy, Didier Bert and Peter Mosses (eds.): Recent Developments in Algebraic Development Techniques, 14th International Workshop, WADT'99, Chateau de Bonas, France. LNCS volume 1827, pages 146-161. Springer, 2000.

 [50]

Donald Sannella and Andrzej Tarlecki. Essential concepts of algebraic specification and program development. Formal Aspects of Computing 9, pages 229-269 (1997).

 [51]

Donald Sannella and Andrzej Tarlecki. Foundations of Algebraic Specifications and Formal Program Development. Cambridge Univ. Press, to appear.

 [52]

D. T. Sannella and M. Wirsing. Specification languages. First draft version of a chapter of Algebraic Foundations of Systems Specification. http://www.dcs.ed.ac.uk/~dts/pub/spec-lang.ps, Sept. 1995.

 [53]

Christophe Tronche. The Cachan Parser for Casl. http://www.lsv.ens-cachan.fr/ tronche/cofi/

 [54]

Martin Wirsing. Algebraic specification. In: J. van Leeuwen, (ed.) Handbook of Theoretical Computer Science, Volume B, pages 675-788. North-Holland, 1990.

References