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

EPISODE · Aug 19, 2025 · 10 MIN

[Summer Shorts] What happens when you rethink software assurance from the ground up?

from New Era of Engineering · host Capgemini

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 EngineeringHost: Brian Doherty Production & Realization: Brockhill Creative Ltd.

What this episode covers

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 EngineeringHost: Brian Doherty Production & Realization: Brockhill Creative Ltd.

NOW PLAYING

[Summer Shorts] What happens when you rethink software assurance from the ground up?

0:00 10:02

1×

No transcript for this episode yet

We transcribe on demand. Request one and we'll notify you when it's ready — usually under 10 minutes.

Share this episode

Similar Episodes

Mar 26, 2026 ·1m

Food Saved My Life

Mar 19, 2026 ·34m

Eat More Vegetables: The 4 Foods That Beat Ozempic (Naturally)

Feb 18, 2026 ·11m

How to End Heart Disease with Dr. Fuhrman

Feb 11, 2026 ·45m

Revolutionizing Breast Health: QT Imaging, Overdiagnosis, and What to Do Instead

Jan 27, 2026 ·35m

REMIX: Why we over-shop and compulsively acquire, and how to stop, with Dr Jan Eppingstall

Jan 9, 2026 ·61m

Similar Podcasts

Ask A Spaceman Archives - 365 Days of Astronomy Ask A Spaceman Archives - 365 Days of Astronomy Podcasting Astronomy Every Day of the Year Eat to Live Jenna Fuhrman, Dr. Fuhrman Our health is our most precious gift and smart nutrition can change your life. Each month, join Dr. Fuhrman and his daughter, Jenna Fuhrman as they discuss important topics in the world of nutrition. Eat to Live will change the way you eat and think about food. French Your Way Jessica: Native French teacher founder of French Your Way Boost your French listening skills and test your comprehension with this one of a kind series of podcasts. Get the chance to listen to a real conversation between native speakers talking at normal speed AND customise your learning experience through carefully designed sets of questions (2 levels of difficulty) available for download at www.frenchvoicespodcast.com. All interviews also come with the transcript. French teacher Jessica interviews native speakers of French from around the world who share a bit of their life and passion. Where else would you meet in one same place a French yoga teacher based in Melbourne, a soap manufacturer from Provence, or a couple cycling around the world? That Hoarder: Overcome Compulsive Hoarding That Hoarder Hoarding disorder is stigmatised and people who hoard feel vast amounts of shame. This podcast began life as an audio diary, an anonymous outlet for somebody with this weird condition. That Hoarder speaks about her experiences living with compulsive hoarding, she interviews therapists, academics, researchers, children of hoarders, professional organisers and influencers, and she shares insight and tips for others with the problem. Listened to by people who hoard as well as those who love them and those who work with them, Overcome Compulsive Hoarding with That Hoarder aims to shatter the stigma, share the truth and speak openly and honestly to improve lives.

Frequently Asked Questions

How long is this episode of New Era of Engineering?

This episode is 10 minutes long.

When was this New Era of Engineering episode published?

This episode was published on August 19, 2025.

What is this episode about?

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

Can I download this New Era of Engineering episode?

Yes, you can download this episode by clicking the download button on the episode player, or subscribe to the podcast in your preferred podcast app for automatic downloads.

URL copied to clipboard!