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.8 required=5.0 tests=BAYES_00,PLING_QUERY
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,b6d862eabdeb1fc4
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,UTF8
Path: 
 g2news1.google.com!news4.google.com!feeder.news-service.com!newsfeed1.swip.net!uio.no!hist.no!news.net.uni-c.dk!dotsrc.org!filter.dotsrc.org!news.dotsrc.org!not-for-mail
Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes
Newsgroups: comp.lang.ada
Subject: Re: Ada noob here! Is Ada widely used?
References: <jhaJn.4661$z%6.1650@edtnps83>
 <0e88de66-128c-48fd-9b9f-fdb4357f318a@z17g2000vbd.googlegroups.com>
 <hud0f9$n8u$1@speranza.aioe.org> <op.vdtlrvrlxmjfy8@garhos>
 <yvu10n9bap55$.1occbqoi8kamk$.dlg@40tude.net>
 <hudsf0$41p$1@speranza.aioe.org>
 <wcchblh9uw6.fsf@shell01.TheWorld.com>
 <C8306ECD.145F17%yaldnif.w@blueyonder.co.uk>
 <jie1slpi909j.152v5srl3et2y.dlg@40tude.net> <op.vdvbh7ikule2fv@garhos>
 <dde6m0poz8y2$.159jnspm6e$.dlg@40tude.net> <op.vdvdn9scule2fv@garhos>
 <d00zdxzqkpyy$.b18v6dzye2v2.dlg@40tude.net> <op.vdvk5jrdule2fv@garhos>
 <2o8vq76hpv1m.vs7m2beo23nz.dlg@40tude.net> <op.vdvpd7wpule2fv@garhos>
 <1q5k4indthpli.1dn17o4ue4a15$.dlg@40tude.net>
 <4c0c1188$0$6887$9b4e6d93@newsspool2.arcor-online.net>
Date: Mon, 07 Jun 2010 09:56:02 +0200
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
From: "Martin Krischik" <krischik@users.sourceforge.net>
Organization: Martin Krischik, Softwareentwicklung
Message-ID: <op.vdw6zottz25lew@macpro-eth1.krischik.com>
User-Agent: Opera Mail/10.53 (MacIntel)
NNTP-Posting-Host: 89.236.175.138
X-Trace: news.sunsite.dk
 DXC=2@g=1XCJWhClZiKmBn9NRLYSB=nbEKnkKQV[9g8WXhnMIDiY_4:UK?Cd3N<Hj?FVIN>ai^>E:QM5D2e^5VLiC>9F7g<NPV4OajO
X-Complaints-To: staff@sunsite.dk
Xref: g2news1.google.com comp.lang.ada:11390
Date: 2010-06-07T09:56:02+02:00
List-Id: <comp.lang.ada>

Am 06.06.2010, 23:22 Uhr, schrieb Georg Bauhaus  
<rm-host.bauhaus@maps.futureapps.de>:

> On 6/6/10 3:10 PM, Dmitry A. Kazakov wrote:

> It seems worthwhile mentioning that DbC's primary purpose
> is not to augment programs with run-time checks; rather, DbC asks
> for programmers who write as if there was no assertion monitoring
> but who explain their code with pre/post/inv.  The operator may
> turn on run-time monitoring so that he/she is notified if something goes
> wrong (disproving the programmers' assumptions; the monitor stops
> the program or runs the remains in a debugger).

Sounds a lot like Java assertions. We makes me think:

If the captain thinks that there might be icebergs on route he orders to  
take on live boats. If not he leaves them at shore to save petrol and gain  
extra speed. The later is default if the captain forgets to make a  
decision.

Or worse:

If the captain does not believe the engineer that the ship is unsinkable  
he orders to take on of live boats.  If not …

Martin
-- 
Martin Krischik
mailto://krischik@users.sourceforge.net
https://sourceforge.net/users/krischik