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 (6)

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

This page was built for publication: An axiomatic approach to structuring specifications