November 2005 - Posts

Why learn applied formal methods?

I’m just about finished with the coursework portion for my MSE degree and figured my last quarter should have some fun classes instead of the “usual” ones. I’m taking a course called Applied Formal Methods . It’s all about writing specs using a formal Read More...

Posted 17 November 05 08:58 by mikemill | 1 Comments   
Filed under Randomness

Search

This Blog

• Home
• About
• Email

Tags

• Applications and platforms
• Architects and Architectures
• Dynamics Live
• Hybrid models
• Microsoft CRM
• Pure-play hosted models
• Randomness
• Web 2.0

Archives

• June 2008 (1)
• May 2008 (1)
• February 2008 (1)
• January 2008 (1)
• September 2007 (2)
• June 2007 (3)
• March 2007 (2)
• November 2006 (2)
• July 2006 (1)
• June 2006 (5)
• May 2006 (7)
• April 2006 (2)
• March 2006 (5)
• February 2006 (8)
• December 2005 (1)
• November 2005 (1)
• October 2005 (1)
• September 2005 (2)
• March 2005 (1)
• February 2005 (5)
• January 2005 (1)
• December 2004 (7)
• September 2004 (3)

Syndication

• RSS 2.0
• Atom 1.0