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

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

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

A monthly overview of things you need to know as an architect or aspiring architect. Unlock the full InfoQ experience by logging in! Stay updated with your favorite authors and topics, engage with ...

One of the biggest bottlenecks in the software development process for electronic products is that hardware is not available until late in the cycle. That means embedded software developers need to ...

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

NOTICE: The project that is the subject of this report was approved by the Governing Board of the National Research Council, whose members are drawn from the councils of the National Academy of ...