Composition diagrams

MaRDI QIDQ4250659zbMATH OpenFDO

Authors Roger Duke, Gordon Rose

Publication date 17 June 1999

zbMATH Keywords

Object-Z specification

Mathematics Subject Classification ID

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

Recommendations

• Specification diagrams for actor systems
• scientific article; zbMATH DE number 2156157
• scientific article; zbMATH DE number 1304377
• On the semantics of unified modeling language diagrams using Z notation
• scientific article; zbMATH DE number 2086738

Cited in

(10)

• Specification diagrams for actor systems
• scientific article; zbMATH DE number 1693517 (Why is no real title available?)
• A diagrammatic logic for object-oriented visual modeling
• scientific article; zbMATH DE number 1304377 (Why is no real title available?)
• scientific article; zbMATH DE number 2156157 (Why is no real title available?)
• scientific article; zbMATH DE number 2086738 (Why is no real title available?)
• Architecture diagrams: a graphical language for architecture style specification
• Algebraic Methodology and Software Technology
• Diagrammatic Representation and Inference
• Object oriented concepts identification from formal \(B\) specifications

This page was built for publication: Composition diagrams

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