Standards and Certification 1. IT Systems, Software Quality Standards, Certification and Legal Aspects within ESPRIT (J.J. Lauture). The SCOPE Project (P. Robert, A. Roan). A New Approach to Software Certification (M. Davies). Testing. On the Efficiency of Statistical Testing with respect to Software Structural Test Criteria (P. Thevenod-Fosse). A Bayes Sequential Statistical Procedure for Approving Products in Mutation-Based Software (M. Sahinoglu, E.H. Spafford). Functional Testing of Optimizing C Compilers (M. Ghiassi). Validation and Conformance Testing. Software Certification by Demand (A. Bertolino, C. Carlesi, M. Fusani). Approving Real Time Software (R. Milovanovic et al.). Conformance Testing of Implementations of Graphics Standards (R. Ziegler, M. Gobel). Standards and Certification 2. The Role of Software Certification in the EC (U. Boshagen). The Life Cycle Methodology for Software Production and the Related Experience (H. Hummel). Requirements, Development and Liability. Towards a Method for Evaluating the Quality of a User-Oriented Functional Specification (T. Moynihan, N. O'Connor). Agricultural Computing (J. Nixon, F. Robson). Experiences in System-Modelling using CASE (M. Grimmer, R. Kurpicz, J. Rohrle). The Gutegemeinschaft Software (G. Knorr). Liability. Product Liability for Validation and Testing Procedures (F.A. Koch). Software Quality - Some Legal Issues (I. Lloyd, R.I. Wilson). Liability for Unavoidable Defects of Computer Software under German and EC Law (B. Heussen). Methods. Product Certification and Process Certification (S. Lindskov-Hansen). Proposals for the Organisation of Final Software Black Box Tests (R. Linermeier, F. Siebert). Can We Afford Formal Third Party Testing? (E. Wegner). Tools. Experiences with Producing a Computerised Software Certification Tool (B. de Neumann, A. Wingrove). Supporting Software Quality Assurance by Integrating Design Metrics into a CASE Tool (A.A.R. Riegg, R.J. Lauber). A Software Modification Assistance using Interaction Representation (H. Yamada, Y. Tezuka). Case Studies. Assessing Quality for Business Oriented Software (G. Agostoni, P. Caliman, D. Di Ventura). Experiences of Automated Data Collection from Software Development Projects (R.B. Hunter, K.B. Kirkwood, A.K. Rae). Validating Technologies for Certifying Software Products (M. Neil, R. Bache). Additional Contributions. Cost Management with Metrics of Specification: The COSMOS Project (N. Fuchs, K.L. Tse, R. Whitty). Interaction of Man and Tools During Static Analysis (M. Kerksen). Defining a Method for Software Certification (H.L. Hausen, N. Cacutalua). Case Study ``Whisky'' - An Experiment of a Certification Process (A. Bors, M. Kersken). Experiences with Producing a Computerised Scheme for Producing Certification Models (B. de Neumann). Software Certification by Demand (A. Bertolino et al.). Software for Farmers in the U.K. (J. Nixon).
