Verifying architectural specifications

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

Volumn 2267 LNCS, Issue , 2002, Pages 152-175

  Hoffman, Piotr ^a  

^a UNIVERSITY OF WARSAW   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; ARCHITECTURE; FORMAL LOGIC; SEMANTICS; SPECIFICATION LANGUAGES;

ARCHITECTURAL SPECIFICATIONS; FIRST ORDER LOGIC; IMPLEMENTATION STEPS; PROGRAM DEVELOPMENT; SOUND AND COMPLETE;

SPECIFICATIONS;

EID: 84893035421     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45645-7_8     Document Type: Conference Paper

References (17)

1. M. Bidoit, M. V. Cengarle, R. Hennicker: Proof Systems for Structured Specifications and Their Refinements. In E. Astesiano, H.-J. Kreowski, B. Krieg-Brückner (eds.): Algebraic Foundations of Systems Specification, pp. 385-434. Springer, 1999.
2. T. Borzyszkowski: Completeness of a logical system for structured specifications. In F. Parisi Presicce (ed.): Recent Trends in Algebraic Development Techniques, Selected Papers, 12th Intl.Workshop, Proc. WADT'97, LNCS 1376, pp. 107-121. Springer, 1998.
3. M. Bidoit, D. Sannella, A. Tarlecki. Architectural Specifications in CASL. In: Proc. 7th Intl. Conference on Algebraic Methodology and Software Technology (AMAST'98), LNCS 1548, pp. 341-357. Springer, 1999; final version to appear in Formal Aspects of Computing.
4. E. Astesiano, M. Bidoit, H. Kirchner, B. Krieg-Brückner, P. Mosses, D. Sannella, A. Tarlecki. CASL: The Common Algebraic Specification Language. Theoretical Computer Science (to appear).
5. CoFI: CASL - Summary, version 1.0. In: Documents/CASL/Summary, [CoFI]. 1999.
6. CoFI: CASL - Semantics, version 1.0. In: Documents/CASL/Semantics, note S-9, [CoFI]. 2000.
7. CoFI, The Common Framework Initiative for Algebraic Specification and Development. Documents accessible at http://www.brics.dk/Projects/CoFI and ftp://ftp.brics.dk/Projects/CoFI.
8. J. Goguen, R. Burstall: Some fundamental algebraic tools for the semantics of computation. Part 1: Comma categories, colimits, signatures, and theories. Theoretical Computer Science 31(2), pp. 175-209 (1984)
9. J. Goguen, R. Burstall: Institutions: abstract model theory for specification and programming. Journal of the ACM 39, pp. 95-146 (1992).
10. B. Klin, P. Hoffman, A. Tarlecki, L. Schröder, T. Mossakowski: Checking Amalgamability Conditions for CASL Architectural Specifications. In J. Sgall, A. Pultr, P. Kolman (eds.): Proc. 26th Intl. Symp. on Mathematical Foundations of Computer Science (MFCS'01), LNCS 2136, pp. 451-463. Springer, 2001.
11. P. Padawitz: Proof in Flat Specifications. In E. Astesiano, H.-J. Kreowski, B. Krieg-Brückner (eds.): Algebraic Foundations of Systems Specification, pp. 321-384. Springer, 1999.
12. L. Paulson: ML for the Working Programmer. Cambridge University Press, 1991.
13. L. Schröder, T. Mossakowski, A. Tarlecki: Amalgamation in CASL via Enriched Signatures. In F. Orejas, P. Spirakis, J. van Leeuwen (eds.): Proc. 28th Intl. Coll. on Automata, Languages and Programming (ICALP'01), LNCS 2076, pp. 993-1004. Springer, 2001.
14. L. Schröder, T. Mossakowski, A. Tarlecki, B. Klin, P. Hoffman: Semantics of Architectural Specifications in CASL. In H. Hussmann (ed.): Proc. 4th Intl. Conf. on Fundamental Approaches to Software Engineering (FASE'01), LNCS 2029, pp. 253-268. Springer, 2001.
15. D. Sannella, A. Tarlecki: Specifications in an Arbitrary Institution. Information and Computation vol. 76, 2/3, pp. 165-210 (1988).
16. D. Sannella, A. Tarlecki: Essential Concepts of Algebraic Specification and Program Development. Formal Aspects of Computing 9, pp. 229-269 (1997).
17. A. Tarlecki: Institutions: An Abstract Framework for Formal Specifications. In E. Astesiano, H.-J. Kreowski, B. Krieg-Brückner (eds.): Algebraic Foundations of Systems Specification, pp. 105-130. Springer, 1999.