A Software Crisis: The Development of Truly Reliable and Dependable Software

Advisor

A Software Crisis: The Development of Truly Reliable and Dependable Software

Posted September 11, 2008 | Leadership | Technology |

In the current edition of Communications of the Association of Computing Machinery (CACM), there is an extremely important article for everyone involved in mission-critical software. The article is titled "Software Engineering and Formal Methods" and is written by a number of illustrious software scientists.

About The Author

Ken Orr

Ken Orr was a Fellow of the Cutter Business Technology Council and a Senior Consultant with Cutter Consortium's Data Analytics & Digital Technologies, Business Technology & Digital Transformation Strategies, and Business & Enterprise Architecture practices. He was also a regular speaker at Cutter Summits and symposia. Mr. Orr was an internationally recognized expert on enterprise architecture, data warehousing, knowledge management… Read More

Don’t have a login? Make one! It’s free and gives you access to all Cutter research.

	9 Traps That Derail Purpose-Driven Transformation
	Implementing a Predictive Twin for Positive-Energy Districts: Lessons Learned
	Embedding Sustainability into Strategy Execution
	Why AI Projects Fail — and How to Make Them Succeed
	Toward a Virtue-Based Vision of Professional Purpose & Responsibility
	AI Takes Orbit: Transforming Satellite Data into Environmental Action

A Software Crisis: The Development of Truly Reliable and Dependable Software

Subscribe to free newsletters

Contact us