Browsen Organisationseinheit

Alle Organisationseinheiten   Departement Informatik   Professur für Software Engineering

Unterbegriffe: Es stehen keine Unterbegriffe zur Verfügung

16 Ergebnisse zu dieser Organisationseinheit

Diese Suchanfrage als RSS-Feed abonnieren

1. An Executable Structural Operational Semantics For Scoop

Schill, Mischael (2012)


Masterarbeiten

2. Applying data mining to contract inference

Kazmin, Nikolay (2010)


Masterarbeiten

3. Approaches for simplified hotspot logins with Wi-Fi devices

Wiederkehr, Patrick (2009)


Masterarbeiten

4. Automatic version control system for distributed software development

Weber, Sandra (2012)


Masterarbeiten

5. Contract wizard 3.0

Marty, Petra (2004)


Masterarbeiten

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

Kägi, Andreas (2009)


Masterarbeiten

7. "Ethire" - a system to support the faculty hiring process

Loeu, Matthias (2009)


Masterarbeiten

8. Fine-grained aspects of automatic refactoring in C2Eiffel

Friedli, Adrian (2010)


Masterarbeiten

9. Improving Cee and ownership-based verification

Studer, Christoph (2009)


Masterarbeiten

10. Multi-format, EiffelStudio-integrated object browser and writer

Hansen, Lucien (2009)


Masterarbeiten

11. Objective-C frameworks to Eiffel converter

Cortonesi, Matteo (2010)


Masterarbeiten

12. Overapproximating the Cost of Loops

Schweizer, Daniel (2013)


Masterarbeiten

13. Permission-Based Verifcation of Subclassing and Traits

Bühlmann, Andreas (2013)


Masterarbeiten

14. Relation between quality of an OO system and multiple inheritance

Stokar von Neuforn, David Kaspar (2009)


Masterarbeiten

15. Reusable mathematical models

Widmer, Tobias K. (2004)


Masterarbeiten

16. Teaching introductory programming with the inverted curriculum approach

Pedroni, Michaela (2003)


Masterarbeiten