Del 0 - IFIP Advances in Information and Communication Technology

Achieving Quality in Software

Proceedings of the third international conference on achieving quality in software, 1996

Inbunden, Engelska, 1995

2 849 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This text provides a review of current perspectives on software quality. It covers the key topics of quality modelling, quality measurements and process improvement. Significantly, the text also addresses: potential relations between conventional software systems and knowledge-based system quality; the impact of formal methods on software quality; and the impact of an object-oriented approach to software quality. This work is aimed at managers, engineers and researchers concerned with quality management, quality standards, software development process and software metrics. It should also be of interest to quality engineers, software engineers; those working for certification bodies and laboratories.

Produktinformation

Utgivningsdatum1995-11-30
Mått155 x 235 x 25 mm
Vikt794 g
FormatInbunden
SpråkEngelska
SerieIFIP Advances in Information and Communication Technology
Antal sidor428
Upplaga1996
FörlagChapman and Hall
ISBN9780412639005

Tillhör följande kategorier

Programvaruutveckling inom Data och IT

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.