Formale Methoden im Softwareengineering Mobiler Applikationen (SN-P1)

  • Galler, Stefan Josef (Teilnehmer (Co-Investigator))
  • Wotawa, Franz (Teilnehmer (Co-Investigator))
  • Peischl, Bernhard Josef (Projektleiter (Principal Investigator))
  • Weiglhofer, Martin (Teilnehmer (Co-Investigator))

Projekt: Forschungsprojekt

Projektdetails

Beschreibung

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
StatusAbgeschlossen
Tatsächlicher Beginn/ -es Ende1/05/0631/12/10

Fingerprint

Erkunden Sie die Forschungsthemen, die von diesem Projekt angesprochen werden. Diese Bezeichnungen werden den ihnen zugrunde liegenden Bewilligungen/Fördermitteln entsprechend generiert. Zusammen bilden sie einen einzigartigen Fingerprint.