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.