Computer implementation of formal analysis methods of complex organizational and technical systems during process of complex automation

Abstract

The article underlines the basic problems that usually evolve at a time of assessment of IT projects feasibility and economic justification. The article also defines basic approaches of the ongoing scientific research consisted in the integration within a single methodology a number of known methods of assessment of IT projects feasibility and economic justification with mathematical models and formal methods developed in the methodology IDEF0.