Autor der Publikation

CD2Alloy: Class Diagrams Analysis Using Alloy Revisited

, , und . Conference on Model Driven Engineering Languages and Systems (MODELS'11), Seite 592--607. Springer, (2011)

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.

Keine Personen gefunden für den Autorennamen Maoz, Shahar
Eine Person hinzufügen mit dem Namen Maoz, Shahar
 

Weitere Publikationen von Autoren mit dem selben Namen

Counter play-out: executing unrealizable scenario-based specifications., und . ICSE, Seite 242-251. IEEE Computer Society, (2013)Lattice-Based Semantics for Combinatorial Model Evolution., und . ATVA, Volume 9364 von Lecture Notes in Computer Science, Seite 276-292. Springer, (2015)PlayGo: towards a comprehensive tool for scenario based programming., , , und . ASE, Seite 359-360. ACM, (2010)Spectra: A Specification Language for Reactive Systems., und . CoRR, (2019)An Interim Summary on Semantic Model Differencing., , und . CoRR, (2014)Visual Formalisms., und . Encyclopedia of Database Systems, Springer US, (2009)Specification mining of symbolic scenario-based models., und . PASTE, Seite 29-35. ACM, (2008)Mining modal scenarios from execution traces., , und . OOPSLA Companion, Seite 777-778. ACM, (2007)Symbolic repairs for GR(1) specifications., , und . ICSE, Seite 1016-1026. IEEE / ACM, (2019)Verifying Component and Connector Models against Crosscutting Structural Views (extended abstract), , und . Softwareengineering & Management 2015, Volume P-239 von GI-Edition--Lecture Notes in Informatics (LNI), Seite 110--111. Bonner Köllen Verlag, (2015)