Pages that link to "Item:Q699927"
From MaRDI portal
The following pages link to Architectural specifications in CASL (Q699927):
Displaying 15 items.
- A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures (Q608247) (← links)
- A language for configuring multi-level specifications (Q820125) (← links)
- Amalgamation in the semantics of CASL (Q1770431) (← links)
- CASL: the Common Algebraic Specification Language. (Q1853453) (← links)
- Manipulating algebraic specifications with term-based and graph-based representations (Q1885933) (← links)
- Constructor-based observational logic (Q2369030) (← links)
- On relating functional specifications to architectural specifications: A case study (Q2581539) (← links)
- Lambda Expressions in Casl Architectural Specifications (Q2890326) (← links)
- Algebraic Signatures Enriched by Dependency Structure (Q2890335) (← links)
- Specification architectures (Q2906955) (← links)
- The Foundational Legacy of ASL (Q5256352) (← links)
- Observational interpretation of Casl specifications (Q5458070) (← links)
- Recent Trends in Algebraic Development Techniques (Q5703987) (← links)
- Reducible Theories and Amalgamations of Models (Q5875951) (← links)
- Recent Trends in Algebraic Development Techniques (Q5900824) (← links)