MDE settings in SAP a descriptive field study von Hebig, Regina, Giese, Holger 1970-

Beschreibung

MDE settings in SAP a descriptive field study von Hebig, Regina, Giese, Holger 1970-

Volltext öffnen

Inductive invariant checking with partial negative application conditions von Dyck, Johannes, Giese, Holger 1970-

Toward bridging the gap between formal semantics and implementation of triple graph grammars von Giese, Holger 1970-, Hildebrandt, Stefan 1936-2015, Lambers, Leen

Object oriented design and architecture of distributed systems von Giese, Holger 1970-

Behavior specification for contract based distributed objects von Giese, Holger 1970-

Object Coordination Nets 2.0 semantics specification von Giese, Holger 1970-

Closing the gap between object oriented modeling of structure and behavior von Giese, Holger 1970-, Graf, Jörg, Wirtz, Guido 1958-

Modeling collaborations in self-adaptive systems of systems terms, characteristics, requirements, and scenarios von Wätzoldt, Sebastian, Giese, Holger 1970-

Volltext öffnen

Efficient and scalable graph view maintenance for deductive graph databases based on generalized discrimination networks von Beyhl, Thomas, Giese, Holger 1970-

Inhaltsverzeichnis

Software engineering for self-adaptive systems III assurances : International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013 : revised selected and invited papers

Weitere Verfasser:
Volltext öffnen Volltext öffnen

Graph transformation 7th international conference, ICGT 2014, held as part of STAF 2014, York, UK, July 22 - 24, 2014 ; proceedings

Weitere Verfasser: “… Giese, Holger 1970- …”
Volltext öffnen

Architecting critical systems first international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 ; proceedings

Weitere Verfasser: “… Giese, Holger 1970- …”
Inhaltsverzeichnis

Graph transformation 7th international conference, ICGT 2014, held as part of STAF 2014, York, UK, July 22 - 24, 2014 ; proceedings

Weitere Verfasser: “… Giese, Holger 1970- …”