Our shop provides quality drugs: discount viagra, internet cialis, levitra. If you don't already have a cialis prescription, the online pharmacy can provide one for you. Also known as erectile dysfunction. Sildenafil under the name levitra is used to treat erectile dysfunction (impotence) in men. Buy Order viagra COD, Prilosec And levitra. CanadianRXDrugs guarantees on time delivery of your cialis order.

         
InstitutLehreForschungNachrichten
Forschung
Schwerpunkte
Jahresberichte
Veröffentlichungen
Veranstaltungen
Kontakt
Impressum
Forschung PDF Drucken E-Mail

Das Arbeitsgebiet des Instituts für Programmierung und Reaktive Systeme sind Methoden für die Spezifikation, den Entwurf, die Implementierung und die Validierung von Softwaresystemen, insbesondere für eingebettete Systeme.

Aktuelle Projekte:

Asynchronität in Petri Netzen

Concurrency Theory for Multicore Parallel Computation

Gestaltung altersgerechter Lebenswelten (GAL)

IT-Ökosysteme (Projekte AIM und ruleIT)

Schedulinganalyse basierend auf UML-Modellen

Abgeschlossene Projekte:

Optimierung einer Motorsteuerung mit genetischen Algorithmen

ArchiVal - Architekturevaluation eingebetteter Systeme im Automobil

Step-X - Strukturierter Entwicklungs-Prozess für Automobil-Anwendungen

DFG-Projekt EREAS - Entwurf reaktiver Systeme
 
Nachrichten
Stellenausschreibung wissenschaftliche(r) Mitarbeiter(in)
Studentische Arbeit im Forschungsprojekt IT-Ökosysteme
IFIP WG 1.8 Meeting 2009 - Co-Organisation
1st tubs.CITY Symposium July 1 – 3, 2009
NTH Focused Research School for IT Ecosystems
25 Jahre Softwaretechnisches Industriepraktikum
DeutschEnglish