Home » About



To increase programmers’ ability to compose programs



  • Identification of sources of difficulties encountered in present day programming;
  • the interdependence between the formulation of problems and the formulation of programs, and the mapping of relations existing in the world of problems into the relations among programs and their components;
  • intellectual disciplines and problem-solving techniques that can aid programmers in the composition of programs;
  • the problem of achieving program reliability;
  • the consequences of requirements for program adaptability;
  • the problem of provability of program correctness and its influence on the structure of programs and on the process of their composition;
  • guidelines of partitioning large programming tasks and defining the interfaces between the parts;
  • software for mechanized assistance to program composition



   Under construction