%0 Journal Article %A V. V. Bankrutenko %A P. J. Belokrylov %A E. J. Poverennov %T Effectiveness's enhancement of construction end-to-end design system by sequential integration of verified calculating software %J Informacionnye tehnologii i vyčislitelnye sistemy %D 2014 %P 89-95 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/ITVS_2014_2_a9/ %G ru %F ITVS_2014_2_a9