formal methods

Oct
21

Modern Cleanroom Software Engineering in an APL Context

The Problem I've spent some time with Cleanroom Software Engineering [https://en.wikipedia.org/wiki/Cleanroom_software_engineering]
3 min read