A system for validative hyperprogramming

MaRDI QIDQ1817150zbMATH OpenFDO

Authors E. A. Zhogolev

Publication date 13 May 1997

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

reliabilitymaintenancesoftware toolshyperprogrammingtools design

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1630116
• scientific article; zbMATH DE number 4024746
• scientific article; zbMATH DE number 1440647
• Integrated tools for design and synthesis of classes of algorithms and programs
• Methods and tools of component programming

Cited in

(1)

• scientific article; zbMATH DE number 1630116 (Why is no real title available?)

This page was built for publication: A system for validative hyperprogramming

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