Generating Software from Specifications SS 2012 - News 16 May 2012 09:19:25 UT 16 May 2012 06:00:00 UT http://ag-kastens.cs.upb.de/lehre/material/gss Lecture Generating Software from Specifications SS 2012 (Latest News) http://ag-kastens.cs.upb.de/lehre/material/ci/camelot-rss.png 6756 Generating Software from Specifications SS 2012 - News http://ag-kastens.cs.upb.de/lehre/material/gss en-us Camelot uwe@uni-paderborn.de (Uwe Kastens) mthies@uni-paderborn.de (Michael Thies) Assignment #7 is published 16 May 2012 06:00:00 UT http://ag-kastens.cs.upb.de/lehre/material/gss/hinweise.html#i0516_7aigmipub26 http://ag-kastens.cs.upb.de/lehre/material/gss/hinweise.html#i0516_7aigmipub26 Assignment 7: Exercises published 16 May 2012 09:15:00 UT http://ag-kastens.cs.upb.de/lehre/material/gss/./aufgaben/blatt7/Blatt7.html http://ag-kastens.cs.upb.de/lehre/material/gss/rss_guid#i05161115_7ibavoffi40 For exams see "General Information" ... 14 May 2012 06:00:00 UT http://ag-kastens.cs.upb.de/lehre/material/gss/hinweise.html#i0514_foxamgai39 http://ag-kastens.cs.upb.de/lehre/material/gss/hinweise.html#i0514_foxamgai39 Changed lecture dates!!! 10 May 2012 06:00:00 UT http://ag-kastens.cs.upb.de/lehre/material/gss/hinweise.html#i0510_chagdcud24 http://ag-kastens.cs.upb.de/lehre/material/gss/hinweise.html#i0510_chagdcud24 Updated slides ... 08 May 2012 06:00:00 UT http://ag-kastens.cs.upb.de/lehre/material/gss/hinweise.html#i0508_updadid18 http://ag-kastens.cs.upb.de/lehre/material/gss/hinweise.html#i0508_updadid18 Assignment 6: Exercises published 09 May 2012 10:07:00 UT http://ag-kastens.cs.upb.de/lehre/material/gss/./aufgaben/blatt6/Blatt6.html http://ag-kastens.cs.upb.de/lehre/material/gss/rss_guid#i05091207_6ibavoffi40 Assignment 5: Sample Solutions published 09 May 2012 10:07:00 UT http://ag-kastens.cs.upb.de/lehre/material/gss/./aufgaben/blatt5/Loesung5.html http://ag-kastens.cs.upb.de/lehre/material/gss/rss_guid#i05091207_5iougvoff42 Assignment 5: Exercises published 02 May 2012 21:28:00 UT http://ag-kastens.cs.upb.de/lehre/material/gss/./aufgaben/blatt5/Blatt5.html http://ag-kastens.cs.upb.de/lehre/material/gss/rss_guid#i05022328_5ibavoffi40 Assignment 4: Sample Solutions published 02 May 2012 21:26:00 UT http://ag-kastens.cs.upb.de/lehre/material/gss/./aufgaben/blatt4/Loesung4.html http://ag-kastens.cs.upb.de/lehre/material/gss/rss_guid#i05022326_4iougvoff42 Assignment 4: Exercises published 25 Apr 2012 14:42:00 UT http://ag-kastens.cs.upb.de/lehre/material/gss/./aufgaben/blatt4/Blatt4.html http://ag-kastens.cs.upb.de/lehre/material/gss/rss_guid#i04251642_4ibavoffi40 Assignment 3: Sample Solutions published 25 Apr 2012 14:41:00 UT http://ag-kastens.cs.upb.de/lehre/material/gss/./aufgaben/blatt3/Loesung3.html http://ag-kastens.cs.upb.de/lehre/material/gss/rss_guid#i04251641_3iougvoff42 Assignment 2: Sample Solutions published 18 Apr 2012 22:22:00 UT http://ag-kastens.cs.upb.de/lehre/material/gss/./aufgaben/blatt2/Loesung2.html http://ag-kastens.cs.upb.de/lehre/material/gss/rss_guid#i04190022_2iougvoff42 Assignment 3: Exercises published 18 Apr 2012 14:33:00 UT http://ag-kastens.cs.upb.de/lehre/material/gss/./aufgaben/blatt3/Blatt3.html http://ag-kastens.cs.upb.de/lehre/material/gss/rss_guid#i04181633_3ibavoffi40 Assignment 1: Sample Solutions published 12 Apr 2012 07:48:00 UT http://ag-kastens.cs.upb.de/lehre/material/gss/./aufgaben/blatt1/Loesung1.html http://ag-kastens.cs.upb.de/lehre/material/gss/rss_guid#i04120948_1iougvoff42 Assignment 2: Exercises published 11 Apr 2012 12:40:00 UT http://ag-kastens.cs.upb.de/lehre/material/gss/./aufgaben/blatt2/Blatt2.html http://ag-kastens.cs.upb.de/lehre/material/gss/rss_guid#i04111440_2ibavoffi40 Assignment 1: Exercises published 04 Apr 2012 11:21:00 UT http://ag-kastens.cs.upb.de/lehre/material/gss/./aufgaben/blatt1/Blatt1.html http://ag-kastens.cs.upb.de/lehre/material/gss/rss_guid#i04041321_1ibavoffi40 Lectures begin on Thu April 5 at 11:15 in F1.110 29 Mar 2012 06:00:00 UT http://ag-kastens.cs.upb.de/lehre/material/gss/hinweise.html#i0329_51115111cubgiohu48 http://ag-kastens.cs.upb.de/lehre/material/gss/hinweise.html#i0329_51115111cubgiohu48