Auflistung nach Autor "Ringert, Jan Oliver"
Anzeige der Dokumente 1-9 von 9
-
Component and Connector Views in Practice
Bertram, Vincent; Maoz, Shahar; Ringert, Jan Oliver; Rumpe, Bernhard; von Wenckstern, Michael
97-99 -
From software architecture structure and behavior modeling to implementations of cyber-physical systems
Ringert, Jan Oliver; Rumpe, Bernhard; Wortmann, Andreas
155-170 -
GR(1) synthesis for LTL specification patterns
Maoz, Shahar; Ringert, Jan Oliver
103-104 -
International workshop on comparison and versioning of software models (CVSM 2013)
Pietsch, Pit; Kelter, Udo; Ringert, Jan Oliver
377-377 -
International workshop on Comparison and Versioning of Software Models (CVSM 2014)
Pietsch, Pit; Kelter, Udo; Ringert, Jan Oliver
209-209 -
Konferenzankündigungen
Pietsch, Pit; Kelter, Udo; Ringert, Jan Oliver
28-30 -
Report on the International Workshop on Comparison and Versioning of Software Models (CVSM 2014)
Kelter, Udo; Pietsch, Pit; Ringert, Jan Oliver
-
Synthesis of component and connector models from crosscutting structural views (extended abstract)
Maoz, Shahar; Ringert, Jan Oliver; Rumpe, Bernhard
63-64 -
Verifying component and connector models against crosscutting structural views
Maoz, Shahar; Ringert, Jan Oliver; Rumpe, Bernhard
110-111