Proof management of the generation and modification of software modules for the information-analytical systems

Buhantsov S.N., Pustovarov V.I., Stirenko S.G., Zheludkova T.V.

Typical sequences for information-analytic  system (IAS)  task decisions and modular structure of their special programs are considered. The techniques of task state definition for meeting operative regulated work purposes decision on preparation and estimation are offered for projects supported in IAS. It is shown that application of this technique allows program structure optimizing for their effective usage in the critical situations arising in IAS, integrated with accounting and regulated tasks decision subsystems.

Full text (pdf)