Microsoft szoftverfejlesztést támogató eszközök

Tanszéki konzulens: 
A doktorandusz fényképe
doktorandusz
Szoba: IB421

A kiírás adatai

A téma státusza: 
Korábbi (jelenleg nem aktív, de látszik)
Kiírás éve: 
2011
A kiírás jellege: 
önálló labor, szakdolgozat/diplomaterv

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

© 2010-2024 BME MIT | Hibajelentés | Használati útmutató