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