Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum
- Weitere Titel
-
Axiomatische Spezifikation und Interaktive Verifikation von Architekturmustern in FACTum
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
München, Technische Universität München, Dissertation, 2019
- Klassifikation
-
Architektur
- Schlagwort
-
Architectural design
Architecture
- Ereignis
-
Veröffentlichung
- (wo)
-
München
- (wer)
-
Universitätsbibliothek der TU München
- (wann)
-
2019
- Urheber
-
Marmsoler, Diego
- Beteiligte Personen und Organisationen
-
Broy, Manfred
Knapp, Alexander
Broy, Manfred
- URN
-
urn:nbn:de:bvb:91-diss-20190222-1462585-1-9
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:45 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Marmsoler, Diego
- Broy, Manfred
- Knapp, Alexander
- Universitätsbibliothek der TU München
Entstanden
- 2019
Ähnliche Objekte (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