2nd ICSE 1976: San Francisco, CA, USA

Requirements Definition

Program Synthesis Techniques

Operating Systems

Requirements Engineering


Operating Systems and Networks

Performance Evaluation

Programmer's Workbench

Software Design and Development

Design Principles of Large Programs

Programming Languages

Software Modeling

Design Specifiaction and Management

Programming Languages and Systems

Software Design

Software Engineering in the Department of Defense

Software Verification and Validation

Program Proving and Verification

Theoretical Aspects of Software Engineering

Software Fault Tolerance

Validation and Testing

Data Bases

Case Studies

Software Automated Tools

a service of Schloss Dagstuhl - Leibniz Center for Informatics