Programming

Programming (388)

Physical sciences > Computer science > Programming
Software engineering (352)

Challenges of quantum informatics
kifu Jozef Gruska 14 years ago - 45:26

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

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

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

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

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

Specialized editor for processing objects in a
wigner Heike Laqua 14 years ago - 26:41

Concept of the new Textor Control System -
wigner Horst T. Lambertz 14 years ago - 11:15

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