The Software Systems Laboratory pursues basic research in all aspects of the design, implementation, evaluation, and verification of software systems. The group, which comprises 25 researchers, ...

AI can produce code. Organizations still have to produce software. Agentic development is changing how software gets made, but it hasn’t changed what it costs to be wrong. Six months ago, we began ...

What is a system of systems? A system of systems (SoS) is the collection of multiple, independent systems in context as part of a larger, more complex system. A system is a group of interacting, ...

Companies are still grappling with exactly how software development should work in the AI area, but one early answer is the so-called software factory. Essentially an agent loop that’s built around ...

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

Most complex systems are designed in a top-down manner, but as the amount of electronic content in those systems increases, so does the pressure on the chip industry to provide high-level models and ...