A composition-nominative approach for Z-notation language semantics construction

MaRDI QIDQ3606985zbMATH OpenFDO

Authors P. P. Protsyk

Publication date 28 February 2009

zbMATH Keywords

composition-nominativesemanticsZ-Notation

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Composition nominative approach to specifying program systems in Z-Notation language
• scientific article; zbMATH DE number 2080003
• Categorical foundations for structured specifications in \(\mathsf{Z}\)
• On the semantics of unified modeling language diagrams using Z notation
• Some elements of Z specification style: Structuring techniques

Cited in

(2)

• Some elements of Z specification style: Structuring techniques
• Composition nominative approach to specifying program systems in Z-Notation language

Describes a project that uses

Uses Software

• Z

This page was built for publication: A composition-nominative approach for Z-notation language semantics construction

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