Egidio Astesiano, Michel Bidoit, Bernd Krieg-Brückner, Hélène Kirchner, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki  Home/Search
Context Related
| mimuw.edu.pl/~tarlecki/k...AT2vii99.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: mimuw.edu.pl/~tarlecki/k...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Casl is an expressive language for the formal specification of functional requirements and modular design of software. It has been designed by CoFI, the international Common Framework Initiative for algebraic specification and development. It is based on a critical selection of features that have already been explored in various contexts, including subsorts, partial functions, first-order logic, and structured and architectural specifications. Casl should facilitate interoperability of many... (Update)
Cited by: More
Relational Analysis of Algebraic Datatypes - Viktor Kuncak Massachusetts (2005) (Correct)
Integration of Formal Datatypes within State Diagrams - Christian Attiogb Pascal (2003) (Correct)
Trustable Communication between Mathematics Systems - Carette, Farmer, Wajs (2003) (Correct)
Similar documents (at the sentence level):
48.3%: CASL: A Guided Tour of its Design - Mosses (1999) (Correct)
21.1%: CASL: The Common Algebraic Specification Language - Astesiano, Bidoit.. (2000) (Correct)
13.5%: The Common Framework Initiative for algebraic specification and.. - Sannella (1999) (Correct)
Active bibliography (related documents): More All
2.6: CoFI WG 29432 - Interim report 1 October 1998 - 30 September 1999 - Sannella (1999) (Correct)
0.6: CASL: From Semantics to Tools - Mossakowski (2000) (Correct)
0.5: Basic Datatypes in CASL - Roggenbach, Mossakowski, Schröder (2000) (Correct)
Similar documents based on text: More All
1.0: From specifications to code in Casl - Aspinall, Sannella (2002) (Correct)
0.9: Architectural specifications in CASL - Bidoit, Sannella, al. (1999) (Correct)
0.7: The Common Framework Initiative for algebraic specification and.. - Sannella (1999) (Correct)
Related documents from co-citation: More All
10: Algebraic Foundations of Systems Specification (context) - Astesiano, Kreowski et al. - 1999
8: Institutions: Abstract model theory for specification and programming (context) - Burstall, Goguen - 1992
6: Specification in an arbitrary institution (context) - Sannella, Tarlecki - 1988
BibTeX entry: (Update)
E. Astesiano, M. Bidoit, H. Kirchner, B. Krieg-Bruckner, P.D. Mosses, D. Sannella, and A. Tarlecki. Casl: The Common Algebraic Specification Language. To appear in Theoretical Computer Science (2001). http://citeseer.ist.psu.edu/article/astesiano99casl.html More
@article{ astesiano02casl,
author = "Egidio Astesiano and Michel Bidoit and Hélène Kirchner and Bernd Krieg-Br{\"u}ckner and Peter D. Mosses and Donald Sannella and Andrzej Tarlecki",
title = "{CASL: The Common Algebraic Specification Language}",
journal = "Theoretical Computer Science",
year = "2002",
url = "citeseer.ist.psu.edu/article/astesiano99casl.html" }
Citations (may not include all citations):689 Systematic Software Development using VDM - Jones - 1986
294 Isabelle: A Generic Theorem Prover (context) - Paulson - 1994
234 Institutions: abstract model theory for specification and pr.. (context) - Goguen, Burstall - 1992
224 Algebraic specification (context) - Wirsing - 1990
139 ACM Transactions on Software Engineering and Methodology (context) - Allen, Garlan et al. - 1997
54 CoFI: The Common Framework Initiative for Algebraic Specific.. - Mosses - 1997
54 CoFI: The Common Framework Initiative for algebraic specific.. - Mosses - 1996
51 A kernel language for algebraic specification and implementa.. (context) - Sannella, Wirsing - 1983
44 Algebraic Foundations of System Specification (context) - Astesiano, Kreowski et al. - 1999
40 Specification of Abstract Data Types (context) - Loeckx, Ehrich et al. - 1996
36 The discrete time ToolBus -- A software coordination archite.. - Bergstra, Klint - 1998
29 Casl -- The CoFI Algebraic Specification Language -- Summary (context) - Design, Group - 1998
29 The KIV-approach to Software Verification - Reif - 1995
19 Static semantic analysis and theorem proving for Casl - Mossakowski, Bernd - 1998
18 Algebraic System Specification and Development: A Survey and.. (context) - Bidoit, Kreowski et al. - 1991
16 Architectural specifications in CASL - Bidoit, Sannella et al. - 1998
16 Programming in MartinL of 's Type Theory: An Introduction (context) - Nordstrom, Petersson et al. - 1990
15 Casl -- The CoFI Algebraic Specification Language -- Semanti.. (context) - Task - 1999
15 Foundations of Algebraic Specifications and Formal Program D.. (context) - Sannella, Tarlecki
14 Basic Datatypes in Casl - Roggenbach, Mossakowski - 1999
12 A compiler for rewrite programs in associativecommutative th.. - Moreau, Kirchner - 1998
10 Casl -- The CoFI Algebraic Specification Language (context) - Task - 1997
7 Abstract Data Types and UML Models (context) - Hussmann, Cerioli et al. - 1999
6 Institution-independent semantics for Casl-in-the-large (context) - Mossakowski - 1998
6 Sublanguages of Casl (context) - Mossakowski - 1997
5 Subsorted partial higher-order logic as an extension of Casl (context) - Haxthausen, Krieg-Bruckner et al. - 1998
5 Response to the Referee Report on Casl (context) - Design, Group - 1997
5 The Datatypes REAL and COMPLEX in Casl - Mossakowski, Roggenbach - 1999
4 Casl for ASF+SDF users - Mosses - 1997
4 UML as Heterogeneous Multiview Notation: Strategies for a Fo.. - Astesiano, Reggio - 1998
4 Formatting Casl specifications using L A T E X (context) - Mosses
4 Making Precise UML Active Classes Modeled by State Charts (context) - Reggio, Astesiano et al. - 1999
4 functional programming (context) - Mossakowski - 1998
4 Interoperability of Casl tools using CORBA (context) - Karlsen
3 Seven Years of COMPASS (context) - Krieg-Bruckner - 1996
3 The Cachan Parser for Casl (context) - Tronche
3 a Universal Development Environment for Formal Methods (context) - Krieg-Bruckner, Peleska et al. - 1999
3 Pattern for proposals of Casl extensions for Reactive System.. (context) - Systems, Group
3 The Amsterdam Parser for Casl (context) - van den Brand
2 Translating other specification languages into Casl (context) - Mossakowski - 1999
2 the INKA system see also http://www (context) - Autexier, Hutter et al. - 1999
2 Bernd Krieg-Bruckner and Till Mossakowski (context) - Cerioli, Haxthausen - 1997
2 the Aterm library see http://www (context) - van den Brand, de Jong et al. - 1999
2 Proposal of Some Annotations and Literal Syntax in Casl (context) - Roggenbach, Mossakowski - 1999
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://wwwat.mimuw.edu.pl/~tarlecki/kbn96grant/papers.html): More
Limits and Colimits in Some Categories of Institutions - Tarlecki (1997) (Correct)
Rasiowa-Sikorski Deduction Systems: a Handy Tool for Computer.. - Konikowska (1998) (Correct)
Towards Heterogeneous Specifications - Andrzej Tarlecki (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC