New Era of Engineering | [Summer Shorts] What happens when you rethink software assurance from the ground up?

In this episode of New Era of Engineering, we explore how Capgemini is redefining software assurance through the integration of Alloy—a formal modeling language—and Crucible, a powerful suite of modeling tools. Host Brian Doherty is joined by Janet Barnes, Software Engineer and Formal Methods Expert from Capgemini Engineering,  to discuss how this bold approach is enabling automation, improving test coverage, and uncovering bugs earlier in the development lifecycle. Discover how the right mix of expertise, tooling, and vision is helping teams scale formal methods and unlock real business value.

Guest :  Janet Barnes, Software Engineer and Formal Methods Expert from Capgemini Engineering

Host: Brian Doherty ​

Production & Realization: Brockhill Creative Ltd. 

What is New Era of Engineering ?

Embark on a journey into the heart of ongoing tech research & innovation with 'New Era of Engineering' a series by Capgemini Engineering addressing key challenges for a more intelligent industry.

Curious to learn about how some of today’s challenges are being tackled to create a more intelligent tomorrow? Join us as we guide you, through the cutting-edge world of AI, Sustainability, Automotive, Digital Twins, 5G, and more alongside prestigious technological pioneers and researchers.

Web - https://www.capgemini.com/insights/research-library/new-era-of-engineering/
Email - [e-mail]