TY - BOOK AU - Wieringa,Roel TI - Design methods for reactive systems: Yourdan, Statemate, and the UML SN - 1558607552 (alk. paper) AV - QA 76.76.D47 W53D 2003 PY - 2003/// CY - Boston PB - Morgan Kaufmann Publishers KW - COMPUTER SOFTWARE KW - DEVELOPMENT KW - SYSTEM DESIGN N1 - Includes bibliographical references and index UR - http://www.loc.gov/catdir/description/els031/2002112068.html UR - http://www.loc.gov/catdir/toc/els031/2002112068.html ER -