IndexTop10 Library ConstructsReferences

References

 [BST98]
Michel Bidoit, Donald Sannella, and Andrzej Tarlecki. Architectural specifications in CASL. In AMAST '98, Proc. 7th Intl. Conference on Algebraic Methodology and Software Technology, Manaus, volume 1548 of LNCS, pages 341-357. Springer-Verlag, 1998.
 [BST00]
Michel Bidoit, Don Sannella, and Andrzej Tarlecki. Architectural specifications in CASL. Note M-4 (submitted for publication), in [CoF], November 2000.
 [CoF]
CoFI. The Common Framework Initiative for algebraic specification and development, electronic archives. Notes and Documents accessible from http://www.brics.dk/Projects/CoFI/.
 [CoF96]
CoFI Language Design Task Group. CASL - The CoFI Algebraic Specification Language (Tentative Design, version 0.95) - Language Summary. Documents/Tentative/LanguageSummary, in [CoF], December 1996.
 [CoF97a]
CoFI Language Design Task Group. Response to the Referee Report on CASL. Documents/CASL/RefereeResponse (initial response, referring to CASL version 0.97), in [CoF], August 1997.
 [CoF97b]
CoFI Language Design Task Group. CASL - The CoFI Algebraic Specification Language - Summary, version 0.97. Documents/CASL/Summary-v0.97, in [CoF], May 1997.
 [CoF97c]
CoFI Semantics Task Group. CASL - The CoFI Algebraic Specification Language (Tentative Design, version 0.95) - Language Summary, with annotations concerning questions and doubts. Note S-1 (revised), in [CoF], April 1997.
 [CoF97d]
CoFI Semantics Task Group. CASL - The CoFI Algebraic Specification Language (Tentative Design, version 0.95) - Language Summary, with annotations concerning the semantics of constructs. Note S-4, in [CoF], April 1997.
 [CoF97e]
CoFI Semantics Task Group. CASL - The CoFI Algebraic Specification Language (version 0.97) - Semantics. Note S-6, in [CoF], July 1997.
 [CoF99]
CoFI Semantics Task Group. CASL - The CoFI Algebraic Specification Language - Semantics. Documents/CASL/Semantics (version 0.96), in [CoF], July 1999.
 [CoF00]
CoFI Language Design Task Group. Response to the Referee Report on CASL. Documents/CASL/RefereeResponse (final response), in [CoF], March 2000.
 [GB92]
Joseph A. Goguen and Rodney M. Burstall. Institutions: abstract model theory for specification and programming. Journal of the ACM, 39(1):95-146, 1992.
 [IFI97]
IFIP WG 1.3. Referee Report on CASL. Documents/CASL/RefereeReport (referring to CASL version 0.97), in [CoF], June 1997.
 [Mos97]
Peter 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.
 [Mos98]
Peter D. Mosses. Formatting CASL specifications using LaTeX. Note C-2, in [CoF], June 1998.
 [RM00]
Markus Roggenbach and Till Mossakowski. Basic datatypes in CASL. Note L-12, version 0.4.1, in [CoF], May 2000.
 [SMT+01]
Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Piotr Hoffman, and Bartosz Klin. Semantics of architectural specifications in CASL. In Fundamental Approaches to Software Engineering (FASE2001), LNCS. Springer, 2001. To appear.

CoFI Document: CASL/Summary -- Version: 1.0.1 -- 25 March 2001.
Comments to cofi-language@brics.dk

IndexTop10 Library ConstructsReferences