Systematization of knowledge about programmable tasks

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.