[buug] Random bits from and related to 2006-06-01 BUUG meeting

[Michael Paoli]

Random bits from and related to 2006-06-01 BUUG meeting:

CAPTCHA - yes it's an acronym.  The long form isn't all that catchy, though:
Completely Automated Public Turing Test to Tell Computers and Humans Apart
http://en.wikipedia.org/wiki/Captcha
And some recent related article(s):
http://it.slashdot.org/article.pl?sid=06/06/01/1255215
(I'd mentioned how many CAPTCHAs were getting rather challenging for
humans to decipher ... apparently making it baffling for computers and
easier for humans is a problem that's being worked on.)
And in addition to software that solves various (arguably insufficient)
CAPTCHAs, in at least some circumstances, there are other bypass means, e.g.:
http://yro.slashdot.org/article.pl?sid=04/01/28/1344207&mode=flat
... though that's technically not a CAPTCHA shortfall.

Dependable Software by Design
http://www.scientificamerican.com/article.cfm?chanID=sa006&articleID=00020D04-CFD8-146C-8D8D83414B7F0000&pageNumber=1&catID=2
Mostly mentions Alloy, but also includes a reference to Z:
http://www.scientificamerican.com/media/inline/00020D04-CFD8-146C-8D8D83414B7F0000_p74.gif
Tools To Automate Checking of Software Design
http://developers.slashdot.org/article.pl?sid=06/06/02/207246&threshold=-1