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 ...

Computer technology has experienced exponential growth since the 1960s and '70s, with computational capabilities and software innovation roughly doubling in power every two years. At such a rapid pace ...

In recent weeks, a range of large “software-as-a-service” companies, including Salesforce, ServiceNow and Oracle, have seen their share prices tumble. Even if you’ve never used these companies’ ...

The growing complexity of modern software systems is slowly killing software developers. How can you regain control, without losing out on the best these technologies have to offer? “Complexity kills, ...

What Happened? A number of stocks fell in the afternoon session after investor fears over artificial intelligence disrupting the software industry sparked a broad sell-off. The anxiety stemmed from ...