Ön jelenleg a(z) Kormányzati Informatikai Fejlesztési Ügynökség Videotorium aloldalát böngészi. A keresési találatok, illetve az aloldal minden felülete (Főoldal, Kategóriák, Csatornák, Élő közvetítések) kizárólag az intézményi aloldal tartalmait listázza. Amennyiben a Videotorium teljes archívumát kívánja elérni, kérjük navigáljon vissza a Videotorium főoldalára!
Figyelem!

Ön a Pro-M Zrt védett információs rendszerét kívánja használni.
A 7/2024 MK rendelet alapján a rendszer használatát megfigyelhetik, rögzíthetik, naplózhatják.
A rendszer jogosulatlan használata tilos és büntető- vagy polgári jogi felelősséggel jár.
A rendszer használata az előbbiekben részletezett feltételek elfogadását jelenti.

Ön a Pro-M Zrt. nyilvános rendszerét kívánja használni.
A 7/2024 MK rendelet alapján a rendszer használatát megfigyelhetik, rögzíthetik, naplózhatják.
A rendszer jogosulatlan használata tilos és büntető- vagy polgári jogi felelősséggel jár.

Szoftvertechnológia


The German VeriSoft Project 2003-2007

Wolfgang J. Paul 15 éve - 44:05

Have we learned from the Wasa disaster?

Jean-Raymond Abrial 15 éve - 38:02

A million lines of verified code

Jim Woodcock 15 éve - 40:26

The ideal of program correctness

Prof. Sir Tony Hoare 15 éve - 42:46

Opening & welcome

Dr. Szeredi Péter
Dines Bjørner
Prof. Emer Detrekői Ákos
15 éve - 11:49

Kivonatoló program kontra emberi kivonatolás

Lengyelné dr. Molnár Tünde 15 éve - 26:34

Érvek és ellenérvek a Digital Rights Management

Dr. Tószegi Zsuzsanna 15 éve - 12:28

A Microsoft ISA 2004 képességei

Horváth Zoltán 15 éve - 21:08

Microsoft Digital Rights Management -

Micskei Zoltán 15 éve - 18:04