An axiomatic approach to structuring specifications

DOI10.1016/j.tcs.2012.03.001zbMath1279.68230OpenAlexW1976775061MaRDI QIDQ428861

Răzvan Diaconescu

Publication date: 25 June 2012

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2012.03.001

zbMATH Keywords

institutionsalgebraic specificationstructured specification

Mathematics Subject Classification ID

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

Related Items

Functorial semantics of first-order views, Specifying with syntactic theory functors, Parameterisation for abstract structured specifications, Foundations for structuring behavioural specifications, On the existence of translations of structured specifications, Comorphisms of structured institutions

Uses Software

• OBJ3
• CafeOBJ

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the algebra of structured specifications
• Foundations of algebraic specification and formal software development.
• Generalized interpolation in CASL
• An institution-independent proof of the Robinson consistency theorem
• An institution-independent proof of the Beth definability theorem
• On the existence of free models in abstract algebraic institutions
• Specifications in an arbitrary institution
• A simple algebraic proof of the equational interpolation theorem
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• On pushout consistency, modularity and interpolation for logical specifications
• On a generalized modularization theorem
• Logical systems for structured specifications.
• An institution-independent proof of Craig interpolation theorem
• Interpolation in Grothendieck institutions
• What is a logic translation?
• Development graphs -- proof management for structured specifications
• Institution-independent model theory
• A Semantic Account for Modularity in Multi-language Modelling of Search Problems
• Abstract Beth definability in institutions
• Module algebra
• Institutions: abstract model theory for specification and programming
• Weak inclusion systems
• Elementary Diagrams in Institutions
• Axiomatizability in inclusive equational logics
• Composing Hidden Information Modules over Inclusive Institutions