Tanszéki konzulens: 

Vörös András doktorandusz Szoba: IB421

A hallgató feladata a Microsoft által fejlesztett szoftverfejlesztést támogató eszközökkel való ismerkedés, és annak a vizsgálata, hogy ezek az eszközök hogyan illeszthetőek bele napjaink szoftverfejlesztési metodológiájába.

Az eszközök között választhat a hallgató, amely során a következő területekkel lehet megismerkedni:

• szoftver tesztelés
• modellellenőrzés
• statikus és dinamikus verifikáció

Akit érdekel a téma, érdemes körülnézni a következő oldalon: http://research.microsoft.com/en-us/groups/rise/default.aspx