Formale Methoden im Softwareengineering Mobiler Applikationen (SN-P1)

Project: Research project

Project Details

Description

Analyse bestehender Softwarearchitekturen hinsichtlich Sicherheit und Erweiterbarkeit Bereitstellung von Verfahrensmodellen und Softwarearchitekturen für den Bereich Mobiltelephonie Analyse zukünftiger Entwicklung im Bereich Next Generation Intelligent Networks Bereitstellung von Methoden und Tools zur Sicherung der Softwarequalität unter Berücksichtigung der Applikationsdomänen Mobile IP, Multimedia, Web und Mobiltelephonie Testumgebungen Verifikationstechniken Last- und Zuverlässigkeitstests Analyse von Sicherheitsaspekten
StatusFinished
Effective start/end date1/05/0631/12/10

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.