# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1412161342 -3600
# Node ID 70142c708a9117e30d08f88e3763ed2641ab567a
# Parent  8083b2b301e1e17693edc40c20fba29d21ec2364
updated

diff -r 8083b2b301e1 -r 70142c708a91 bsc-projects-14.html
--- a/bsc-projects-14.html	Sun Sep 21 13:57:10 2014 +0100
+++ b/bsc-projects-14.html	Wed Oct 01 12:02:22 2014 +0100
@@ -241,7 +241,7 @@
   </p>
 
   <p>
-  <B>PS:</B> Compiler projects, like this one or [CU6], consistently received high marks in the past.
+  <B>PS:</B> Compiler projects, like this one or [CU8], consistently received high marks in the past.
   I suprvised four so far and none of them received a mark below 70% - one even was awarded a prize.
   </p>
 
@@ -469,7 +469,11 @@
   </center>
   </p>
 
-<li> <H4>[CU6] Language Translator into JavaScript</H4>
+<li> <H4>[CU6] Generating Testcases from a Specification</H4>
+
+<li> <H4>[CU7] GPRS + GPS for Arduinos</H4>
+
+<li> <H4>[CU8] Language Translator into JavaScript</H4>
 
   <p>
   <b>Description:</b> 
@@ -512,7 +516,7 @@
 
 
 
-<li> <H4>[CU7] An Infrastructure for Displaying and Animating Code in a Web-Browser</H4>
+<li> <H4>[CU9] An Infrastructure for Displaying and Animating Code in a Web-Browser</H4>
   
 <p>
   <B>Description:</B>
@@ -540,7 +544,7 @@
   </p>
 
 
-<li> <H4>[CU8] Implementation of a Distributed Clock-Synchronisation Algorithm developed at NASA</H4>
+<li> <H4>[CU10] Implementation of a Distributed Clock-Synchronisation Algorithm developed at NASA</H4>
   
   <p>
   <B>Description:</B>
@@ -572,7 +576,7 @@
   are some examples that explain how to implement exchanging messages between actors. 
   </p>
 
-<li> <H4>[CU9] Proving the Correctness of Programs</H4>
+<li> <H4>[CU11] Proving the Correctness of Programs</H4>
 
  <p>
  I am one of the main developers of the interactive theorem prover
@@ -618,7 +622,7 @@
 </TABLE>
 
 <P>
-<!-- hhmts start --> Last modified: Sun Sep 21 13:57:08 BST 2014 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Wed Oct  1 12:02:06 BST 2014 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>