Automated Specification Analysis

There is a they or them out there - the horrible evil status quo. There always is when new techniques and technologies try to break into the main stream. Such is the case for automated specification analysis. It has been known for decades that poor requirements can sink a program. Much progress has been made in terms of modeling and requirement management tools but the authoring of clean requirement text has been a manual process. However there is at least one tool that can help users write clean requirement text and smash through the potential of project failure. If you use the Internet, then you know this technology and product are extremely powerful and will work in your setting. This paper discusses the body of work, recent studies, and provides a coupon code to use a tool to help you write clean specifications.