John Launchbury: High-Assurance Software
Category: Languages > Programming      Posted: 09 Mar 09

I had the pleasure of co-hosting a seminar on Functional Programming at Ericsson. We were able to bring an impressive cast of speakers:

  • Simon Peyton-Jones, Microsoft Research
  • Satnam Singh, Microsoft Research
  • John Hughes, Chalmers
  • John Launchbury, Galois
    Some notable people...

  • Whats new in Drools 5 video and Q&A session
    Category: Languages > Java      Posted: 08 Mar 09

    Last week (very late night my time) we had a "webex" online seminar talking about what is new in Drools 5, followed by a question and answer session.

    Testing as Communication, Real-World Techniques - Jon Larkowski
    Category: Web Development > Ruby On Rails      Posted: 19 Feb 09

    This session covers how Hashrocket, an experienced Ruby on Rails consultancy, uses a wide range of real-world testing techniques and agile methodologie...

    Live Video Q&A - David Heinemeier Hansson
    Category: Web Development > Ruby On Rails      Posted: 19 Feb 09

    For 50 minutes David will be entertaining questions from the audience. This is a unique opportunity that you won't want to miss.

    About ...

    Testing Heresies - Francis Hwang
    Category: Languages > Ruby      Posted: 08 Feb 09

    Sure, we're all supposed to be testing here in Ruby-land. But if you think about it too much, you might come up with some inconvenient questions. Shou...

    Testing Web Applications with Selenium & Selenium Remote Control
    Category: Languages > Testing      Posted: 04 Feb 09

    Selenium is a testing tool for web applications that automates browser actions, simulating user interactions with the web page. The Remote Control extension allows Selenium tests to be scripted and executed from common programming environments like Java and .NET.

    This session introduces Se...