ETH E-Collection · ETH Institutional Repository

1. Automatic contract extraction

Marti, Christof (2003)

Master Theses

2. Concept oriented design of numerical software

Lage, Christian (1998)

Reports

3. AOP Implementation in .NET

Grawehr, Patrick (2003)

Master Theses

4. Organizational integrity: facing the challenge of the global software process

Murer, Tobias and Scherer, Daniel Bernhard (1998)

Reports

5. Der Stand des Software Engineering im Raume Zürich

Dünki, Peter and Galasso, Claudio (1987)

Reports

6. Test wizard

Greber, Nicole (2004)

Master Theses

7. Precondition enforcement analysis for quality assurance

Beeli, Nadja (2004)

Master Theses

8. Universelle Darstellung struktureller Information im Computer

Bischofberger, Kaspar Dominik (1995)

Doctoral and Habilitation Theses

9. Guided random-based testing strategies

Mitran, Cosmin (2007)

Master Theses

10. A distributed framework for integrated software process and deployment support

Scherer, Daniel Bernhard (1998)

Reports

11. Strategies for random contract-based testing

Ciupa, Ilinca (2008)

Doctoral and Habilitation Theses

12. Verifying spec# delegates

Gantner, Samuele (2008)

Master Theses

13. Embedding JML-annotated programs in the coq proof system

Kägi, Andreas (2009)

Master Theses

14. Contract wizard II

Wotruba, Dominik (2003)

Master Theses

15. Software Engineering Datenbanken

Matheis, Hans (1987)

Reports

16. Improving Cee and ownership-based verification

Studer, Christoph (2009)

Master Theses

17. Using domain-specific languages for the realization of component composition

Anlauff, Matthias, Kutter, Philipp W., Pierantonio, Alfonso and Sünbül, Asuman (1999)

Reports

18. Verifying C++ with STL Containers via Predicate Abstraction

Blanc, Nicolas, Kröning, Daniel and Groce, Alex (2006)

Reports

19. The allure and risks of a deployable software engineering project

Piccioni, Marco and Meyer, Bertrand

Reports

20. Coverage, vacuity, and interpolation in model checking

Purandare, Mitra (2010)

Doctoral and Habilitation Theses

21. GIPSY: Generating Integrated Process Support Systems

Murer, Tobias, Würtz, A., Scherer, Daniel Bernhard and Schweizer, Daniel (1996)

Reports

22. Kritische Erfolgsfaktoren des Managements industrieller Software-Technologien

Lüthi, Beat (1995)

Doctoral and Habilitation Theses

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

Leone, Stefania (2011)

Doctoral and Habilitation Theses

24. Contract-based tests in the software process and environment

Leitner, Andreas (2008)

Doctoral and Habilitation Theses

25. Counterexemplare execution

Billeter, Jürg (2008)

Master Theses