As we build new applications, we need systems that will provide guardrails, and ensure the correct functioning of ever more powerful tools. Professor Adam Chipala is working on ground-breaking ways of ...

Visit NAP.edu/10766 to get more information about this book, to buy it in print, or to download it as a free PDF. How can software and the systems that rely on it be made dependable in a ...

What does it take to design a software system that doesn’t crumble under the weight of its own complexity? For many developers, the challenge of architecting large-scale software projects lies in ...

The open-source software underlying critical infrastructure — from financial systems to public utilities to emergency services and electronic health records — is vulnerable to malicious cyberattacks.

Software engineering is the branch of computer science that deals with the design, development, testing, and maintenance of software applications. Software engineers apply engineering principles and ...