Architectural specifications in CASL

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

Volumn 1548, Issue , 1998, Pages 341-357

  Bidoit, Michel ^a   Sannella, Donald ^b   Tarlecki, Andrzej ^c  

^a CNRS   (France)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

^c UNIVERSITY OF WARSAW   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; SEMANTICS; SOFTWARE ENGINEERING; SPECIFICATION LANGUAGES;

ARCHITECTURAL SPECIFICATIONS; COMMON ALGEBRAIC SPECIFICATION LANGUAGES; DEVELOPMENT PROCESS; MODULAR STRUCTURES; SOFTWARE SYSTEMS;

SPECIFICATIONS;

EID: 84957676091     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49253-4_25     Document Type: Conference Paper

References (26)

1. R. Allen and D. Garlan. A Formal Basis for Architectural Connection. ACM Transactions on Software Engineering and Methodology, July 1997.
2. M. Bidoit. The stratified loose approach: a generalization of initial and loose semantics. Selected Papers from the 5th Workshop on Specification of Abstract Data Types, Gullane. Springer LNCS 332, 1-22 (1988).
3. M. Bidoit and R. Hennicker. A general framework for modular implementations of modular systems. Proc. 5th Joint Conf. on Theory and Practice of Software Development, Orsay. Springer LNCS 668, 199-214 (1993).
4. M. Bidoit and R. Hennicker. Modular correctness proofs of behavioural implementations. Acta Informatica, to appear (199?).
5. R. Burstall and J. Goguen. Putting theories together to make Specifications. Proc. 5th Intl. Joint Conf. on Artificial Intelligence, Cambridge, 1045-1058 (1977).
6. The Common Framework Initiative. Catalogue of existing frameworks. http://www.brics.dk/Projects/CoFI/Catalogue.html (1996).
7. The Common Framework Initiative. CoFI: The Common Framework Initiative for algebraic Specification and development (WWW pages). http://www.brics.dk/Projects/CoFI/ (1998).
8. 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).
9. CoFI Task Group on Semantics. Casl-The CoFI algebraic Specification language-Semantics (version 1.0). To appear (1998).
10. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification I: Equations and Initial Semantics. Springer (1985).
11. J. Fitzgerald and C. Jones. Modularizing the formal description of a database system. Proc. VDM'90 Conference, Kiel. Springer LNCS 428, 198-210 (1990).
12. J. Goguen and R. Burstall. CAT, a system for the structured elaboration of correct programs from structured Specifications. Technical report CSL-118, SRI International (1980).
13. J. Goguen and R. Burstall. Institutions: abstract model theory for specification and programming. Journal of the Assoc. for Computing Machinery 39:95-146 (1992).
14. J. Guttag and J. Horning. Larch: Languages and Tools for Formal Specification. Springer (1993).
15. R. Hennicker and F. Nickl. A behavioural algebraic framework for modular system design and reuse. Recent Trends in Data Type Specifications. Proc. 9th Workshop on Specification of Abstract Data Types ADT'92, Caldes de Mavella, Springer LNCS 785, 220-234.
16. B. Krieg-Brückner and D. Sannella. Structuring Specifications in-the-large and in-the-small: higher-order functions, dependent types and inheritance in SPECTRAL. Proc. Colloq. on Combining Paradigms for Software De-velopment, Joint Conf. on Theory and Practice of Software Development (TAPSOFT), Brighton. Springer LNCS 494, 313-336 (1991).
17. J. Morris and S. Ahmed. Designing and refining Specifications with modules. Proc. 3rd Refinement Workshop, Hursley Park, 1990. Springer Workshops in Computing, 73-95 (1991).
18. T. Mossakowski. Institution-independent semantics for Casl-in-the-large. CoFI note S-8 (1998).
19. 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-137 (1997).
20. M. Navarro, F. Orejas and A. Sanchez. On the correctness of modular systems. Theoretical Computer Science 140:139-177 (1995).
21. D. Sannella, S. Soko lowski and A. Tarlecki. Toward formal development of programs from algebraic Specifications: parameterisation revisited. Acta Informatica 29:689-736 (1992).
22. D. Sannella and A. Tarlecki. Toward formal development of ML programs: foundations and methodology. Proc. 3rd Joint Conf. on Theory and Prac-tice of Software Development, Barcelona. Springer LNCS 352, 375-389 (1989).
23. D. Sannella and A. Tarlecki. Essential concepts of algebraic Specification and program development. Formal Aspects of Computing 9:229-269 (1997).
24. D. Sannella and M. Wirsing. A kernel language for algebraic Specification and implementation. Proc. 1983 Intl. Conf. on Foundations of Computation Theory, Borgholm. Springer LNCS 158, 413-427 (1983).
25. D. Sannella and M Wirsing. Specification languages. Chapter 8 of Algebraic Foundations of Systems Specification (eds. E. Astesiano, H.-J. Kreowski and B. Krieg-Brückner). Springer, to appear (1998).
26. O. Schoett. Data Abstraction and the Correctness of Modular Programming. Ph.D. thesis, report CST-42-87, Dept. of Computer Science, Univ. of Edinburgh (1987).