Ö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!

Szoftverfejlesztés

Szoftverfejlesztés (129)

Élettelen természettudományok > Számítógéptudomány > Programozás > Szoftvertechnológia > Szoftverfejlesztés

From computable functions to definable systems
Wolfgang Reisig 13 éve - 41:36

Artificial biochemistry
Luca Cardelli 13 éve - 44:49

Challenges of quantum informatics
Jozef Gruska 13 éve - 45:26

Panel: Pan-European collaboration
13 éve - 1:00:11

Model checking, theorem proving, and abstract
Thomas Henzinger 13 éve - 41:21

The German VeriSoft Project 2003-2007
Wolfgang J. Paul 13 éve - 44:05

Temporal annotations and their validation
Amir Pnueli 13 éve - 47:40

Have we learned from the Wasa disaster?
Jean-Raymond Abrial 13 éve - 38:02

A million lines of verified code
Jim Woodcock 13 éve - 40:26

The ideal of program correctness
Prof. Sir Tony Hoare 13 éve - 42:46

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

Hálózati azonosság kezelése, biztonsági és
Zsemlye Tamás
Fábián Péter 13 éve - 23:32