Association for Information Systems AIS Electronic Library (AISeL) ICIS 1991 Proceedings International Conference on Information Systems (ICIS) 1991 FORMAL SPECIFICATIONS AND COMMAND MODELING IN SOFTWARE SYSTEMS WITH A COMPLEX COMMAND STRUCTURE Michael V. Mannino University of Washington In Jun Choi Pohang Institute of Science and Technology Sukumar Rathnam Te University of Texas at Austin Follow this and additional works at: htp://aisel.aisnet.org/icis1991 Tis material is brought to you by the International Conference on Information Systems (ICIS) at AIS Electronic Library (AISeL). It has been accepted for inclusion in ICIS 1991 Proceedings by an authorized administrator of AIS Electronic Library (AISeL). For more information, please contact elibrary@aisnet.org. Recommended Citation Mannino, Michael V.; Choi, In Jun; and Rathnam, Sukumar, "FORMAL SPECIFICATIONS AND COMMAND MODELING IN SOFTWARE SYSTEMS WITH A COMPLEX COMMAND STRUCTURE" (1991). ICIS 1991 Proceedings. 31. htp://aisel.aisnet.org/icis1991/31 brought to you by CORE View metadata, citation and similar papers at core.ac.uk provided by AIS Electronic Library (AISeL)