Towards heterogeneous specifications
From MaRDI portal
Recommendations
Cited in
(27)- scientific article; zbMATH DE number 1418366 (Why is no real title available?)
- scientific article; zbMATH DE number 1397395 (Why is no real title available?)
- Generalised graded interpolation
- A heterogeneous characterisation of component-based system design in a categorical setting
- Foundations of heterogeneous specification.
- Institutional 2-cells and Grothendieck Institutions
- Observational logic, constructor-based logic, and their duality.
- Algebraic Methodology and Software Technology
- Parchments for CafeOBJ logics
- Structured theories and institutions
- Logical systems for structured specifications.
- Semantic integration of heterogeneous software specifications.
- (Heterogeneous) structured specifications in logics without interpolation
- On the existence of translations of structured specifications
- Interpolation in Grothendieck institutions
- Constructor-based observational logic
- Object oriented institutions to specify symbolic computation systems
- scientific article; zbMATH DE number 1418360 (Why is no real title available?)
- Combining specification formalisms in the `general logic' of multialgebras.
- Grothendieck inclusion systems
- scientific article; zbMATH DE number 1929971 (Why is no real title available?)
- Introducing H, an institution-based formal specification and verification language
- Saturated models in institutions
- On the fragility of interpolation
- Ultraproducts and possible worlds semantics in institutions
- Relating CASL with other specification languages: the institution level.
- Heterogeneous Logical Environments for Distributed Specifications
This page was built for publication: Towards heterogeneous specifications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2782496)
