Model-Driven Development of Secure Service Applications introduced by a Banking System Example
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg ; 2012-03
- Classification
-
Informatik
- Keyword
-
Modellgetriebene Entwicklung
UML
Web Services
Codegenerierung
Verifikation
Computersicherheit
- Event
-
Veröffentlichung
- (where)
-
Augsburg
- (who)
-
Universität Augsburg
- (when)
-
2012
- Contributor
- URN
-
urn:nbn:de:bvb:384-opus4-12807
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:53 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.
Associated
- Borek, Marian
- Stenzel, Kurt
- Moebius, Nina
- Reif, Wolfgang
- Universität Augsburg
Time of origin
- 2012
Other Objects (12)
SecureMDD: A Model-Driven Development Method for Secure Smartcard Applications
Korrektheit von Spezifikationen und generischen Moduln
Model-Driven Code Generation for Information Flow Secure Systems with IFlow
Land im silbernen Licht : vom Mittelalter bis 1945
Zivilisationsflucht und literarische Wunschräume : der exotist. Roman im 1. Viertel d. 20. Jahrhunderts
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
Ankernd am Rande der großen Flut : von 1946 bis 2010
An abstract PPL machine
Formal Verification of Information Flow Secure Systems with IFlow
SecureMDD: Transformation of a UML application model to executable code
Modeling security-critical applications with UML in the SecureMDD approach
SecureMDD: Transformation of a UML application model to a formal specification
SecureMDD: A Model-Driven Development Method for Secure Smartcard Applications
Korrektheit von Spezifikationen und generischen Moduln
Model-Driven Code Generation for Information Flow Secure Systems with IFlow
Land im silbernen Licht : vom Mittelalter bis 1945
Zivilisationsflucht und literarische Wunschräume : der exotist. Roman im 1. Viertel d. 20. Jahrhunderts
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
Ankernd am Rande der großen Flut : von 1946 bis 2010
An abstract PPL machine
Formal Verification of Information Flow Secure Systems with IFlow
SecureMDD: Transformation of a UML application model to executable code
Modeling security-critical applications with UML in the SecureMDD approach
SecureMDD: Transformation of a UML application model to a formal specification
SecureMDD: A Model-Driven Development Method for Secure Smartcard Applications
Korrektheit von Spezifikationen und generischen Moduln
Model-Driven Code Generation for Information Flow Secure Systems with IFlow
Land im silbernen Licht : vom Mittelalter bis 1945
Zivilisationsflucht und literarische Wunschräume : der exotist. Roman im 1. Viertel d. 20. Jahrhunderts
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
Ankernd am Rande der großen Flut : von 1946 bis 2010
An abstract PPL machine
Formal Verification of Information Flow Secure Systems with IFlow
SecureMDD: Transformation of a UML application model to executable code
Modeling security-critical applications with UML in the SecureMDD approach