scientific article; zbMATH DE number 897908

MaRDI QIDQ4884901zbMATH OpenFDO

Authors G. E. Tsejtlin, A. V. Bakulin

Publication date 20 August 1996

zbMATH Keywords

design specification

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 3936465
• Multilevel structured program designs and correctness proving
• Formal methods and software development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985. Volume 2: Colloquium on Software Engineering (CSE)
• Formalizing and implementing Gries' program development method in dynamic logic
• scientific article; zbMATH DE number 1481757

Cited in

(6)

• scientific article; zbMATH DE number 483965 (Why is no real title available?)
• scientific article; zbMATH DE number 3936465 (Why is no real title available?)
• scientific article; zbMATH DE number 4033055 (Why is no real title available?)
• scientific article; zbMATH DE number 54327 (Why is no real title available?)
• A formally grounded software specification method
• On multilevel structured program design for process-control 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 Q4884901)