Hochschulschrift
Ein modellgetriebener Ansatz zur Entwicklung informationsflusssicherer Systeme
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Deutsch
- Notes
-
Augsburg, Universität Augsburg, Dissertation, 2017
- Keyword
-
Mobiles Endgerät
Informationsfluss
Informationssicherheit
App
Web Services
Modellgetriebene Entwicklung
Modellierung
App
Android 4
Benutzerfreundlichkeit
Modellgetriebene Entwicklung
Modellgetriebene Entwicklung
Computersicherheit
Softwareentwicklung
Informationsfluss
- Event
-
Veröffentlichung
- (where)
-
Augsburg
- (who)
-
Universität Augsburg
- (when)
-
2017
- Creator
-
Katkalov, Kuzman
- Contributor
- URN
-
urn:nbn:de:bvb:384-opus4-43392
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:46 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Katkalov, Kuzman
- Reif, Wolfgang
- Universität Augsburg
Time of origin
- 2017
Other Objects (12)
Modellgetriebene Entwicklung sicherer Smart Card-Anwendungen
Modellgetriebene Entwicklung sicherer Web Service-Anwendungen
Interactive Verification of Concurrent Systems using Symbolic Execution
Korrektheit von Spezifikationen und generischen Moduln
A Verified POSIX-Compliant Flash File System - Modular Verification Technology & Crash Tolerance
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Large-Scale Open Self-Organising Systems: Managing Complexity with Hierarchies, Monitoring, Adaptation, and Principled Design
Self-Organized Robust Optimization in Open Technical Systems: Self-Organization and Computational Trust for Scalable and Robust Resource Allocation under Uncertainty
Model-Based Testing for Self-Organization Mechanisms
Design Time and Run Time Formal Safety Analysis using Executable Models
Object-oriented Software for Industrial Robots
Failure-Sensitive Specification: A formal method for finding failure modes
Modellgetriebene Entwicklung sicherer Smart Card-Anwendungen
Modellgetriebene Entwicklung sicherer Web Service-Anwendungen
Interactive Verification of Concurrent Systems using Symbolic Execution
Korrektheit von Spezifikationen und generischen Moduln
A Verified POSIX-Compliant Flash File System - Modular Verification Technology & Crash Tolerance
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Large-Scale Open Self-Organising Systems: Managing Complexity with Hierarchies, Monitoring, Adaptation, and Principled Design
Self-Organized Robust Optimization in Open Technical Systems: Self-Organization and Computational Trust for Scalable and Robust Resource Allocation under Uncertainty
Model-Based Testing for Self-Organization Mechanisms
Design Time and Run Time Formal Safety Analysis using Executable Models
Object-oriented Software for Industrial Robots
Failure-Sensitive Specification: A formal method for finding failure modes
Modellgetriebene Entwicklung sicherer Smart Card-Anwendungen
Modellgetriebene Entwicklung sicherer Web Service-Anwendungen
Interactive Verification of Concurrent Systems using Symbolic Execution
Korrektheit von Spezifikationen und generischen Moduln
A Verified POSIX-Compliant Flash File System - Modular Verification Technology & Crash Tolerance
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Large-Scale Open Self-Organising Systems: Managing Complexity with Hierarchies, Monitoring, Adaptation, and Principled Design
Self-Organized Robust Optimization in Open Technical Systems: Self-Organization and Computational Trust for Scalable and Robust Resource Allocation under Uncertainty
Model-Based Testing for Self-Organization Mechanisms
Design Time and Run Time Formal Safety Analysis using Executable Models
Object-oriented Software for Industrial Robots