Composition nominative approach to specifying program systems in Z-Notation language

MaRDI QIDQ5325053zbMATH OpenFDO

Authors P. P. Protsyk

Publication date 8 August 2009

zbMATH Keywords

programsemanticsspecificationZ-Notation

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• A composition-nominative approach for Z-notation language semantics construction
• scientific article; zbMATH DE number 2080003
• Extending interface automata with Z notation
• Specification and refinement using a heterogeneous notation for concurrency and communication
• scientific article; zbMATH DE number 2013572

Cited in

(8)

• Implementation of the composition-nominative approach to program formalization in Mizar
• Composition-nominative aspects of address programming
• Lifting in Z
• Extending interface automata with Z notation
• A composition-nominative approach for Z-notation language semantics construction
• scientific article; zbMATH DE number 2013582 (Why is no real title available?)
• From formal specifications to Ada programs
• Transformation rules for Z

Describes a project that uses

Uses Software

• Z

This page was built for publication: Composition nominative approach to specifying program systems in Z-Notation language

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