Essential Computers: Excel Formulas & Functions (Essential Computers Series)
 |
|
Содержание:
Общедоступная история астрономии в XIX столетии
Описание:
Toward Zero-Defect Programming describes current methods for writing (nearly) bug-free programs. These methods are based on practices developed at IBM and elsewhere under the name Cleanroom Software Engineering. The successful application of these methods in commercial projects over the past fifteen years has produced defect rates that are, at least, an order of magnitude lower than industry averages. Remarkably, this reduction in defects comes at no net cost; on the contrary, it is often accompanied byincreased productivity and shorter overall development time! In a concise and well-illustrated presentation, Stavely shows how these methods can be applied in three key areas of software development: specification verification testing. Requiring formal specifications, and requiring that the code be proved mathematically to agree with the specifications, forces software engineers to program more simply and more clearly, eliminating many defects as a consequence....Похожие книги
 | UMTS Security Автор: Dr Valtteri Niemi Год: 2006 |
 | Database Design Using Entity-Relationship Diagrams Автор: Sikha Bagui, Richard Earp Год: 2003 |
| UMTS Security Автор: Valtteri Niemi Год: 2003 |
| CASL reference manual: the complete documentation of the Common Algebraic Specification Language Автор: Mosses Peter Год: 2004 |
| Microsoft C# Language Specifications Автор: Microsoft Corporation Год: 2001 |
 | UMTS Security Автор: Valtteri Niemi, Kaisa Nyberg, Valtteri Niemi, Kaisa Nyberg Год: 1998 |