Auflistung nach Autor "Seidl, Martina"
Anzeige der Dokumente 1-4 von 4
-
Adaptable Model Versioning in Action
Brosch, Petra; Kappel, Gerti; Seidl, Martina; Wieland, Konrad; Wimmer, Manuel; Kargl, Horst; Langer, Philip
221-236 -
Ein Beweiser für quantifizierte Boolsche Formeln in Negationsnormalform
Seidl, Martina
269-278 -
Generic vs. Language-Specific Model Versioning
Brosch, Petra; Langer, Philip; Seidl, Martina; Wimmer, Manuel; Kappel, Gerti
27-29 -
Semantics-Aware Versioning Challenge: Merging Sequence Diagrams along with State Machine Diagrams
Brosch, Petra; Seidl, Martina; Widl, Magdalena
84-86