scientific article; zbMATH DE number 3990844

MaRDI QIDQ3753469zbMATH OpenFDO

Authors Dmitriy Yu. Penkin

Publication date 1987

zbMATH Keywords

structural programmingformal specification of program modules

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A mechanism for the formal description of dynamic systems
• Formal models of stepwise refinements of programs
• scientific article; zbMATH DE number 4043304
• scientific article; zbMATH DE number 3936487
• Transformational programming and the derivation of algorithms

Cited in

(2)

• scientific article; zbMATH DE number 4068250 (Why is no real title available?)
• A mechanism for the formal description of dynamic systems

This page was built for publication:

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