From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: ** X-Spam-Status: No, score=2.1 required=5.0 tests=BAYES_05,INVALID_DATE, MSGID_SHORT,REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!uwm.edu!uakari.primate.wisc.edu!ginosko!uunet!munnari.oz.au!mimir!hugin!augean!sirius!fang!itd.dsto.oz!spj From: spj@itd.dsto.oz (Stephen Jones) Newsgroups: comp.lang.ada Subject: Rapid Prototyping using Real-Time Specifications Message-ID: <545@fang.dsto.oz> Date: 11 Oct 89 17:08:35 GMT Sender: news@fang.dsto.oz Reply-To: spj@itd.dsto.oz (Stephen Jones) Organization: Defence Science and Technology Organization List-Id: Has anyone any information on STATEMATE by i-Logix inc.? STATEMATE is a graphical working environment which allows users to prepare, analyze and debug diagramatic systems specifications. Also we would be interested in information on other rapid prototyping tools based on execution of specifications, particularly those related to standard real-time structured analysis representations (eg Hatley/Pirbhai, Ward/Mellor). Thanks Stephen Jones Software Engineering Group Defence Science and Technology Organization PO Box 1600 Salisbury SA 5108 Australia Ph 61-8-2597007 Has anyone any information on STATEMATE by i-Logix inc.? STATEMATE is a graphical working environment which allows users to prepare, analyze and debug diagramatic systems specifications. Also we would be interested in information on other rapid prototyping tools based on execution of specifications, particularly those related to standard real-time structured analysis representations (eg Hatley/Pirbhai, Ward/Mellor).