"Blue Collar Formal Methods" in Commercial Quality Assurance

Summary:

There are many areas in commercial QA where Formal Methods (FM) could make useful contributions, yet there has not been a lot of focus by the FM community on commercial QA in a "real-world" setting. This paper focuses on these methods.

About the author

Richard Denney

Richard Denney is the author of Succeeding with Use Cases: Working Smart to Deliver Quality, part of Addison-Wesley's Object-Technology Series. Richard has 25 plus years experience in software development and process management. He's also has experience as a principal in process improvements for some of the oil industry's largest software solutions suppliers: the Texas State Office of the Attorney General, and several Fortune 500 companies as a consulting affiliate of TeraQuest Metrics (software process component of Borland) and SAIC.