IFIP Technical Committee 2 - Software: Theory and Practice

The committee has been established in 1962. It's aims and scope were revised twice: in 1982, and in 1990.

AIMS

To obtain a deeper understanding of programming concepts in order to improve the quality of software by studying all aspects of the software development process, both theoretical and practical.  

SCOPE

The scope of the committee encompasses all aspects of the software development process including the specification, design, implementation and validation of software systems. Areas of present activity are:

• formal models of software concepts
• programming languages and techniques
• models for information storage and processing
• program support environments
• user interfaces to software systems
• software quality