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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,ef305340b2510c58 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news1.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newscon06.news.prodigy.com!newscon02.news.prodigy.com!prodigy.net!newsfeed.cwix.com!news.binc.net!clubley From: clubley@remove_me.eisner.decus.org-Earth.UFP (Simon Clubley) Newsgroups: comp.lang.ada Subject: Re: ada software development -case tool Date: 19 Apr 2006 07:04:57 -0500 Organization: Encompasserve Message-ID: References: <1145436134.957557.316840@g10g2000cwb.googlegroups.com> NNTP-Posting-Host: eisner.encompasserve.org X-Trace: grandcanyon.binc.net 1145448248 27400 192.135.80.34 (19 Apr 2006 12:04:08 GMT) X-Complaints-To: abuse@binc.net NNTP-Posting-Date: Wed, 19 Apr 2006 12:04:08 +0000 (UTC) Xref: g2news1.google.com comp.lang.ada:3863 Date: 2006-04-19T07:04:57-05:00 List-Id: In article <1145436134.957557.316840@g10g2000cwb.googlegroups.com>, "Ananth the Boss" writes: > is there any case tool available for development of mission critical > software. we use ada for development and that too for safety purpose a > customized subset of ada we follow. will ther be any case tool which > will cater to this requirement > Is the Ada subset SPARK by any chance ? If so, contacting Praxis (see http://www.praxis-his.com/sparkada/ ) may reveal some additional suggestions. However, I'm a bit surprised about the way you are selecting your development tools. :-) Your previous question about selecting a Ada IDE mentioned you were developing safety critical software. To me that implies that you have a whole infrastructure regarding certification to setup. It also means that you are probably developing against some kind of embedded environment which will further restrict what development options are available. Once you know your requirements in these areas, that in itself will guide you towards various vendors, and they will have recommended IDE/CASE tools. However, if you provide information on what your certification requirements are as well as your target hardware (and OS) you may get more helpful answers from those here who have similar environments. HTH, Simon. -- Simon Clubley, clubley@remove_me.eisner.decus.org-Earth.UFP If Google's motto is "do no wrong", then how did we get Google Groups 2 ?