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.
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.
AgileConnection is a TechWell community.
Through conferences, training, consulting, and online resources, TechWell helps you develop and deliver great software every day.
