1.
Homepage — Stephan Arlt
Arlt, S.; Hense, A.: Implementierung zuverlässiger Zahlungssysteme in Java. ... 2006, Bonn; STRESS 2006 - International Summer School on Tool-based, ...
2.
SS08 - Contents — Software Engineering
Software Engineering. You are here: Home → Teaching → Summer Term 2008 → Softwarepraktikum → SS08 - Contents. Skip to content. | Skip to navigation ...
3.
A discrete-time UML semantics for concurrency and communication in ...
File Format: PDF/Adobe Acrobat - View as HTML A primed abbreviation indicates that the primed system variable is to be ...... part 1 of the deliverable D1.1.2, Project IST-2001-33522 OMEGA, January, ...
4.
A discrete-time UML semantics for concurrency and communication in ...
File Format: PDF/Adobe Acrobat - View as HTML over V, V , referring to both primed and unprimed versions of the system ..... A primed abbreviation indicates that the primed system variable is to be used ...
5.
Team 01 GDD — Software Engineering
Software Engineering. You are here: Home → Teaching → Summer Term 2008 → Softwarepraktikum → SS08 - Contents → GDDs → Team 01 GDD ...
6.
Homepage — Marco Muñiz
Marco Muñiz · Software Engineering · Department of Computer Science · University of Freiburg · Albert-Ludwigs-Univerisität-Freiburg. Marco Muñiz ...
7.
Homepage — Andreas Podelski
Andreas Podelski · Software Engineering · Department of Computer Science · University of Freiburg · Albert-Ludwigs-Univerisität-Freiburg. Andreas Podelski ...
8.
Old Pictures — Andreas Podelski
La famille Podelski en janvier 1997. Lætitia. Valérie, Constantin et Lætitia. Constantin, Lætitia. Andreas, Constantin et Lætitia ...
9.
Software Design, Modelling and Analysis in UML — Software Engineering
The model-driven approach to software and systems development proposes to address quality and complexity issues in the development process.
10.
Static Checkers for Java and C# — Software Engineering
The ultimate goal of program verification is to prove the correctness of real-world programs at compile time. Static checkers, such as Spec# or ESCJava, ...
