TC2 Software: Theory and Practice

The aim of TC2 is to obtain a deeper understanding of programming and improve the quality of software by studying the software development process, both theoretical and practical.

The scope of the committee encompasses all aspects of software development including the specification, design, implementation and validation of software systems.

Areas of present activity are:

• formal models of programming concepts
• programming languages and techniques
• program support environments
• user interfaces to software systems
• software quality
• standards

Webpages for Working Groups of TC2

WG-2.1 Algorithmic Languages and Calculi

WG-2.2 Formal Description of Programming Concepts

WG-2.3 Programming Methodology

WG-2.4 Software Implementation Technology

WG-2.5 Numerical Software

WG-2.6 Database

WG-2.7 (13.4) User Interface Engineering

WG-2.8 Functional Programming

WG-2.9 Software Requirements Engineering

WG-2.10 Software Architecture

WG-2.11 Program Generation

WG-2.12 (12.4) Web Semantics

WG-2.13 Open Source Software