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