Related Books

The Correctness-by-Construction Approach to Programming
Language: en
Pages: 273
Authors: Derrick G. Kourie
Categories: Computers
Type: BOOK - Published: 2012-04-10 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand, there are texts and approaches that are so f
The Correctness-by-Construction Approach to Programming
Language: en
Pages: 273
Authors: Derrick G. Kourie
Categories: Computers
Type: BOOK - Published: 2012-04-12 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand, there are texts and approaches that are so f
Computer Science
Language: en
Pages: 1060
Authors: Behrouz A. Forouzan
Categories: Computers
Type: BOOK - Published: 2004 - Publisher: Thomson Brooks/Cole

DOWNLOAD EBOOK

Based on the tenet that good habits are formed early, the authors consistently emphasize the principles of structured programming and software engineering. Ever
Feature-Oriented Software Product Lines
Language: en
Pages: 320
Authors: Sven Apel
Categories: Computers
Type: BOOK - Published: 2013-10-04 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

While standardization has empowered the software industry to substantially scale software development and to provide affordable software to a broad market, it o
Software Engineering at Google
Language: en
Pages: 602
Authors: Titus Winters
Categories: Computers
Type: BOOK - Published: 2020-02-28 - Publisher: O'Reilly Media

DOWNLOAD EBOOK

Today, software engineers need to know not only how to program effectively but also how to develop proper engineering practices to make their codebase sustainab