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!news3.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local01.nntp.dca.giganews.com!nntp.comcast.com!news.comcast.com.POSTED!not-for-mail NNTP-Posting-Date: Wed, 19 Apr 2006 06:47:04 -0500 Date: Wed, 19 Apr 2006 07:45:31 -0400 From: Jeffrey Creem User-Agent: Mozilla Thunderbird 1.0.7 (Windows/20050923) X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: ada software development -case tool References: <1145436134.957557.316840@g10g2000cwb.googlegroups.com> In-Reply-To: <1145436134.957557.316840@g10g2000cwb.googlegroups.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Message-ID: NNTP-Posting-Host: 24.147.74.171 X-Trace: sv3-QIlaZ6w0bIxbl6Fo5iv9t083CqpNCKEJUJAmKtuM4P99ITVcfF+35NLv3WYJ0W0fSJqOMeuXLmnRZDK!/rM7N5g7iAGDdtlUxreDZWiEBf6rwIjDpsza6OEMvnnkAzB5RGw2eFThlNd3TndKunKVHUWLxZ/N!GhU= X-Complaints-To: abuse@comcast.net X-DMCA-Complaints-To: dmca@comcast.net X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.3.32 Xref: g2news1.google.com comp.lang.ada:3862 Date: 2006-04-19T07:45:31-04:00 List-Id: Ananth the Boss wrote: > 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 > typing spark ada uml into google ended up with at least the first two hits being totally relevant.