Systems and Means of Informatics

2014, Volume 24, Issue 3, pp 192-203

SYSTEMATIZATION OF KNOWLEDGE ABOUT PROGRAMMABLE TASKS

A. V. Ilyin
V. D. Ilyin

Abstract

The article describes basics of the methodology for systematization of symbolic models of programmable tasks intended for development of systems of knowledge about tasks. This methodology is based on the results achieved in development and research of systems of computer-aided software design.
The TSM-complex (Task S-Modeling) for description of models of arbitrary objects in human-machine environment (s-environment) is used for formalized representation of tasks. The tasks are represented as constructive objects (s-tasks) having certain types of relations and rules of design. S-task specification includes formulation, systems of mandatory and adjusting rules for solving, algorithms, sets of programs, and test cases. Descriptions of program applications include information about operating systems, hardware requirements, etc.

[+] References (15)

Ilyin, A. V., and V. D. Ilyin. 2009. Osnovy teorii s-modelirovaniya [Basics of the theory of s-modeling]. Moscow: Institute of Informatics Problems of RAS. 143 p. Available at: http://smodeling.files.wordpress.com/2010/01/basics-theory-sm-20092.pdf (accessed March 27, 2014).
IBM. 1967. 1130 Scientific Subroutine Package (1130-CM-02X) Programmer's Manual. Available at: http://media.ibm1130.org/1130-006-ocr.pdf (accessed March 27, 2014).
Biblioteka chislennogo analiza NIVTs MGU [Library of numerical analysis of the Scientific Research Computing Center of the Lomonosov Moscow State University]. Available at: http://num-anal.srcc.msu.su/lib_na/libnal.htm (accessed March 27, 2014).
Dijkstra, E. 1969. Structured programming. Software engineering techniques. Eds. J. Burton and B. Randell. Brussels: NATO Science Commitee. 89-93.
Wirth, N. 1971. Program development by stepwise refinement. Comm. ACM. 14(4):221-227.
Ilyin, V. D. 1989. Predstavlenie znaniy o zadachakh v sisteme porozhdeniya programm [Representation of knowledge about tasks in the system of program generating]. Moscow: Institute of Informatics Problems of the Academy of Sciences of the USSR. 50 p.
Ilyin, V. D. 1989. Sistema porozhdeniya programm [The system of program generating]. Moscow: Nauka. 264 p.
Ilyin, V. D. 1994. PPS-construction: A methodology for computer aided construction of parallel program systems. 2nd Conference (International) "Software for Multiprocessors and Supercomputers. Theory, practice, experience" Proceedings. 356-364.
Ilyin, V. D. 1995. A methodology for knowledge based engineering of parallel program systems. 8th Conference (International) "Industrial and Engineering Applications of Artificial Intelligence and Expert Systems" Proceedings. 805- 809.
Ilyin, A.V., and V.D. Ilyin. 2013. Nauchno-obrazovatel'nye veb-resursy. S-mo- delirovanie [Scientific-educational Web-resources. S-modeling]. Moscow: Institute of Informatics Problems of RAS. 112 p. Available at: http://smodeling. files.wordpress.com/2013/12/nowrsm-2013.pdf (accessed March 27, 2014).
Ilyin, A. V. 2007. Konstruirovanie razreshayushchikh struktur na zadachnykh grafakh sistemy znaniy o programmiruemykh zadachakh [Construction of solving structures in task graphs of system of knowledge about programmable tasks]. Informatsionnye Tekhnologii i Vychislitel'nye Sistemy [Information Technology and Computing] 3:3036.
Ilyin, V.D. 2013. Sistema porozhdeniya programm. Versiya 2013 g. [The system of program generating. Version 2013]. Moscow: Institute of Informatics Problems of RaS. 142 p. Available at: http://smodeling.files.wordpress.com/2013/12/vd-ilyin- spp-2013.pdf (accessed March 27, 2014).
Ilyin, A. V., and V. D. Ilyin. 2013. The technology of interactive resource allocation in accordance with the customizable system of rules. Appl. Math. Sci. 7(143):7105-7111. doi: 10.12988/ams.2013.311649.
Gavrilenko, Yu.V., and V.D. Ilyin. 1996. Spaces of local objects for semantic interpretation of problems. I. J. Comput. Sys. Sc. Int. 35(5):687-694.
Gavrilenko, Yu. V., and V. D. Ilyin. Calculus of task-constructive objects and their interpretations. II. J. Comput. Sys. Sc. Int. 36(5):704-712.

[+] About this article