Pages that link to "Item:Q5703987"
From MaRDI portal
The following pages link to Recent Trends in Algebraic Development Techniques (Q5703987):
Displaying 7 items.
- Architectural specifications in CASL (Q699927) (← links)
- HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
- Relating CASL with other specification languages: the institution level. (Q1853458) (← links)
- Lambda Expressions in Casl Architectural Specifications (Q2890326) (← links)
- Property Preserving Refinement for Csp-Casl (Q3184734) (← links)
- Towards an Institutional Framework for Heterogeneous Formal Development in UML (Q5256350) (← links)
- Recent Trends in Algebraic Development Techniques (Q5900824) (← links)