Re: Praxis High Integrity Systems got /.

[Martin Krischik <krischik@users.sourceforge.net>]

Robert Love wrote:

> 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.

Indeed. Just what I expected (had some time to read it now). Only the group
of programmers claiming that formal procedures are not needed and secure
programs can be done C by the right kind of programmer anyway where
missing.

Martin
-- 
mailto://krischik@users.sourceforge.net
Ada programming at: http://ada.krischik.com