Cargando…
Cleanroom software engineering : technology and process /
Cleanroom software engineering is a process for developing and certifying high-reliability software. Combining theory-based engineering technologies in project management, incremental development, software specification and design, correctness verification, and statistical quality certification, the...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Reading, Mass. :
Addison-Wesley,
©1999.
|
| Colección: | SEI series in software engineering.
|
| Temas: | |
| Acceso en línea: | Texto completo (Requiere registro previo con correo institucional) |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | OR_ocn233559865 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr unu|||||||| | ||
| 008 | 080708s1999 maua ob 001 0 eng d | ||
| 040 | |a UMI |b eng |e pn |c UMI |d OCLCQ |d CEF |d OCLCQ |d OCLCE |d DEBSZ |d OCLCQ |d OCLCO |d OCLCF |d OCLCQ |d IDEBK |d OCLCQ |d YDX |d AU@ |d OCLCQ |d WYU |d UAB |d VT2 |d CNCEN |d OCLCQ |d ERF |d DST |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 605679101 |a 607133591 |a 1044299827 |a 1056382579 |a 1103273739 |a 1104490758 |a 1105778864 |a 1112577635 |a 1153055662 |a 1202567995 |a 1240510563 |a 1295600879 |a 1300462764 |a 1303371239 | ||
| 020 | |a 9780768685909 | ||
| 020 | |a 0768685907 | ||
| 020 | |z 0201854805 | ||
| 020 | |z 9780201854800 | ||
| 024 | 8 | |a 9780768685909 | |
| 029 | 1 | |a CHBIS |b 006150568 | |
| 029 | 1 | |a CHVBK |b 17145877X | |
| 029 | 1 | |a DEBSZ |b 355430207 | |
| 029 | 1 | |a HEBIS |b 291501346 | |
| 035 | |a (OCoLC)233559865 |z (OCoLC)605679101 |z (OCoLC)607133591 |z (OCoLC)1044299827 |z (OCoLC)1056382579 |z (OCoLC)1103273739 |z (OCoLC)1104490758 |z (OCoLC)1105778864 |z (OCoLC)1112577635 |z (OCoLC)1153055662 |z (OCoLC)1202567995 |z (OCoLC)1240510563 |z (OCoLC)1295600879 |z (OCoLC)1300462764 |z (OCoLC)1303371239 | ||
| 037 | |a CL0500000023 |b Safari Books Online | ||
| 042 | |a dlr | ||
| 050 | 4 | |a QA76.758 |b .C535 1999 | |
| 082 | 0 | 4 | |a 005.1 |2 21 |
| 084 | |a 54.52 |2 bcl | ||
| 049 | |a UAMI | ||
| 245 | 0 | 0 | |a Cleanroom software engineering : |b technology and process / |c Stacy J. Prowell [and others]. |
| 260 | |a Reading, Mass. : |b Addison-Wesley, |c ©1999. | ||
| 300 | |a 1 online resource (xv, 390 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file | ||
| 490 | 1 | |a SEI series in software engineering | |
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Print version record. | |
| 506 | |3 Use copy |f Restrictions unspecified |2 star |5 MiAaHDL | ||
| 533 | |a Electronic reproduction. |b [Place of publication not identified] : |c HathiTrust Digital Library, |d 2010. |5 MiAaHDL | ||
| 538 | |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |u http://purl.oclc.org/DLF/benchrepro0212 |5 MiAaHDL | ||
| 583 | 1 | |a digitized |c 2010 |h HathiTrust Digital Library |l committed to preserve |2 pda |5 MiAaHDL | |
| 520 | |a Cleanroom software engineering is a process for developing and certifying high-reliability software. Combining theory-based engineering technologies in project management, incremental development, software specification and design, correctness verification, and statistical quality certification, the Cleanroom process answers today's call for more reliable software and provides methods for more cost-effective software development. Cleanroom originated with Harlan D. Mills, an IBM Fellow and a visionary in software engineering. Written by colleagues of Mills and some of the most experienced developers and practitioners of Cleanroom, Cleanroom Software Engineering provides a roadmap for software management, development, and testing as disciplined engineering practices. This book serves both as an introduction for those new to Cleanroom and as a reference guide for the growing practitioner community. Readers will discover a proven way to raise both quality and productivity in their software-intensive products, while reducing costs. Highlights Explains basic Cleanroom theory Introduces the sequence-based specification method Elaborates the full management, development, and certification process in a Cleanroom Reference Model (CRM) Shows how the Cleanroom process dovetails with the SEI's Capability Maturity Model for Software (CMM) Includes a large case study to illustrate how Cleanroom methods scale up to large projects. | ||
| 542 | |f Copyright © 1999 by Addison Wesley Longman, Inc. |g 1999 | ||
| 590 | |a O'Reilly |b O'Reilly Online Learning: Academic/Public Library Edition | ||
| 650 | 0 | |a Software engineering. | |
| 650 | 6 | |a Génie logiciel. | |
| 650 | 7 | |a Software engineering. |2 blmlsh | |
| 650 | 7 | |a Software engineering |2 fast | |
| 650 | 1 | 7 | |a Programmatuurtechniek. |2 gtt |
| 700 | 1 | |a Prowell, Stacy J. | |
| 776 | 0 | 8 | |i Print version: |t Cleanroom software engineering. |d Reading, Mass. : Addison-Wesley, ©1999 |z 0201854805 |
| 776 | 0 | 8 | |i Print version: |t Cleanroom software engineering. |d Reading, Mass. : Addison-Wesley, ©1999 |z 9780201854800 |
| 830 | 0 | |a SEI series in software engineering. | |
| 856 | 4 | 0 | |u https://learning.oreilly.com/library/view/~/9780768685909/?ar |z Texto completo (Requiere registro previo con correo institucional) |
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis23919615 | ||
| 938 | |a YBP Library Services |b YANK |n 14851350 | ||
| 994 | |a 92 |b IZTAP | ||