The common framework initiative for algebraic specification and development of software

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1755, Issue , 2000, Pages 1-9

  Sannella, Donald ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COBALT COMPOUNDS; FORMAL SPECIFICATION; INTERNATIONAL COOPERATION; SOFTWARE DESIGN; SPECIFICATION LANGUAGES;

ALGEBRAIC SPECIFICATION LANGUAGES; ALGEBRAIC SPECIFICATIONS; FUNCTIONAL REQUIREMENT; INTERNATIONAL COLLABORATIONS; MODULAR SOFTWARE DESIGNS; PAST AND PRESENT;

FLUORINE COMPOUNDS;

EID: 84893089988     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46562-6_1     Document Type: Conference Paper

References (20)

1. R. Allen and D. Garlan. A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology, July 1997.
2. E. Astesiano, H.-J. Kreowski and B. Krieg-Brückner (eds.). Algebraic Foundations of Systems Specification. Springer (1999).
3. S. Autexier, D. Hutter, H. Mantel and A. Schairer. Inka 5. 0: a logic voyager. Proc. 16th Intl. Conference on Automated Deduction, Trento. Springer LNAI 1632, 207-211 (1999).
4. 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).
5. M. Bidoit, D. Sannella and A. Tarlecki. Architectural specifications in Casl. Proc. 7th Intl. Conference on Algebraic Methodology and Software Technology, Manaus, Brazil. Springer LNCS 1548, 341-357 (1999).
6. M. van den Brand, P. Klint and P. Olivier. ATerms: exchanging data between heterogeneous tools for Casl. CoFI Note T-3, http://www. brics. dk/Projects/CoFI/Notes/T-3/ (1998).
7. CoFI Task Group on Language Design. Casl-The CoFI algebraic specification language-Summary (version 1. 0). http://www. brics. dk/Projects/CoFI/Documents/CASL/Summary/ (1998).
8. CoFI Task Group on Semantics. Casl-The CoFI algebraic specification language-Semantics (version 1. 0). CoFI Note S-9, http://www. brics. dk/Projects/CoFI/Notes/S-9/ (1999).
9. J. Goguen and R. Burstall. Institutions: abstract model theory for speci fication and programming. Journal of the Assoc. for Computing Machinery 39:95-146 (1992).
10. T. Mossakowski. Institution-independent semantics for Casl-in-the-large. CoFI Note S-8, http://www. brics. dk/Projects/CoFI/Notes/S-8/ (1998).
11. T. Mossakowski, A. Haxthausen and B. Krieg-Brückner. Subsorted partial higher-order logic as an extension of Casl. CoFI Note L-10, http://www. brics. dk/Projects/CoFI/Notes/L-10/ (1998).
12. T. Mossakowski, Kolyangand B. Krieg-Brückner. Static semantic analysis and theorem proving for Casl. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT'97, Tarquinia. Springer LNCS 1376, 333-348 (1998).
13. J. Loeckx, H.-D. Ehrich and M. Wolf. Specification of Abstract Data Types. Wiley (1996).
14. P. Mosses. CoFI: the common framework initiative for algebraic speci fication and development. Proc. 7th Intl. Joint Conf. on Theory and Practice of Software Development, Lille. Springer LNCS 1214, 115-137 (1997).
15. P. Mosses. Casl: a guided tour of its design. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT'98, Lisbon. Springer LNCS 1589, 216-240 (1999).
16. B. Nordström, K. Petersson and J. Smith. Programming in Martin-Löf 's Type Theory: An Introduction. Oxford Univ. Press (1990).
17. L. Paulson. Isabelle: A Generic Theorem Prover. Springer LNCS 828 (1994).
18. D. Sannella and A. Tarlecki. Essential concepts of algebraic specification and program development. Formal Aspects of Computing 9:229-269 (1997).
19. D. Sannella and A. Tarlecki. Foundations of Algebraic Specifications and Formal Program Development. Cambridge Univ. Press, to appear.
20. M. Wirsing. Algebraic specification. Handbook of Theoretical Computer Science (J. van Leeuwen, ed.). North-Holland (1990).