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

Software engineering (312)

Physical sciences > Computer science > Programming > Software engineering
Groupware (10)
Software development (134)

Panel: Pan-European collaboration
kifu 15 years ago - 1:00:11

Model checking, theorem proving, and abstract
kifu Thomas Henzinger 15 years ago - 41:21

The German VeriSoft Project 2003-2007
kifu Wolfgang J. Paul 15 years ago - 44:05

Temporal annotations and their validation
kifu Amir Pnueli 15 years ago - 47:40

Have we learned from the Wasa disaster?
kifu Jean-Raymond Abrial 15 years ago - 38:02

A million lines of verified code
kifu Jim Woodcock 15 years ago - 40:26

The ideal of program correctness
kifu Prof. Sir Tony Hoare 15 years ago - 42:46

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

Kivonatoló program kontra emberi kivonatolás
kifu Tünde Lengyelné dr. Molnár 15 years ago - 26:34

ATA over Ethernet tárolórendszerek virtualizálása:
kifu Szabolcs Székelyi 15 years ago - 26:14

Welcome to the Read/Write Web
mta Marin Dacos 15 years ago - 14:38

Towards a science of the Web: the power of
mta Dame Wendy Hall CBE 15 years ago - 22:57