Archive
All-Union Conferences, Seminars, Symposiums, Schools
All-Union Conference
Abstracts
Abstract
A.E. Zalan (Minsk) "On one approach to program debugging"
Abstract
V.A.Shimarov (Minsk)"Program complexity and testing effort"
Abstract
I.I.Piletsky et. al. (Minsk)@Static and dynamic methods of program testing in IK "Ritm"
Abstract
G.G. Gurbanov et.al. "On some problems of BASIC programs debugging"
Abstract
J.A. Kogan, M.E. Maron 'Methods of dynamic verification of communicating processes systems"
Abstract
V.Y. Sazonov (Novosibirsk) "Typeless calculus of SIGMA-expressions"
Abstract
Y.G. Styopin (Grodno) "Synthesis of data-processing algorithms presented as hypergraphs"
Abstract
I.V. Vel'bitsky et. al. (Kiev) "An approach to program verification problem based on formalization of designing process in R-technology"
Abstract
G.A. Drobushevich (Minsk)"Methods of testing, verification and debugging in the process of teaching technology of program construction"
Abstract
S.G. Ryabchuk et.al. (Moscow) "Development of synthesis and debugging subsystem for flexible automated MEA construction programs"
Abstract
Y.M.Rudenko (Moscow) "Automation of computational programs testing"
Abstract
B.G. Khmelevsky et.al. "Hierarchical programming in software development"
Abstract
A.A. Gagarin et.al. (Kiev) "Petri nets as a tool for real-time systems debudding"
Abstract
A.Y. Arzhenenko et.al. " Optimal diagnosis of bundled software by the methods of questionnairy theory"
Abstract
R.A. Plushkiavichus (Vilnus) "Sequential calculus of temporal logics with equation and term operator NEXT for parallel programs verification"
Abstract
K.K.Gyachas (Vilnus) "On analysis of dictributed programs properties"
Abstract
Y.A. Mamatov et. al. (Yaroslavl) "Ensuring correctness of optimized programs for pipelined computers written using assembler"
Abstract
A.M.Gostrik "Flexible dialog organization in the problems of quality assurance"
Abstract
V.G. Bondarenko et.al. (Odessa) "Imitation modelling in calculation of Bayes assessment of testing results"
Abstract
V.B. Novoseltsev, A.L. Shamis (Tomsk) "Logical means of nondeterministic algorithms synthesis"

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
Initial order | In alphabetical order | By date

Switch to Russian | Search | Advanced search | Folders | Themes
Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016