Formal Modeling of Complex Commands in Industrial Software Specifications
-
Published:1994-09
Issue:3
Volume:5
Page:249-274
-
ISSN:1047-7047
-
Container-title:Information Systems Research
-
language:en
-
Short-container-title:Information Systems Research
Author:
Mannino Michael V.,Rathnam Sukumar,Choi In Jun,Tseng Veronica
Publisher
Institute for Operations Research and the Management Sciences (INFORMS)
Subject
Library and Information Sciences,Information Systems and Management,Computer Networks and Communications,Information Systems,Management Information Systems