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.

Zusammenfassung
Given the concentration of good, relevant papers, for anyone wanting access to current developments in testing, verification and reliability and object technology, this book seems to me to be good value... - Software Testing, Verification and Reliability

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.