The verifying compiler: a Grand Challenge for computing research

0 értékelés alapján:

Prof. Sir Tony Hoare (emeritus professzor - Oxford University Computing Laboratory, vezető kutató - Microsoft)

A felvételek megtekintéséhez az Adobe Flash Player szoftver egy újabb verziójára van szükség. Az Ön számítógépén egy régebbi változat található, vagy a lejátszó még nincs telepítve. Kattintson ide az újabb változat telepítéséhez!
slidelista  

  • Feltöltő:

    NIIF Intézet

  • Felvétel ideje:

    2004. október 6.

    Felvétel hossza:

    48p 10mp

  • Feltöltés ideje:

    2010. május 26.
  • Nincs csatolt állomány

Minden jog fenntartva.

Software Technology Forum (9th)

Új kihívások a szoftver kutatás-fejlesztésben

A Szoftvertechnológiai Fórum célja, hogy a szoftvertechnológia területén világhírű kutatás-fejlesztési szakember (Bélády László) vezetésével betekintést nyújtson az adott terület legizgalmasabb eredményeibe. A Fórum rendezvényein hangsúlyozottan olyan szoftvertechnológiai kutatási területek kerülnek ismertetésre, amelyeknek alkalmazása már elkezdődött a fejlett számítástechnikai cégeknél, de még számos probléma vár megoldásra a széleskörű gyakorlati felhasználások során. A szervezők célja, hogy a résztvevők ismertetést kapjanak az adott szoftverfejlesztési terület aktuális helyzetéről és várható fejlődési irányairól, továbbá néhány kutatási-fejlesztési témát részletesen is megismerjenek.