eBook
View in EDS

Validation of Evolving Software

Bibliographic Details
Title: Validation of Evolving Software
Description: This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book.
Authors: Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
Resource Type: eBook.
Subjects: Computer programs--Validation, Computer software--Validation
Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Science
Database: eBook Index
FullText Text:
  Availability: 0
Header DbId: edsebk
DbLabel: eBook Index
An: 1022973
RelevancyScore: 918
AccessLevel: 6
PubType: eBook
PubTypeId: ebook
PreciseRelevancyScore: 918.373718261719
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Validation of Evolving Software
– Name: Abstract
  Label: Description
  Group: Ab
  Data: This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Hana+Chockler%22">Hana Chockler</searchLink><br /><searchLink fieldCode="AR" term="%22Daniel+Kroening%22">Daniel Kroening</searchLink><br /><searchLink fieldCode="AR" term="%22Leonardo+Mariani%22">Leonardo Mariani</searchLink><br /><searchLink fieldCode="AR" term="%22Natasha+Sharygina%22">Natasha Sharygina</searchLink>
– Name: TypePub
  Label: Resource Type
  Group: TypPub
  Data: eBook.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Computer+programs--Validation%22">Computer programs--Validation</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software--Validation%22">Computer software--Validation</searchLink>
– Name: SubjectBISAC
  Label: Categories
  Group: Su
  Data: <searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Software+Development+%26+Engineering+%2F+General%22">COMPUTERS / Software Development & Engineering / General</searchLink><br /><searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Computer+Science%22">COMPUTERS / Computer Science</searchLink>
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsebk&AN=1022973
RecordInfo BibRecord:
  BibEntity:
    Classifications:
      – Code: 005.14
        Scheme: ddc
        Type: prePub
    Languages:
      – Code: eng
        Text: English
    Subjects:
      – SubjectFull: Computer programs--Validation
        Type: general
      – SubjectFull: Computer software--Validation
        Type: general
    Titles:
      – TitleFull: Validation of Evolving Software
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Hana Chockler
      – PersonEntity:
          Name:
            NameFull: Daniel Kroening
      – PersonEntity:
          Name:
            NameFull: Leonardo Mariani
      – PersonEntity:
          Name:
            NameFull: Natasha Sharygina
      – PersonEntity:
          Name:
            NameFull: Hana Chockler
      – PersonEntity:
          Name:
            NameFull: Daniel Kroening
      – PersonEntity:
          Name:
            NameFull: Leonardo Mariani
      – PersonEntity:
          Name:
            NameFull: Natasha Sharygina
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2015
            – D: 11
              M: 07
              Type: profile
              Y: 2015
          Identifiers:
            – Type: isbn-print
              Value: 9783319106229
            – Type: isbn-electronic
              Value: 9783319106236
          Titles:
            – TitleFull: Validation of Evolving Software
              Type: main
ResultId 1