From: Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>
Subject: Re: Weird error with Dynamic_Predicate
Date: Tue, 13 May 2014 23:39:49 +0200
Date: 2014-05-13T23:39:50+02:00 [thread overview]
Message-ID: <53729126$0$6665$9b4e6d93@newsspool3.arcor-online.net> (raw)
In-Reply-To: <7d12aff9-9ad0-4eae-8697-98d7d2483327@googlegroups.com>
On 13/05/14 20:55, mockturtle wrote:
> what does DbC mean?
DbC is short for Design by Contract™.
An original, including pragmatic insight:
http://se.ethz.ch/~meyer/publications/computer/contract.pdf
More in OOSC 2nd Ed. by the same author.
next prev parent reply other threads:[~2014-05-13 21:39 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-05-12 19:47 Weird error with Dynamic_Predicate mockturtle
2014-05-12 20:45 ` Peter Chapin
2014-05-12 20:52 ` mockturtle
2014-05-12 21:01 ` Adam Beneschan
2014-05-12 22:17 ` Randy Brukardt
2014-05-13 4:40 ` Simon Wright
2014-05-13 20:50 ` Simon Wright
2014-05-13 4:59 ` Shark8
2014-05-13 12:46 ` G.B.
2014-05-13 17:04 ` Martin
2014-05-13 18:55 ` mockturtle
2014-05-13 21:39 ` Georg Bauhaus [this message]
2014-05-14 7:30 ` mockturtle
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox