Searching for authors named "Theodosis Dimitrakos" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Modularity and Interpolation in a Development Workspace.
- …The potential benefits of a uniform version of interpolation are hindered by its absence from many expressive logics. This motivates a thorough investigation of appropriate expansions of known entailments so that an easy-to-derive, uniform presentation of the interpolants is supported. This paper p…
- Cited by 1 (1 self) – Add To MetaCart
-
On a Generalised Modularisation Theorem
- …The relation between a metalogical property of entailment (interpolation) and a structural property of categories of theory presentations (stability of faithful morphisms under pushouts) is studied in an abstract "general logic" framework. In particular, a known result for first order logic (the …
- Cited by 1 (0 self) – Add To MetaCart
-
Integrating Heterogeneous Formalisms: Framework and Application
- …In this paper we study the problem of integrating heterogeneous formal notations, emphasising the integration of the axiomatic (logical) semantics. We present a general method for integrating the consequence systems of interrelated heterogeneous formal notations and explain why and when the resultin…
- Cited by 1 (1 self) – Add To MetaCart
-
Supporting Co-use of VDM and B by Translation
- …Abstract. VDM and B are two mature formal methods currently in use by industry and supported by commercial tools. Though the methods are foundationally similar, the coverage of their supporting tools differs significantly. The integration and co-use of the two methods has been considered in a number…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 4.
