Master Software Systems Engineering SSE - Afsluttet. 10/11/2011.

Studiestruktur: Uddannelse

7. semester

Institut for Datalogi › Studienævn for Datalogi › Master Software Systems Engineering SSE

8. semester

Institut for Datalogi › Studienævn for Datalogi › Master Software Systems Engineering SSE

9. semester

Institut for Datalogi › Studienævn for Datalogi › Master Software Systems Engineering SSE

10. semester

Institut for Datalogi › Studienævn for Datalogi › Master Software Systems Engineering SSE

  1. Speciale (inkl. HD afgangsprojekt)
  2. Improvements on the Online Testing with T-UppAal: Coverage Measurement and Re-runs

    Gunnar Hall, Piotr Kordy, Dalia Vitkauskaite

    Master Software Systems Engineering SSE, 10. semester, 2005

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  3. Model-based online testing --- A case study on SKOV Feeding System

    Weiwei Zheng

    Master Software Systems Engineering SSE, 10. semester, 2007

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  4. Network failure detection using type systems in DπF

    Raúl Martínez Pérez, Jorge Martín García, Jose Luis López Sánchez

    Master Software Systems Engineering SSE, 10. semester, 2009

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  5. On Deciding Behavioral Properties for Petri Nets : Timed-Arc Petri Nets and their Extensions

    Ragnhildur Þórunn Óskarsdóttir, Sigmar Stefánsson, Tómas Jónasson

    Master Software Systems Engineering SSE, 10. semester, 2005

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  6. Spider: Social-Mobile Network

    Antonio Sapuppo

    Master Software Systems Engineering SSE, 10. semester, 2008

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  7. The pi-calculus with polyadic synchronization

    Joana Martinho

    Master Software Systems Engineering SSE, 10. semester, 2004

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  8. The pi-calculus with polyadic synchronization - REVISED

    Joana Martinho

    Master Software Systems Engineering SSE, 10. semester, 2004

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  9. Using the Cell for some operations in the DBM librery of UPPAAL

    Olivier MONSONEGO

    Master Software Systems Engineering SSE, 10. semester, 2008

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

Forrige 1 2 Næste