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...
|
|
|
|
|
|
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...
|
|