Development and verification of Windows

***********************************
E I N L A D U N G
***********************************

zu einem Vortrag im Rahmen des Informatik-Kolloquiums


Zeit: Mittwoch, den 05. Februar2003, 10:00 Uhr

Ort: Raum S4|03-B2 (Wilhelminenstrasse 7)


Referent: Brendan Murphy
Microsoft Research, Cambridge, UK



Thema: "Development and verification of Windows"



Abstract:

This talk examines the methods used to both develop and verify the Windows operating system prior to its release. The talk further discusses the process used to collect failure information in the field and considers the complex relationship between failures and faults.

Brendan Murphy is currently researching system dependability at Microsoft Research at Cambridge. Brendan has worked at Microsoft for 3 years analysing a number of aspects of system dependability, his current area of interest is to understand the relationship between failures in the field and software development methodologies. Prior to joining Microsoft Brendan work for Digital running a group that monitored the dependability of systems running on customer sites. Brendan graduated from Newcastle university.

Organisation:

Prof. Dr. N. Suri