Autor der Publikation

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

Research Directions in Requirements Engineering., und . FOSE, Seite 285-303. IEEE Computer Society, (2007)Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods., , , und . ICSE (1), Seite 189-199. IEEE Computer Society, (2015)A pattern for structuring the behavioural requirements of features of an embedded system., und . RePa, Seite 1-7. IEEE Computer Society, (2013)A Common Framework for Synchronization in Requirements Modelling Languages., , und . MoDELS (2), Volume 6395 von Lecture Notes in Computer Science, Seite 198-212. Springer, (2010)Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series., , , , und . SPLC, Seite 266-267. ACM, (2013)Template Semantics for Model-Based Notations., , und . IEEE Trans. Software Eng., 29 (10): 866-882 (2003)State-Based Model Checking of Event-Driven System Requirements., und . IEEE Trans. Software Eng., 19 (1): 24-40 (1993)A Software Architecture Reconstruction Method., , und . WICSA, Volume 140 von IFIP Conference Proceedings, Seite 15-34. Kluwer, (1999)Integrating requirements analysis and safety analysis., und . RE, Seite 158-159. IEEE Computer Society, (1995)Mapping Template Semantics to SMV., , , und . ASE, Seite 320-325. IEEE Computer Society, (2004)