"Blue Collar Formal Methods" in Commercial Quality Assurance

[article]
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.

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's picture 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.

StickyMinds is one of the growing communities of the TechWell network.

Featuring fresh, insightful stories, TechWell.com is the place to go for what is happening in software development and delivery.  Join the conversation now!

Upcoming Events

Sep 22
Oct 12
Nov 09
Nov 09