A Practical Theory Of Programming


Download Now Read Online

Author by : Eric C.R. Hehner
Languange Used : en
Release Date : 1993-08-06
Publisher by : Springer Science & Business Media

There are several theories of programming. The first usable theory, often called "Hoare's Logic", is still probably the most widely known. In it, a specification is a pair of predicates: a preconditio

Software Architecture In Practice


Download Now Read Online

Author by : Len Bass
Languange Used : en
Release Date : 2012-09-25
Publisher by : Addison-Wesley

The award-winning and highly influential Software Architecture in Practice, Third Edition, has been substantially revised to reflect the latest developments in the field. In a real-world setting, the

Enterprise Architecture At Work


Download Now Read Online

Author by : Marc Lankhorst
Languange Used : en
Release Date : 2009-07-15
Publisher by : Springer Science & Business Media

An enterprise architecture tries to describe and control an organisation’s structure, processes, applications, systems and techniques in an integrated way. The unambiguous specification and descript

Cleanroom Software Engineering


Download Now Read Online

Author by : Stacy J. Prowell
Languange Used : en
Release Date : 1999
Publisher by : Addison-Wesley Professional

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 Clea