Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum
- Alternative title
-
Axiomatische Spezifikation und Interaktive Verifikation von Architekturmustern in FACTum
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
München, Technische Universität München, Dissertation, 2019
- Classification
-
Architektur
- Keyword
-
Architectural design
Architecture
- Event
-
Veröffentlichung
- (where)
-
München
- (who)
-
Universitätsbibliothek der TU München
- (when)
-
2019
- Creator
-
Marmsoler, Diego
- Contributor
-
Broy, Manfred
Knapp, Alexander
Broy, Manfred
- URN
-
urn:nbn:de:bvb:91-diss-20190222-1462585-1-9
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:45 PM CET
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
- Marmsoler, Diego
- Broy, Manfred
- Knapp, Alexander
- Universitätsbibliothek der TU München
Time of origin
- 2019
Other Objects (12)
Interactive Verification of Statecharts
Interactive Verification of Synchronous Systems
Interactive verification of medical guidelines
Interactive verification of UML state machines
User Interaction in Deductive Interactive Program Verification
Axiomatic districting
Support for Interactive Verification of Asbru in KIV
Interactive Verification of Concurrent Systems using Symbolic Execution
Verification of Architectural Refactorings: Rule Extraction and Tool Support
Extended axiomatic linguistics
Axiomatic set theory
Axiomatic microlocal category.
Interactive Verification of Statecharts
Interactive Verification of Synchronous Systems
Interactive verification of medical guidelines
Interactive verification of UML state machines
User Interaction in Deductive Interactive Program Verification
Axiomatic districting
Support for Interactive Verification of Asbru in KIV
Interactive Verification of Concurrent Systems using Symbolic Execution
Verification of Architectural Refactorings: Rule Extraction and Tool Support
Extended axiomatic linguistics
Axiomatic set theory
Axiomatic microlocal category.
Interactive Verification of Statecharts
Interactive Verification of Synchronous Systems
Interactive verification of medical guidelines
Interactive verification of UML state machines
User Interaction in Deductive Interactive Program Verification
Axiomatic districting
Support for Interactive Verification of Asbru in KIV
Interactive Verification of Concurrent Systems using Symbolic Execution
Verification of Architectural Refactorings: Rule Extraction and Tool Support
Extended axiomatic linguistics
Axiomatic set theory