July 2023 SWCSF Meeting


Presentation Topic: You Can Be Correct Sir

iFacts slide from the Making Software Correct by Construction talk

A watch-along review of Making Software ‘Correct by Construction’ by Professor Martyn Thomas CBE. We’ll watch this talk together and pause for any questions you might have during the talk.

In the video, professor Martyn Thomas covers techniques to build software with few to no bugs in less time than it takes build today’s broken and insecure systems. He also covers case studies of cost and time to market for such software, putting to rest the mistaken belief that it “costs too much and takes too long” to build software properly. While some of the techniques are advanced, most of the principles discussed can be successfully applied in any software development team or project today.

And not a moment too soon as the cost of poor software quality in the US has grown to at least $2.41 trillion, while the accumulated software Technical Debt (TD) has grown to ~$1.52 trillion as of 2022. The public is becoming weary of the constant parade of patches that never seem to make our software any less buggy nor slow the ever increasing frequency and scale of cyber attacks.

Luckily, CISA’s Secure by Design, Secure by Default initiative is a push in the right direction. It likely won’t be long before insurance companies and regulators start to follow their lead and demand the reliability, security, and accountability that is the mark of any mature engineering discipline.

It’s time to move deliberately and fix things.


For this meeting, we are back in Room SO1330 of the South Building at GateWay Community College, Washington Campus. Details below. Schedule

Attend Virtually

Zoom meeting starts at: 6:15 PM MST (Arizona time)

Join the Zoom Meeting via computer

Meeting ID: 931 6477 4726

Passcode: 762310

Attend in Person

Room SO1330 of the South Building at GateWay Community College, Washington Campus.

108 N 40th St, Phoenix, AZ 85034

Map link to the Exact Location

Parking Map

Map of campus and parking options at Gateway Community College with SWCSF and the ACSL highlighted. Parking Map

South Building Map

Floorplan with room SO1330 highlighted for the South Building at Gateway Community College Building Map


Free pizza and soft drinks will be provided by TEC. If you have other preferences, Speedy Street Tacos is within walking distance, just past the East parking lot. There are also a few other restaurants within a short drive of the college.


SouthWest CyberSecurity Forum, a TEC initiative, is the longest running cybersecurity meetup in Arizona that brings together cybersecurity professionals and those exploring a future career in cybersecurity. The regular monthly sessions examine both current and emerging cyber threats, explore new security technologies and allow cybersecurity professionals to share experiences with their peers.