comp.lang.ada
 help / color / mirror / Atom feed
From: "Ken Garlington" <Ken.Garlington@computer.org>
Subject: Re: SPARK Ada and Matlab
Date: Sat, 25 Aug 2001 10:47:54 GMT
Date: 2001-08-25T10:47:54+00:00	[thread overview]
Message-ID: <unLh7.2486$9O5.997919916@newssvr16.news.prodigy.com> (raw)
In-Reply-To: 9m2kq7$tc3$1@news8.svr.pol.co.uk

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" <paul@fos-ltd.freeserve.co.uk> 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
:
:
:





      reply	other threads:[~2001-08-25 10:47 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-08-23 10:08 SPARK Ada and Matlab Paul Foster
2001-08-25 10:47 ` Ken Garlington [this message]
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox