14 Sep '13, 2pm

Just posted to

At the time of writing the original text (sometime in 2000), I was doing a lot of DbC and Eiffel programming and had just started using XP style unit tests. Today (sometime in 2003) I am no longer writing Eiffel code and doing very little "formal" DbC. I find that I still think of interfaces in terms of contracts with pre/post conditions, but instead using Eiffel-like assertions to define the pre/post-condition assertions, I now use unit tests to drive and define the shape of the software. Although the unit tests have a different focus than assertions (as noted in the article), I find that they are quite suitable for my needs and rarely find it necessary to supplement the coce with any additional pre/post-condition assertions.

Full article: http://onestepback.org/index.cgi/Tech/Programming/DbcAndT...

Tweets

We've been featured in @New_Electronics ' #Elec...

newelectronics.co.uk 13 Sep '13, 11am

Catering specifically to their professional needs, the event attracted 1600 design engineers to the Ricoh Arena, Coventry....

Cristiano Ronaldo agrees contract extension wit...

skysports.com 15 Sep '13, 8am

Sky Bet Loading Market ... Football Betting Claim your free bet now! Cristiano Ronaldo has agreed an extension to his cont...

Clementi 606 Nus Student Look No Owner Unit ——A...

rentinsingapore.com 14 Sep '13, 7am

bus no _ 97,188,196,197,198,963 this unit offers a spacious and comfortable accomdation that is furnished , to suit your n...

Allied/RS Bring Free 3D Design Software to Ever...

eetimes.com 12 Sep '13, 9pm

OMG! All the electronic and mechanical engineers I know (and even most of the marketing folks) are going to squeal like sc...

Using Node.js and Karma Framework for Unit Test...

rubyflow.com 14 Sep '13, 7pm

Using Node.js and Karma Framework for Unit Tests and Code Coverage in Javascript Posted by shvets on September 14, 2013 — ...

Dictatorship franchise | US Gov't Pledges to St...

akrockefeller.com 14 Sep '13, 9pm

Source: The Jakarta Globe By Agence France-Presse Singapore. The United States will step up its military cooperation with ...

Simulator interrogates car design #design

Simulator interrogates car design #design

eurekamagazine.co.uk 16 Sep '13, 12am

"Our simulator can be used across many different vehicles bringing real benefits of scope," says Frank Kalff, commercial d...

New power to gas (P2G) unit inaugurated in eastern Germany via @RenewablesNews

New power to gas (P2G) unit inaugurated in east...

renewableenergymagazine.com 15 Sep '13, 9am

A new power-to-gas (P2G) unit in Falkenhagen, eastern Germany, has been officially launched by E.ON. The unit uses wind po...

Essential Tips for Facebook's New News Feed Ad Unit

Essential Tips for Facebook's New News Feed Ad ...

searchenginewatch.com 10 Sep '13, 12pm

Back in May we covered Facebook's new ad formats which includes placement in users' News Feeds featuring bigger images and...

Najib’s New NEP: Step Forwards or Backwards - b...

blog.limkitsiang.com 15 Sep '13, 4pm

42 years after the New Economic Policy (NEP) was launched by his father, Tun Abduk Razak, Prime Minister Najib Razak has n...

Our latest: eco-fashion friday finds – indie de...

alternativeconsumer.com 14 Sep '13, 1pm

(above ) Hmmm, I wonder how many choose to get hitched on Friday the 13th. Straight from Warsaw, Poland, Cutrag takes spec...

The Design Philosophies of Toshiyuki Kita and Naoto Fukasawa | Design Sojourn via @designsojourn

The Design Philosophies of Toshiyuki Kita and N...

designsojourn.com 14 Sep '13, 4am

After reading through the previous article on “Theories behind Japanese Design”, I felt the urge to share what I have lear...

Coda Cars brings Sedan EV back at 'substantial ...

green.autoblog.com 14 Sep '13, 1pm

Proving once again that final acts in the EV world are rarely 100-percent, you know, final, check out this bit of surprisi...

Confirmed: Coda Cars brings Sedan EV back at 's...

green.autoblog.com 14 Sep '13, 2pm

Proving once again that final acts in the EV world are rarely 100-percent, you know, final, check out this bit of surprisi...

Check out TDK's ultra-thin receiving coil unit ...

digikey.com 14 Sep '13, 8am

wireless power transfer coil unit is designed for smartphones and other mobile devices. The receiving coil is designed for...