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

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

Jelleg: 
Elméleti és gyakorlati
Advisor: 
András Vörös
TDK lehetőség: 
TDK lehetőség
Megismerhető technológiák: 
Microsoft technológiák
Állapot: 
Korábbi