From: Robert Love <rblove@airmail.net>
Subject: Re: Praxis High Integrity Systems got /.
Date: Sat, 07 Jan 2006 18:12:07 -0000
Date: 2006-01-07T18:12:07+00:00 [thread overview]
Message-ID: <20060107121210453-0600@news.airmail.net> (raw)
In-Reply-To: 1550583.AA7TYtsqqn@linux1.krischik.com
In <1550583.AA7TYtsqqn@linux1.krischik.com> Martin Krischik wrote:
> Hello
>
> I have no time to read it right now but I expect a nice flame war:
>
> http://developers.slashdot.org/article.pl?sid=06/01/06/006225
>
A quick read shows Ada doesn't get much play in this discussion. Praxis
and its methods are mentioned but it quickly unravels into a discussion
of funding, functional languages, etc. Praxis' point of view is
overcome by other people's experiences where formal methods aren't used.
next prev parent reply other threads:[~2006-01-07 18:12 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-01-07 8:41 Praxis High Integrity Systems got / Martin Krischik
2006-01-07 18:12 ` Robert Love [this message]
2006-01-07 18:37 ` Larry Kilgallen
2006-01-07 18:59 ` Dmitry A. Kazakov
2006-01-07 19:49 ` Martin Krischik
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox