Diagrammatic specifications

DOI10.1017/S0960129503003979MaRDI QIDQ4811557zbMATH OpenFDO

Authors Dominique Duval

Publication date 6 September 2004

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1682685
• Algebraic Methodology and Software Technology
• Diagrammatic representation of conceptual structures
• scientific article; zbMATH DE number 125881
• Graphical versus logical specifications
• Diagrammatic description of software systems composition

Cited in

(11)

• scientific article; zbMATH DE number 1231617 (Why is no real title available?)
• Detecting equivalence of modular specifications with categorical diagrams
• scientific article; zbMATH DE number 1304453 (Why is no real title available?)
• A reasoning system for satisfiability of diagrammatic specifications
• Diagrammatic logic applied to a parameterisation process
• Object oriented institutions to specify symbolic computation systems
• scientific article; zbMATH DE number 1525070 (Why is no real title available?)
• scientific article; zbMATH DE number 1670630 (Why is no real title available?)
• Logical rules as fractions and logics as sketches
• Deduction as reduction, from a categorical point of view
• A diagrammatic logic for object-oriented visual modeling

This page was built for publication: Diagrammatic specifications

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