Casl — the Common Algebraic Specification Language

T Mossakowski, AE Haxthausen, D Sannella… - Logics of Specification …, 2008 - Springer
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 …
被引用次数：32 相关文章
[PDF] academia.edu

[PDF][PDF] CASL—the Common Algebraic Specification

T Mossakowski, AE Haxthausen, D Sannella… - academia.edu
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 …

Casl–the Common Algebraic Specification

T Mossakowski, AE Haxthausen, D Sannella… - Springer
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 …

CASL, the Common Algebraic Specification Language

T Mossakowski, AE Haxthausen, D Sannella… - Logics of Specification …, 2008 - orbit.dtu.dk
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 …
[PDF] researchgate.net

[PDF][PDF] CASL—the Common Algebraic Specification

T Mossakowski, AE Haxthausen, D Sannella… - researchgate.net
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 …

Casl–the Common Algebraic Specification

T Mossakowski, AE Haxthausen… - Logics of …, 2007 - books.google.com
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 …

CASL---the Common Algebraic Specification Language

T Mossakowski, AE Haxthausen… - Logics of …, 2008 - research.ed.ac.uk
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 …
[PDF] psu.edu

[PDF][PDF] CASL—the Common Algebraic Specification

T Mossakowski, AE Haxthausen, D Sannella… - Citeseer
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 …
[PDF] academia.edu

[PDF][PDF] CASL—the Common Algebraic Specification

T Mossakowski, AE Haxthausen, D Sannella… - academia.edu
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 …

[引用][C] Casl — the Common Algebraic Specification Language

T Mossakowski, AE Haxthausen, D Sannella… - Logics of Specification …, 2008 - Springer