| 000 | 00000nam u2200205 a 4500 | |
| 001 | 000046034893 | |
| 005 | 20200708095430 | |
| 006 | m d | |
| 007 | cr | |
| 008 | 200702s2015 sz a ob 000 0 eng d | |
| 020 | ▼a 9783319106236 | |
| 040 | ▼a 211009 ▼c 211009 ▼d 211009 | |
| 082 | 0 4 | ▼a 005.1/4 ▼2 23 |
| 084 | ▼a 005.14 ▼2 DDCK | |
| 090 | ▼a 005.14 | |
| 245 | 0 0 | ▼a Validation of evolving software ▼h [electronic resource] / ▼c Hana Chockler ... [et al.], editors. |
| 260 | ▼a Cham : ▼b Springer International Publishing : ▼b Imprint: Springer, ▼c 2015. | |
| 300 | ▼a 1 online resource (viii , 220 p.) : ▼b ill. (some col.). | |
| 500 | ▼a Title from e-Book title page. | |
| 504 | ▼a Includes bibliographical references. | |
| 505 | 0 | ▼a Introduction -- Challenges of Existing Technology -- Static Analysis -- Dynamic Analysis -- Hybrid Analysis -- Quality of Validation. |
| 520 | ▼a 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. | |
| 530 | ▼a Issued also as a book. | |
| 538 | ▼a Mode of access: World Wide Web. | |
| 700 | 1 | ▼a Chockler, Hana. |
| 856 | 4 0 | ▼u https://oca.korea.ac.kr/link.n2s?url=http://dx.doi.org/10.1007/978-3-319-10623-6 |
| 945 | ▼a KLPA | |
| 991 | ▼a E-Book(소장) |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 중앙도서관/e-Book 컬렉션/ | 청구기호 CR 005.14 | 등록번호 E14025972 | 도서상태 대출불가(열람가능) | 반납예정일 | 예약 | 서비스 |