Autor der Publikation

1st International Workshop on Big Data Software Engineering (BIGDSE 2015).

, , , und . ICSE (2), Seite 965-966. IEEE Computer Society, (2015)ISBN 978-1-4799-1934-5 (Vol. I + II ???).

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Style-based modeling and refinement of service-oriented architectures, , , und . Software and Systems Modeling, 5 (2): 187--207 (Juni 2006)TestFul: automatic unit-test generation for Java classes., und . ICSE (2), Seite 281-284. ACM, (2010)978-1-60558-719-6.Towards decentralized self-adaptive component-based systems., , und . SEAMS, Seite 57-64. ACM, (2008)Consumer Mashups with Mashlight., und . ServiceWave, Volume 6481 von Lecture Notes in Computer Science, Seite 112-123. Springer, (2010)From Graph Transformation to Software Engineering and Back., und . Formal Methods in Software and Systems Modeling, Volume 3393 von Lecture Notes in Computer Science, Seite 24-37. Springer, (2005)Dynamo: Dynamic Monitoring of WS-BPEL Processes., und . ICSOC, Volume 3826 von Lecture Notes in Computer Science, Seite 478-483. Springer, (2005)Style-based modeling and refinement of service-oriented architectures., , , und . Softw. Syst. Model., 5 (2): 187-207 (2006)A journey through SMScom: self-managing situational computing., und . Comput. Sci. Res. Dev., 28 (4): 267-277 (2013)Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems., , , , , , , , und . Software Engineering for Self-Adaptive Systems, Volume 9640 von Lecture Notes in Computer Science, Seite 64-89. Springer, (2013)A Logic-Based Approach for the Verification of UML Timed Models., , , , und . ACM Trans. Softw. Eng. Methodol., 26 (2): 7:1-7:47 (2017)