PuK 2006
20. Workshop "Planen, Scheduling und Konfigurieren, Entwerfen"
Bremen, 14. Juni 2006
|
|
PuK 200620. Workshop "Planen, Scheduling und Konfigurieren, Entwerfen" Bremen, 14. Juni 2006 |
|
|
|
the complete proceedings (2,2 MB)
External Program Model Checking
Stefan Edelkamp, Shahid Jabbar,
Dino Midzic, Daniel Rikowski, and Damian Sulewski
University of Dortmund
Requirements-driven Software Development System (ReDSeeDS) – A Project Outline
Thorsten Krebs and Lothar Hotz
University of Hamburg
SemanticWeb Technology as a Basis for Planning and Scheduling Systems
Bernd Schattenberg, Steffen Balzer and Susanne Biundo
University of Ulm
The Potted Plant Packing Problem, Towards a practical solution
Rene Schumann and Jan Behrens
OFFIS Oldenburg