Pages that link to "Item:Q387996"
From MaRDI portal
The following pages link to Parameterisation for abstract structured specifications (Q387996):
Displaying 5 items.
- Functorial semantics of first-order views (Q344796) (← links)
- Foundations for structuring behavioural specifications (Q406465) (← links)
- On the existence of translations of structured specifications (Q458375) (← links)
- Functorial theory of parameterized specifications in a general specification framework (Q1346622) (← links)
- Compositionality and compatibility of parameterization and parameter passing in specification languages (Q4856663) (← links)