scientific article; zbMATH DE number 2172806
From MaRDI portal
Publication:4680193
Recommendations
- CASL: the Common Algebraic Specification Language.
- scientific article; zbMATH DE number 1629958
- Denotational and algebraic semantics for the CaIT calculus
- scientific article; zbMATH DE number 3956413
- Proof systems for structured algebraic specifications: An overview
- Reasoning Support for Casl with Automated Theorem Proving Systems
- Algebraic-coalgebraic specification in CoCASL
- scientific article; zbMATH DE number 3972168
- scientific article; zbMATH DE number 2079677
- scientific article; zbMATH DE number 3880080
Cited in
(43)- HasCasl: integrated higher-order specification and program development
- Structured algebraic specifications: A kernel language
- CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
- Amalgamation in the semantics of CASL
- Validating mathematical theorems and algorithms with RISCAL
- CASL: the Common Algebraic Specification Language.
- CASL reference manual. The complete documentation of the common algebraic specification language.
- The formalization of Vickrey auctions: a comparison of two approaches in Isabelle and Theorema
- CSP-CASL -- a new integration of process algebra and algebraic specification
- scientific article; zbMATH DE number 1617291 (Why is no real title available?)
- scientific article; zbMATH DE number 1617293 (Why is no real title available?)
- scientific article; zbMATH DE number 1617294 (Why is no real title available?)
- scientific article; zbMATH DE number 1617296 (Why is no real title available?)
- scientific article; zbMATH DE number 1629958 (Why is no real title available?)
- scientific article; zbMATH DE number 1630100 (Why is no real title available?)
- scientific article; zbMATH DE number 1678370 (Why is no real title available?)
- Model-driven engineering in the heterogeneous tool set
- Designing domain specific languages -- a craftsman's approach for the railway domain using \textsc{Casl}
- Implementing local intervals in CASL
- \textsc{HasCasl}: towards integrated specification and development of functional programs
- Hybrid specification of reactive systems: an institutional approach
- scientific article; zbMATH DE number 1809864 (Why is no real title available?)
- Reasoning Support for Casl with Automated Theorem Proving Systems
- DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications
- scientific article; zbMATH DE number 3902006 (Why is no real title available?)
- A coalgebraic perspective on logical interpretations
- scientific article; zbMATH DE number 8787 (Why is no real title available?)
- scientific article; zbMATH DE number 2079672 (Why is no real title available?)
- scientific article; zbMATH DE number 2079678 (Why is no real title available?)
- scientific article; zbMATH DE number 2079679 (Why is no real title available?)
- scientific article; zbMATH DE number 2079806 (Why is no real title available?)
- scientific article; zbMATH DE number 1754650 (Why is no real title available?)
- scientific article; zbMATH DE number 2172803 (Why is no real title available?)
- scientific article; zbMATH DE number 2086587 (Why is no real title available?)
- scientific article; zbMATH DE number 1860658 (Why is no real title available?)
- Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives
- The foundational legacy of ASL
- The distributed ontology, modeling and specification language -- DOL
- An Institution for Imperative RSL Specifications
- Recent Trends in Algebraic Development Techniques
- Recent Trends in Algebraic Development Techniques
- Structured specification of paraconsistent transition systems
- Architectural specifications in CASL
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4680193)
