Vol. 2, issue 04, article # 17
pdf Novosel'tsev V. B., Kalaida V. T. Software concepts for an atmospheric optics programming environment. // Atmospheric and oceanic optics. 1989. V. 2. No. 04. P. 358-363.Copy the reference to clipboard
Abstract:
A programme environment project for a problem-solving support system in the atmospheric optics subject area is discussed. The proposed project is based on the analysis of the advanced approaches to program synthesis and specific features of the subject area referred to as atmospheric optics. The system architecture is shown to meet both the user requirements and the developer concepts.
References:
1. V.E. Zuev, Opt. Atm. 1, 5 (1988).
2. O.K. Voitsekhovskaya, V.E. Zuev, and VI.G. Tyuterev, Opt. Atm. 1, 3 (1988).
3. V.S. Komarov, A.A. Mitsel’, S.A. Mikhailov, Yu.N. Ponomarev, V.P. Rudenko and К.M. Firsov, Opt. Atm. 1, 84 (1988).
4. F.P. Brooks, The Mythical Man Month, Addison-Wesley Publishing Company, Inc., Reading, Mass. (1975).
5. J.M. Fox, Software and its Development, Prentice-Hall, Inc., Englewood Cliffs, N. Y. (1982).
6. V.N. Agafonov, ed., Requirements and Specifications in Program Development, (Mir, Moscow, 1984).
7. S.S. Lavrov, Knowledge Representation and Application in Automated Systems Mikroprotsessornye sredstva i sistemy,, 14 (1986).
8. J.L. Olty and M.J. Coombs, Expert Systems. Concepts and Examples (Published by NCC Publications, 1984).
9. A. Colmerauer, H. Kanoui, R. Pasero and P. Roussel, Un system de Communication Homme-Machine en Francais, Research report. Groupe Intelligence Artificiel (Universite Aix Marseille 11, 1973).
10. I.О. Babayev, F.A. Novikov and T.I. Petrushina, Descartes-Input Language of SPORA-System Applied Informatics (Nauka, Moscow, 1984).
11. E.H. Tyugu, Conceptual Programming (Nauka, Moscow, 1984).
12. M.I. Kakhro, A.P. Kalja and E.H. Tyugu ES EVM (PRIZ) Hardware Programming System (Finansy i statistlka, Moskow, 1981).
13. E.H. Tyugu, Solving Problems by Computational Models, Zhur. Vychislitel’noi matematiki i matematicheskoi fiziki 10, 716 (1970).
14. V.S. Neiman, Program Synthesis for Descriptions of Recursive Relation in: (Sintez programm, Ustinov, 1985).
15. V.B. Novosel’tsev, Structural Computational Models, Formal Basis, in: (Sintez program, Ustinov, 1985).