Property-oriented semantics of structured specifications

DOI10.1017/S0960129513000212zbMATH Open1342.68218MaRDI QIDQ5740355FDOQ5740355

Authors: Donald Sannella, Andrzej Tarlecki 

Publication date: 26 July 2016

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Recommendations

• An axiomatic approach to structuring specifications
• scientific article; zbMATH DE number 1368957
• Logical systems for structured specifications.
• A relatively complete calculus for structured heterogeneous specifications
• On the algebra of structured specifications

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Cites Work

• Institution-independent model theory
• Institutions: abstract model theory for specification and programming
• Institution morphisms
• Structured theory presentations and logic representations
• Composing hidden information modules over inclusive institutions
• Module algebra
• Specifications in an arbitrary institution
• Logical systems for structured specifications.
• Development graphs -- proof management for structured specifications
• A simple algebraic proof of the equational interpolation theorem
• Proof systems for structured specifications with observability operators
• Toward formal development of programs from algebraic specifications: Parameterisation revisited

Cited In (4)

• Pragmatic Formal Specification of System Properties by Tables
• (Heterogeneous) structured specifications in logics without interpolation
• A relatively complete calculus for structured heterogeneous specifications
• The foundational legacy of ASL

This page was built for publication: Property-oriented semantics of structured specifications

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