2nd ICSE 1976: San Francisco, CA, USA

Refine list

showing all ?? records

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