( en | de | ru )

 

Disambiguation

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Software Engineering for Self-Adaptive Systems

, , , , , , , , und . Software Engineering for Self-Adaptive Systems, Volume 5525 von Lecture Notes in Computer Science, Kapitel Engineering Self-Adaptive Systems Through Feedback Loops, Springer-Verlag, Berlin, Heidelberg, (2009)
DOI: 10.1007/978-3-642-02161-9_3

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Holger Giese

Horst Giese

Ingrid Giese

Wilhelm Giese

Josef Giese

 

Weitere Publikationen von Autoren mit dem selben Namen

Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance., , und . Softw. Syst. Model., 9 (4): 493-528 (2010)Bridging the gap between formal semantics and implementation of triple graph grammars - Ensuring conformance of relational model transformation specifications and implementations., , und . Softw. Syst. Model., 13 (1): 273-299 (2014)On the complex nature of MDE evolution and its impact on changeability., und . Softw. Syst. Model., 16 (2): 333-356 (2017)Software Engineering for Self-Adaptive Systems, , , , , , , , und . Software Engineering for Self-Adaptive Systems, Volume 5525 von Lecture Notes in Computer Science, Kapitel Engineering Self-Adaptive Systems Through Feedback Loops, Springer-Verlag, Berlin, Heidelberg, (2009)Model-based Engineering of Embedded Real-time Systems, , , , und . Lecture Notes in Computer Science Springer, Berlin, Heidelberg, New York, (2011)Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions., , und . ICGT, Volume 12150 von Lecture Notes in Computer Science, Seite 257-275. Springer, (2020)Hybrid search plan generation for generalized graph pattern matching., und . J. Log. Algebraic Methods Program., (2020)Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML, , und . Architecting Dependable Systems V, (2008)Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions., und . J. Log. Algebraic Methods Program., (февраля 2023)Formal testing of timed graph transformation systems using metric temporal graph logic., , , und . Int. J. Softw. Tools Technol. Transf., 23 (3): 411-488 (2021)