Till Mossakowski, Anne Haxthausen, Donald Sanella, A. Tarlecki  Home/Search
Context
Related
| homepages.inf.ed.ac.uk/dts/pub...cai.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: homepages.inf.ed.ac....SannellaDT (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Casl is an expressive specification language that has been designed to supersede many existing algebraic specification languages and provide a standard. Casl consists of several layers, including basic (unstructured) specifications, structured specifications and architectural specifications (the latter are used to prescribe the structure of implementations). (Update)
Active bibliography (related documents): More All
0.5: CASL - The Common Algebraic Specification.. - Mossakowski.. (2003) (Correct)
0.5: Topological and Limit-space subcategories of Countably-based.. - Menni, Simpson (2001) (Correct)
0.3: The UniForM Workbench, a Universal Development Environment.. - Krieg-Brückner, al. (1999) (Correct)
Similar documents based on text: More All
0.3: Static Semantic Analysis and Theorem Proving for CASL - Mossakowski, Kolyang.. (1998) (Correct)
0.3: Translating OBJ3 into CASL: the Institution Level - Mossakowski (Correct)
0.3: CASL: From Semantics to Tools - Mossakowski (2000) (Correct)
BibTeX entry: (Update)
@misc{ mossakowski-casl,
author = "Till Mossakowski and Anne Haxthausen and Donald Sanella and A. Tarlecki",
title = "CASL - The Common Algebraic Specification Language: Semantics and Proof
Theory",
url = "citeseer.ist.psu.edu/article/mossakowski03casl.html" }
Citations (may not include all citations):362 ML for the Working Programmer (context) - Paulson - 1996
198 Toward formal development of programs from algebraic specifi.. - Sannella, Tarlecki - 1988
67 Specifications in an arbitrary institution (context) - Sannella, Tarlecki - 1988
62 Programming in Martin-Lof's Type Theory: An Introduction (context) - Nordstrom, Petersson et al. - 1990
57 On observational equivalence and algebraic specification (context) - Sannella, Tarlecki - 1987
19 An institution of object behaviour - Sernadas, Costa et al. - 1994
18 Casl-LTL - a Casl extension for dynamic reactive systems - s.. (context) - Reggio, Astesiano et al. - 2000
15 Casl-CHART: a combination of statecharts and of the algebrai.. - Reggio, Repetto - 2000
8 Denotational semantics of object specification within an arb.. - Sernadas, Sernadas - 1993
3 Abstract specification theory: an overview (context) - Tarlecki
3 Categorical fibring of logics with terms and binding operato.. (context) - Sernadas, Sernadas et al. - 2000
2 Theoretical Computer Science (context) - Schroder, Mossakowski et al.
1 CSP-Casl --- a new integration of process algebra and algebr.. (context) - Roggenbach - 2003
1 HasCasl: Towards integrated specification and development of.. - oder, Mossakowski - 2002
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