IFIP Working Group 2.3
Programming Methodology

Home
News and Honors
Meetings
Members
Links
IFIP WG 2.3 "Programming Methodology" is one of the working groups of IFIP Technical Committee 2 (Software: Theory and Practice).

Aim

To increase programmers' ability to compose programs.

Scope

  1. Identification of sources of difficulties encountered in present day programming;
  2. 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;
  3. intellectual disciplines and problem-solving techniques that can aid programmers in the composition of programs;
  4. the problem of achieving program reliability;
  5. the consequences of requirements for program adaptability;
  6. the problem of provability of program correctness and its influence on the structure of programs and on the process of their composition;
  7. guidelines of partitioning large programming tasks and defining the interfaces between the parts;
  8. software for mechanized assistance to program composition.