Automated Consistency Checking of Requirements Specifications

<body topmargin=0 leftmargin=0 marginheight=0 marginwidth=0> <table cellpadding=0 cellspacing=0 border=0><tr> <td valign="top" colspan=2 height=50 BGCOLOR="#333366" TEXT="#080000"> <div> <B>Automated Consistency Checking of Requirements Specifications</B></div> <div> </div> </td> </tr><tr> <td valign="top" width=165 BGCOLOR="#CCCC99" TEXT="#080000"> <div> <B> <TABLE BORDER="0" CELLPADDING="2" CELLSPACING="1" WIDTH="132" BORDERCOLORLIGHT="#C0C0C0" BORDERCOLORDARK="#808080" FRAME="BOX" RULES="ALL" ALIGN="BOTTOM" HSPACE="0" VSPACE="0" > <tR> <tD VALIGN=TOP HEIGHT= 35 ><NOBR><div> <IMG BORDER="0" SRC="1x1.gif" HEIGHT="29" ALIGN="BOTTOM" HSPACE="0" VSPACE="0" WIDTH="21"></div> </NOBR></tD> <tD VALIGN=TOP><NOBR><div> <IMG BORDER="0" SRC="1x1.gif" HEIGHT="29" ALIGN="BOTTOM" HSPACE="0" VSPACE="0" WIDTH="21"></div> </NOBR></tD> <tD VALIGN=TOP WIDTH="20"><IMG BORDER="0" SRC="1x1.gif" HEIGHT="35" ALIGN="bottom" WIDTH="20" HSPACE="0" VSPACE="0"></tD> <tD VALIGN=TOP><NOBR><div> <IMG BORDER="0" SRC="1x1.gif" HEIGHT="29" ALIGN="BOTTOM" HSPACE="0" VSPACE="0" WIDTH="13"></div> </NOBR></tD> <tD VALIGN=TOP><NOBR><div> <IMG BORDER="0" SRC="1x1.gif" HEIGHT="29" ALIGN="BOTTOM" HSPACE="0" VSPACE="0" WIDTH="27"></div> </NOBR></tD> </tR> </TABLE></B></div> <div> <B>Constance L. </B><B>Heitmeyer & </B><B>Ralph D. </B><B>Jeffords & </B><B>Bruce G. </B><B>Labaw</B></div> <div> <B>ACM Transactions on Software Engineering and Methodology, Vol. 5, No. 3, July 1996</B></div> <bR> </td> <td valign="top" height=430 BGCOLOR="#FFFFFF" TEXT="#080000"> <div> <A HREF="Referencer\Automated_Consistency_Checking_of_Requirements.pdf" TARGET="_top" TITLE="Referencer\Automated_Consistency_Checkin"><U>Automated Consistency Checking of Requirements Specifications</U></A></div> <bR> </td> </tr></table></body>