Coverart for item
The Resource Software quality and reliability: tools and methods

Software quality and reliability: tools and methods

Label
Software quality and reliability: tools and methods
Title
Software quality and reliability: tools and methods
Contributor
Subject
Language
eng
Cataloging source
UkLiU
Index
no index present
LC call number
QA76.76.Q35
LC item number
S6 1991
Literary form
non fiction
http://library.link/vocab/relatedWorkOrContributorName
Ince, D.
Series statement
UNICOM applied information technology
Series volume
6
http://library.link/vocab/subjectName
Computer programs
Label
Software quality and reliability: tools and methods
Instantiates
Publication
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Aspects of path testing and mutation testing / M.R. Woodward -- Quality-- an integrated approach / A. Smith -- Quality management and software engineering / R. Hailstone -- The role of verification and validation tools in the production of critical software / J.T. Webb -- The real importance of software quality and the role of quality systems / A. Voss -- Software testing tools / E. Fergus [and others] -- FPV-- a floating point validation package / J. Du Croz -- Building in quality through the use of software tools / P.A.V. Hall -- Software requirements analysis, formal methods and software prototyping / D. Ince -- Increasing software quality by objectives and residual fault prognosis / K. Moller -- Towards a software quality control environment / M. Adam [and others] -- Expert system software quality problems / S. Ronchi and M. Martignano -- Quality assurance management for real-time software systems : the experience of the Spanish Civil Aviation Administration / J.P. Buendia, C. Bravo -- The PRX/A software reliability investigation / A.E.J. van Delft
Dimensions
24 cm.
Extent
178 pages
Isbn
9780412378102
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Label
Software quality and reliability: tools and methods
Publication
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Aspects of path testing and mutation testing / M.R. Woodward -- Quality-- an integrated approach / A. Smith -- Quality management and software engineering / R. Hailstone -- The role of verification and validation tools in the production of critical software / J.T. Webb -- The real importance of software quality and the role of quality systems / A. Voss -- Software testing tools / E. Fergus [and others] -- FPV-- a floating point validation package / J. Du Croz -- Building in quality through the use of software tools / P.A.V. Hall -- Software requirements analysis, formal methods and software prototyping / D. Ince -- Increasing software quality by objectives and residual fault prognosis / K. Moller -- Towards a software quality control environment / M. Adam [and others] -- Expert system software quality problems / S. Ronchi and M. Martignano -- Quality assurance management for real-time software systems : the experience of the Spanish Civil Aviation Administration / J.P. Buendia, C. Bravo -- The PRX/A software reliability investigation / A.E.J. van Delft
Dimensions
24 cm.
Extent
178 pages
Isbn
9780412378102
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations

Library Locations

    • Brunswick Library StoreBorrow it
      Liverpool, GB
Processing Feedback ...