Software quality is a generalised statement difficult to agree or disagree with until a precise definition of the concept of "Software Quality" is reached in terms of measurable quantities. Unfortunately, for the software technology the basic question of: • what to measure; • how to measure; • when to measure; • how to deal with the data obtained are still unanswered and are also closely dependant on the field of application. In the past twenty years or more there have been a number of conferences and debates focusing on the concept of Software Quality, which produced no real industrial impact. Recently, however, the implementation of a few generic standards (ISO 9000, IEEE etc.) has produced and improved application of good practice principles at the industrial level. As a graduate in PhYSiCS, I still believe it is a long way before the concept of Software Quality can be defined exactly and measured, if ever. This is way I think the AQuIS series of conferences is important, its object begin to provide a platform for the transfer of technology and know how between Academic, Industrial and Research Institutions, in the field of Software Quality. Their objects are: • to provide a forum for the introduction and discussion of new research breakthroughs in Software Quality; • to provide professional Software Quality engineers with the necessary exposure to the results of current research; • to expose the research community to the problems of practical application of new results.

Inhalt
1 Evolving and packaging reading technologies.- 2 Analysis of fault generation caused by stress during software development.- 3 EC projects and efforts in the field of software quality.- 4 Verification and validation of knowledge based systems.- 5 Process improvement through root cause analysis.- 6 A process improvement experiment through process modelling and technology.- 7 Process maturity growing older and wiser? Using Process Advisor for process assessment.- 8 Software quality: perceptions and practices in Hong Kong.- 9 Controlling side-effects in maintenance.- 10 The short but interesting life of small software firms.- 11 Static analysis of VHDL source code: the SAVE project.- 12 Metrics and analyses in the test phase of large-scale software.- 13 Automated testing of safety requirements with the support of a deductive database.- 14 Poisson models for subprogram defect analysis.- 15 Early estimation of software reliability through dynamic analysis.- 16 Software quality classification model based on McCabe's complexity measure.- 17 Combining knowledge and metrics to control software quality factors.- 18 Software quality evaluation from research to industry: the Qseal Consortium approach.- 19 In search of the customer's quality view.- 20 Database design for quality.- 21 Methodology assistant in a graphical design of real-time applications.- 22 Using object oriented technology to measure a software process.- 23 Object-oriented software testability.- 24 Applying metrics for quality analysis and improvement of object-oriented software.- 25 Software engineering concepts for KBS design and testing for reliability.- 26 Assessing the role of formal specifications in verification and validation of knowledge-based systems.- 27 Software quality improvement: twoapproaches to the application of formal methods.- 28 Assessing the quality of specification-based testing.- 29 A tool for testing synchronous software.- 30 A case study in branch testing automation.- 31 A method for software evaluation with respect to quality standards.- 32 Software applications complexity evaluation in a bank environment.- 33 How business relationship modelling supports quality assurance of business objects.- Index of contributors.- Keyword index.