Categorical foundations for structured specifications in \(\mathsf{Z}\)

DOI10.1007/s00165-015-0336-0zbMath1385.68023OpenAlexW1216906483MaRDI QIDQ903494

Nazareno Aguirre, Carlos G. López Pombo, Pablo F. Castro, Thomas S. E. Maibaum

Publication date: 6 January 2016

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-015-0336-0

zbMATH Keywords

category theorysystem verificationinstitution\(\mathsf{Z}\) notationheterogeneous specificationssystem specification

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (3)

Building Specifications in the Event-B Institution ⋮ Specifying with syntactic theory functors ⋮ Structure-preserving diagram operators

Uses Software

• Eiffel
• Hets
• Z
• Circus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Z
• A UTP semantics for \textsf{Circus}
• Model theory.
• Temporal theories as modularisation units for concurrent system specification
• A calculus for schemas in Z
• Revising \(Z\). I: Logic and semantics
• Revising \(Z\). II: Logical development
• Institution-independent model theory
• Categories for Software Engineering
• Structured CSP – A Process Algebra as an Institution
• Institutions: abstract model theory for specification and programming
• Introduction to bicategories
• Integrated Formal Methods

This page was built for publication: Categorical foundations for structured specifications in \(\mathsf{Z}\)