Composing Hidden Information Modules over Inclusive Institutions

DOI10.1007/978-3-540-39993-3_7zbMath1278.68203OpenAlexW1535848938MaRDI QIDQ5390274

Joseph A. Goguen, Grigore Roşu

Publication date: 1 April 2011

Published in: From Object-Orientation to Formal Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-39993-3_7

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

A Proof Theoretic Interpretation of Model Theoretic Hiding, Development graphs -- proof management for structured specifications, Functorial semantics of first-order views, Algebraic data integration, Parameterisation for abstract structured specifications, Modularity of Ontologies in an Arbitrary Institution, The Distributed Ontology, Modeling and Specification Language – DOL, Foundations for structuring behavioural specifications, Preservation in many-valued truth institutions, Partialising institutions, An axiomatic approach to structuring specifications, Grothendieck inclusion systems, Property-oriented semantics of structured specifications, On the algebra of structured specifications, Change Management for Heterogeneous Development Graphs, A semantic approach to interpolation, The Foundational Legacy of ASL

Uses Software

• CafeOBJ