from the does-the-toad-think-it's-safe? dept.
reillymj writes "Researchers claim toads sensed a severe earthquake last year five days before it hit. Last spring's L'Aquila earthquake devastated the medieval city of the same name in Italy. Five days earlier, a group of biologists noticed some toads behaving strangely in a pond nearby that would later be the quake's epicenter."
from the venice-washington-must-continue-to-wait dept.
pmontra writes "The City of Venice, Italy, started to offer free Wi-Fi to residents (Google translation from the Italian source) on July 3 2009. Tourists and other visitors will pay 5 Euros a day for the service starting from September. The hot spots are connected to a ten thousand kilometer (6,250 mile) fiber optic LAN the City started deploying in the '90s. The first day of free Internet access has been celebrated with a digital treasure hunt in the channels of the lagoon city."
it's false because while pre/post-conditions are just assertion, you just can't code class or method invariants and variants in a classical language without making the code unreadable and unmaintainable. These invariants are what makes eiffel 'design by contract' a good paradigm for building robust programs.