Tisztelt Felhasználók!
Ezúton tájékoztatjuk Önöket, hogy a Videotórium szolgáltatás 2025. december 1. és 2025. december 10 között rendszerkarbantartás miatt csak részlegesen lesz elérhető.
A karbantartási időszak alatt egyes funkciók átmenetileg nem vagy korlátozottan használhatók.
Köszönjük megértésüket és türelmüket!

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.

Software engineering


Model checking, theorem proving, and abstract

kifu Thomas Henzinger 16 years ago - 41:21

The German VeriSoft Project 2003-2007

kifu Wolfgang J. Paul 16 years ago - 44:05

Have we learned from the Wasa disaster?

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

A million lines of verified code

kifu Jim Woodcock 16 years ago - 40:26

The ideal of program correctness

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

Opening & welcome

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

Kivonatoló program kontra emberi kivonatolás

kifu Tünde Lengyelné dr. Molnár 16 years ago - 26:34

Welcome to the Read/Write Web

mta Marin Dacos 16 years ago - 14:38

Towards a science of the Web: the power of

mta Dame Wendy Hall CBE 16 years ago - 22:57