comp.lang.ada
 help / color / mirror / Atom feed
From: Kilgallen@SpamCop.net (Larry Kilgallen)
Subject: Re: Praxis High Integrity Systems got /.
Date: 7 Jan 2006 12:37:18 -0600
Date: 2006-01-07T12:37:18-06:00	[thread overview]
Message-ID: <y8jaO7TTHKiB@eisner.encompasserve.org> (raw)
In-Reply-To: 20060107121210453-0600@news.airmail.net

In article <20060107121210453-0600@news.airmail.net>, Robert Love <rblove@airmail.net> writes:
> 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.  

Gresham's Law as applied to development process.



  reply	other threads:[~2006-01-07 18:37 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
2006-01-07 18:37   ` Larry Kilgallen [this message]
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