Holger Giese

1. leden 1970

Object oriented design and architecture of distributed systems

Épuisé

Holger Giese Object oriented design and architecture of distributed systems

Models in software engineering

Épuisé

Holger Giese Models in software engineering

Efficient model synchronization of large-scale models

Épuisé

Holger Giese Efficient model synchronization of large-scale models

Toward bridging the gap between formal semantics and implementation of triple graph grammars

Épuisé

Holger Giese Toward bridging the gap between formal semantics and implementation of triple graph grammars

Formal techniques for distributed systems

Épuisé

Holger Giese Formal techniques for distributed systems

Modeling and verifying dynamic evolving service-oriented architectures

Épuisé

Holger Giese Modeling and verifying dynamic evolving service-oriented architectures

Metric temporal graph logic over typed attributed graphs

Épuisé

Holger Giese Metric temporal graph logic over typed attributed graphs

Postworkshop proceedings of the OMER 3, Workshop on Object Oriented Modeling of Embedded Real Time Systems

Épuisé

Holger Giese Postworkshop proceedings of the OMER 3, Workshop on Object Oriented Modeling of Embedded Real Time Systems

Architecting critical systems

Épuisé

Holger Giese Architecting critical systems

Model-based engineering of embedded real-time systems

Épuisé

Holger Giese Model-based engineering of embedded real-time systems

Industrial case study on the integration of SysML and AUTOSAR with triple graph grammars

Épuisé

Holger Giese Industrial case study on the integration of SysML and AUTOSAR with triple graph grammars