Pages that link to "Item:Q1089795"
From MaRDI portal
The following pages link to Algebraic specification of modules and their basic interconnections (Q1089795):
Displaying 11 items.
- On the correctness of modular systems (Q674009) (← links)
- Combining data type and recursive process specifications using projection algebras (Q910188) (← links)
- Union and actualization of module specifications: Some compatibility results (Q1091801) (← links)
- Foundations of rule-based design of modular systems (Q1176249) (← links)
- The verification of modules (Q1329200) (← links)
- Another look at parameterization for oder-sorted algebraic specifications (Q1342863) (← links)
- Functorial theory of parameterized specifications in a general specification framework (Q1346622) (← links)
- Formal software specification with refinements and modules of typed graph transformation systems (Q1608315) (← links)
- Compatibility problems in the development of algebraic module specifications (Q2638799) (← links)
- Algebraic data integration (Q4577809) (← links)
- A decade of TAPSOFT (Q5096723) (← links)
