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=0.6 required=5.0 tests=BAYES_00,FROM_WORDY autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,2d533fdb314914e8 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-08-25 03:48:03 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed1.cidera.com!Cidera!cyclone2.usenetserver.com!usenetserver.com!newscon06.news.prodigy.com!newsmst01.news.prodigy.com!prodigy.com!postmaster.news.prodigy.com!newssvr16.news.prodigy.com.POSTED!not-for-mail From: "Ken Garlington" Newsgroups: comp.lang.ada References: <9m2kq7$tc3$1@news8.svr.pol.co.uk> Subject: Re: SPARK Ada and Matlab Organization: ex-FlashNet, now Prodigy X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.50.4522.1200 X-Mimeole: Produced By Microsoft MimeOLE V5.50.4522.1200 Message-ID: NNTP-Posting-Host: 65.65.208.208 X-Complaints-To: abuse@prodigy.net X-Trace: newssvr16.news.prodigy.com 998736474 ST000 65.65.208.208 (Sat, 25 Aug 2001 06:47:54 EDT) NNTP-Posting-Date: Sat, 25 Aug 2001 06:47:54 EDT X-UserInfo1: OP[YBY_D\JW]BFPYBJKBNRLI[B]NQHQIKYYDMREK@YWZUYUBK^RAAEW[QDZ\YQ_IT^C_[EVLDV^NOMOBFFTINWDGGFTKX_DHE@[DRVKC^DQPPOD^HKAHIP[CODFMKGJNYDYIZCZLPI_UWEGS@D^W^B_^J[Y^G\KHBYZC@ESAY[FDPVPEGDA^M]@D]VT_QQVL Date: Sat, 25 Aug 2001 10:47:54 GMT Xref: archiver1.google.com comp.lang.ada:12410 Date: 2001-08-25T10:47:54+00:00 List-Id: If it's anything like MATRIXx, it would be very difficult to use it with SPARK, particularly if you want to annotate the source... Has MathWorks announced any form of support for SPARK? I couldn't find anything on their web site. "Paul Foster" wrote in message news:9m2kq7$tc3$1@news8.svr.pol.co.uk... : Has anyone used the Matlab modelling tool on a SPARK Ada95 development ? : Is this a good tool to use ? Any feedback is welcome. : Thanks to all respondents : : :