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

Masteruddannelse

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 - 18 ud af 18Pr. side: 100
RSS feed af denne liste
Sortering: Udgivelsesår
  1. 2010

  2. An Open Home Automation System - Analysis And Implementation of New Solutions for HomePort

    Arnaud Germis

    Master Software Systems Engineering SSE, (Masteruddannelse) 10. semester, 2010

    Studenteropgave: Kandidatspeciale og HD afgangsprojekt

  3. HAMAC: Home Assistive and Mobile Access Controller

    Séverin Marcombes, Bastien Paul

    Master Software Systems Engineering SSE, (Masteruddannelse) 10. semester, 2010

    Studenteropgave: Kandidatspeciale og HD afgangsprojekt

  4. 2009

  5. 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, (Masteruddannelse) 10. semester, 2009

    Studenteropgave: Kandidatspeciale og HD afgangsprojekt

  6. 2008

  7. Analysis and Improvement of a Remote System - Case Study: Agricultural Machinery

    Elisa Oteo Ovejero, Maria Isabel Diez del Val, Faith Oziofu Ogini Nielsen

    Master Software Systems Engineering SSE, (Masteruddannelse) 10. semester, 2008

    Studenteropgave: Kandidatspeciale og HD afgangsprojekt

  8. Spider: Social-Mobile Network

    Antonio Sapuppo

    Master Software Systems Engineering SSE, (Masteruddannelse) 10. semester, 2008

    Studenteropgave: Kandidatspeciale og HD afgangsprojekt

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

    Olivier MONSONEGO

    Master Software Systems Engineering SSE, (Masteruddannelse) 10. semester, 2008

    Studenteropgave: Kandidatspeciale og HD afgangsprojekt

  10. 2007

  11. 'Building graphical-Promela models using UPPAAL GUI'

    Vasu Hossaholal Lingegowda

    Master Software Systems Engineering SSE, (Masteruddannelse) 10. semester, 2007

    Studenteropgave: Kandidatspeciale og HD afgangsprojekt

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

    Weiwei Zheng

    Master Software Systems Engineering SSE, (Masteruddannelse) 10. semester, 2007

    Studenteropgave: Kandidatspeciale og HD afgangsprojekt

  13. 2006

  14. 'A Simulation Study of Load-Imbalance Problem in Distributed Graph Exploration Algorithms'

    Adnan Niaz

    Master Software Systems Engineering SSE, (Masteruddannelse) 10. semester, 2006

    Studenteropgave: Kandidatspeciale og HD afgangsprojekt

  15. 'Building Graphical Promela Models using UPPAAL GUI'

    Vasu Hossaholal Lingegowda

    Master Software Systems Engineering SSE, (Masteruddannelse) 10. semester, 2006

    Studenteropgave: Kandidatspeciale og HD afgangsprojekt

  16. 'Digital Signature and Blocking in Mobile Ambients'

    Anupam Palit, Bin Ren, Sagar Bingi, Yepeng Sun

    Master Software Systems Engineering SSE, (Masteruddannelse) 10. semester, 2006

    Studenteropgave: Kandidatspeciale og HD afgangsprojekt

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

    Baolong Feng, Huong Duong Uong, Tuan Anh Nguyen

    Master Software Systems Engineering SSE, (Masteruddannelse) 10. semester, 2006

    Studenteropgave: Kandidatspeciale og HD afgangsprojekt

  18. 2005

  19. A Test Harness for a Control Software

    Joseph Chukwudi Okika, Lokesh Siddalingaiah

    Master Software Systems Engineering SSE, (Masteruddannelse) 10. semester, 2005

    Studenteropgave: Kandidatspeciale og HD afgangsprojekt

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

    Ye Tian, Krishna Prasad Gundam

    Master Software Systems Engineering SSE, (Masteruddannelse) 10. semester, 2005

    Studenteropgave: Kandidatspeciale og HD afgangsprojekt

  21. Improvements on the Online Testing with T-UppAal: Coverage Measurement and Re-runs

    Gunnar Hall, Piotr Kordy, Dalia Vitkauskaite

    Master Software Systems Engineering SSE, (Masteruddannelse) 10. semester, 2005

    Studenteropgave: Kandidatspeciale og HD afgangsprojekt

  22. 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, (Masteruddannelse) 10. semester, 2005

    Studenteropgave: Kandidatspeciale og HD afgangsprojekt

  23. 2004

  24. The pi-calculus with polyadic synchronization

    Joana Martinho

    Master Software Systems Engineering SSE, (Masteruddannelse) 10. semester, 2004

    Studenteropgave: Kandidatspeciale og HD afgangsprojekt

  25. The pi-calculus with polyadic synchronization - REVISED

    Joana Martinho

    Master Software Systems Engineering SSE, (Masteruddannelse) 10. semester, 2004

    Studenteropgave: Kandidatspeciale og HD afgangsprojekt