Heterogeneous Logical Environments for Distributed Specifications

DOI10.1007/978-3-642-03429-9_18MaRDI QIDQ3184737zbMATH OpenOpenAlexFDO

Authors Till Mossakowski, Andrzej Tarlecki

Publication date 22 October 2009

Published in Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-03429-9_18

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Abstract data types; algebraic specification (68Q65)

Recommendations

• Towards heterogeneous specifications
• scientific article; zbMATH DE number 1418360
• Foundations of heterogeneous specification.
• scientific article; zbMATH DE number 1418366
• scientific article; zbMATH DE number 3980455

Cites work

• scientific article; zbMATH DE number 3714904 (Why is no real title available?)
• scientific article; zbMATH DE number 1303734 (Why is no real title available?)
• scientific article; zbMATH DE number 1929971 (Why is no real title available?)
• scientific article; zbMATH DE number 2087440 (Why is no real title available?)
• scientific article; zbMATH DE number 2102745 (Why is no real title available?)
• scientific article; zbMATH DE number 822489 (Why is no real title available?)
• A Heterogeneous Approach to UML Semantics
• A framework for defining logics
• Abstract and behaviour module specifications
• Essential concepts of algebraic specification and program development
• Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages
• Fork Algebras as a Sufficiently Rich Universal Institution
• Foundations of heterogeneous specification.
• Generalized Theoroidal Institution Comorphisms
• Grothendieck institutions
• Institution morphisms
• Institution-independent model theory
• Institutions: abstract model theory for specification and programming
• Isabelle/HOL. A proof assistant for higher-order logic
• Rewriting logic: Roadmap and bibliography
• Specifications in an arbitrary institution
• Structured theories and institutions
• Toward formal development of programs from algebraic specifications: Implementations revisited
• Towards heterogeneous specifications
• What is a logic translation?

Cited in

(10)

• scientific article; zbMATH DE number 1418366 (Why is no real title available?)
• Towards heterogeneous specifications
• The first-order logical environment
• Foundations of heterogeneous specification.
• Parchments for CafeOBJ logics
• Model-driven engineering in the heterogeneous tool set
• A proof theoretic interpretation of model theoretic hiding
• (Heterogeneous) structured specifications in logics without interpolation
• Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
• What Is a Multi-modeling Language?

Describes a project that uses

Uses Software

• Hets
• Isabelle/HOL

This page was built for publication: Heterogeneous Logical Environments for Distributed Specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3184737)