PhD Lecture by Gitte Tjørnehøj
In partial fulfillment of the terms for obtaining the Ph.D.-degree, Gitte Tjørnehøj will give a lecture on the following subject:“Drifting Software Process Improvement: Studying Practice” on December 22 at 13.00 in room 0.2.13...[more]
PhD Lecture by John Knudsen
In partial fulfillment of the terms for obtaining the Ph.D.-degree, John Knudsen will give a lecture on the following subject:“Design Verification Patterns” on December 10 at 13.00 in room 0.2.13 at Cassiopeia, Selma Lagerlöfs...[more]
Seminar on "Program Testing via Hoare-style Specifications"
Friday, November 20 at 14.00 in room 0.2.90 at Cassiopeia, Selma Lagerlöfs Vej 300, 9220 Aalborg Ø. Program Testing via Hoare-style Specifications.(Joint work with Kathy Gray, extending FASE'2009 work] Alan Mycroft, Cambridge...[more]
Seminar on "Funktionsorienteret programmering som industrielt redskab"
Department seminar on 19 November at 10:00 in room 0.2.13 at Cassiopeia, Selma Lagerlöfs Vej 300, 9220 Aalborg Ø.---Funktionsorienteret programmering som industrielt redskab Christoffer Rosenkilde Nielsen og Jacob Volstrup...[more]