IFIP Technical Committee 2: Software: Theory and Practice
Working Groups/Special Interest Groups:
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: User Interface Engineering (joint with WG 13.4)
WG 2.8: Functional Programming
WG 2.9: Software Requirements Engineering
WG 2.10: Software Architecture
WG 2.11: Program Generation
WG 2.12: Web Semantics (joint with WG 12.4)
WG 2.13: Open Source Software
WG 2.14: Service-Oriented Systems (joint with WG 6.12/8.10)
WG 2.15: Verified Software (joint with WG 1.9)
WG 2.16: Programming Language Design
|
|
| Forthcoming Events: Details
of IFIP events for all Technical Committees are available
on the main IFIP website http://www.ifip.org.
Click on either 'Calendar of Events' or 'Call for Papers'
on the menu for more information. |
|