2. APSEC 1995: Brisbane, Queensland, Australia

Keynote Addresses

Testing I

Requirements Modelling


Object-Oriented Development

Software Process

Distributed Systems

Testing II

Development Environments I

Formal Methods

Quality Assurance and Reliability


The Specification Process; Maintenance

Development Environments II

Information Systems Design and Management

Reasoning and Verification

Panel Session

maintained by Schloss Dagstuhl LZI at University of Trier