Integrated tools for design and synthesis of classes of algorithms and programs

DOI10.1007/BF02732997zbMath1002.68796MaRDI QIDQ5951313

A. Yu. Zubtsov, G. E. Tseitlin, O. V. Golovin, A. A. Amons

Publication date: 6 January 2002

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

zbMATH Keywords

computer-aided designsynthesis of algorithmswindows environment

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Related Items (2)

Formalization of the object classification algorithm ⋮ Formalization of algorithmic knowledge of object domains in terms of the algebra of algorithmics

Uses Software

• APS-1
• APS

Cites Work

• Unnamed Item
• Design of symbolic-processing algorithms
• Syntactically correct multilevel structured program design

This page was built for publication: Integrated tools for design and synthesis of classes of algorithms and programs