ETH E-Collection · ETH Institutional Repository

1. Design patterns in event-B and their tool support

Fürst, Andreas (2009)

Master Theses

2. Using patterns to develop consistent design constraints

Wahler, Michael (2008)

Doctoral and Habilitation Theses

3. Performance analysis and improvement of guestVM for running OSGi-based MacroComponents

Li, Jianyuan (2010)

Master Theses

4. Information components as a basis for crowdsourced information system development

Leone, Stefania (2011)

Doctoral and Habilitation Theses

5. The virtual OSGi framework

Papageorgiou, Dimitrios (2008)

Master Theses

6. Automated instantiation of software frameworks for control systems

Čechtický, Václav (2004)

Doctoral and Habilitation Theses

7. Programmable intellectual property modules for system design by reuse

Röwer, Thomas (2000)

Doctoral and Habilitation Theses

8. A component language for pointer-free concurrent programming and its application to simulation

Bläser, Luc (2007)

Doctoral and Habilitation Theses

9. Ganzheitliches Konzept für rekonfigurierbare Produktionssysteme auf Basis autonomer Produktionsmodule

Pouget, Philippe Maurice (1999)

Doctoral and Habilitation Theses