Here’s another good read in June 2006 edition of Scientific American, “Dependable Software by Design.” It mentions a software tool developed at MIT called Alloy Analyzer. Do check it out.

Source

This entry was posted on Monday, January 22nd, 2007 at 12:07 am and is filed under Programming, Technology, UnderpaidLoveMonki. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.