( en | de | ru )

 

Disambiguierung von "Giese, Holger"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Separation of non-orthogonal concerns in software architecture and design.

, und . Softw. Syst. Model., 5 (2): 136-169 (2006)

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

Josef Giese

Otto Giese

 

Weitere Publikationen von Autoren mit dem selben Namen

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)Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML, , und . Architecting Dependable Systems V, (2008)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)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)Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance., , und . Softw. Syst. Model., 9 (4): 493-528 (2010)Model-based Engineering of Embedded Real-time Systems, , , , und . Lecture Notes in Computer Science Springer, Berlin, Heidelberg, New York, (2011)Formal testing of timed graph transformation systems using metric temporal graph logic., , , und . Int. J. Softw. Tools Technol. Transf., 23 (3): 411-488 (2021)Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions., und . J. Log. Algebraic Methods Program., (Februar 2023)