Software development


Have we learned from the Wasa disaster?

kifu Jean-Raymond Abrial 14 years ago - 38:02

A million lines of verified code

kifu Jim Woodcock 14 years ago - 40:26

The ideal of program correctness

kifu Prof. Sir Tony Hoare 14 years ago - 42:46

Opening & welcome

kifu Dr. Péter Szeredi
Dines Bjørner
Prof. Emer Ákos Detrekői
14 years ago - 11:49

Hálózati azonosság kezelése, biztonsági és

kifu Tamás Zsemlye
Péter Fábián
14 years ago - 23:32

A magyar ClusterGRID projekt

kifu Péter Stefán 14 years ago - 16:35

Felhasználói nyilvántartás Grid közösségek

kifu Ákos Frohner
Károly Lőrentey
Roberto Alfieri
Roberto Cecchini
Vincenzo Ciaschini
Alberto Gianoli
14 years ago - 19:31

Magyar lehetőségek a CERN LHC GRID-ben

kifu József Kadlecsik
Gergely Debreczeni
Csaba Hajdu
Dr. Prof. György Vesztergombi
14 years ago - 27:01

Jini-alapú Grid rendszerek tervezési kérdései

kifu Szabolcs Póta
Dr. Zoltán Juhász
Krisztián Kuntner
14 years ago - 20:22

Jini és Grid rendszerek együttműködése (IKTA5-089

kifu Szabolcs Póta
Dr. Zoltán Juhász
Krisztián Kuntner
14 years ago - 15:08

Multiprocesszoros és Grid technológia alkalmazása

kifu Dr. Zoltán Gál
Kornél Ecsedi
Miklós Emri
József Molnár
Attila Farkas
14 years ago - 17:33