Erlang Workshop 2009
-
Latest news from the Erlang/OTP team at Ericsson
-
Teaching Erlang using Robotics and Player/Stage.
-
Model Based Testing of Data Constraints: Testing the Business Logic of a Mnesia Database Application with Quviq QuickCheck.
-
Development of a Distributed System Applied to Teaching and Learning.
-
Cleaning up Erlang code is a dirty job but somebody's gotta do it.
-
Automated Module Interface Upgrade.
-
Automatic Testing of TCP/IP Implementations Using Quickcheck.
-
Erlang09 invited talk.
-
Automatic Assessment of Failure Recovery in Erlang Applications.
-
Implementing an LTL-to-Büchi translator in Erlang.
-
Recent Improvements to the McErlang model checker.
-
ETC: an Object-Oriented Extension to Erlang.
Albums
There are 12 videos in this album. Albums make it easy to organize a collection of videos. They can be used to display videos together, or sent to friends as a playlist. You can even arrange the order of videos in each album.
You can add a video to one of your albums or create a new album from the "+Add to…" tab on video pages.
Albums can also be used to show videos on other web sites using Vimeo Widgets.
Also Check Out
More stuff from Malcolm Wallace