Pages that link to "Item:Q2369033"
From MaRDI portal
The following pages link to Development graphs -- proof management for structured specifications (Q2369033):
Displaying 11 items.
- A scalable module system (Q391632) (← links)
- An axiomatic approach to structuring specifications (Q428861) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
- A Proof Theoretic Interpretation of Model Theoretic Hiding (Q2890327) (← links)
- Towards Logical Frameworks in the Heterogeneous Tool Set Hets (Q2890328) (← links)
- Change Management for Heterogeneous Development Graphs (Q3058452) (← links)
- Integrating Maude into Hets (Q3067467) (← links)
- Structure Formation in Large Theories (Q3453112) (← links)
- Towards an Institutional Framework for Heterogeneous Formal Development in UML (Q5256350) (← links)
- The Foundational Legacy of ASL (Q5256352) (← links)
- Property-oriented semantics of structured specifications (Q5740355) (← links)
