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. 2004
  2. The pi-calculus with polyadic synchronization

    Joana Martinho

    Master Software Systems Engineering SSE, 10. semester, 2004

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  3. The pi-calculus with polyadic synchronization - REVISED

    Joana Martinho

    Master Software Systems Engineering SSE, 10. semester, 2004

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  4. 2005
  5. A Test Harness for a Control Software

    Joseph Chukwudi Okika, Lokesh Siddalingaiah

    Master Software Systems Engineering SSE, 10. semester, 2005

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  6. Automatic Translation of Timed-Arc Petri Nets to Timed Automata

    Ye Tian, Krishna Prasad Gundam

    Master Software Systems Engineering SSE, 10. semester, 2005

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  7. 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)

  8. 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)

  9. 2006
  10. 'A Simulation Study of Load-Imbalance Problem in Distributed Graph Exploration Algorithms'

    Adnan Niaz

    Master Software Systems Engineering SSE, 10. semester, 2006

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  11. 'Building Graphical Promela Models using UPPAAL GUI'

    Vasu Hossaholal Lingegowda

    Master Software Systems Engineering SSE, 10. semester, 2006

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  12. 'Digital Signature and Blocking in Mobile Ambients'

    Anupam Palit, Bin Ren, Sagar Bingi, Yepeng Sun

    Master Software Systems Engineering SSE, 10. semester, 2006

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  13. 'Grid Information Service with Self-Organized Network and Information Traveling'

    Baolong Feng, Huong Duong Uong, Tuan Anh Nguyen

    Master Software Systems Engineering SSE, 10. semester, 2006

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

Forrige 1 2 Næste