Autor der Publikation

A multi-level approach for visualization and exploration of reactive program behavior.

, , und . VISSOFT, Seite 1-4. IEEE Computer Society, (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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Visualizing Feature-Level Evolution in Product Lines: A Research Preview., , und . REFSQ, Volume 12045 von Lecture Notes in Computer Science, Seite 300-306. Springer, (2020)Recovering Feature-to-Code Mappings in Mixed-Variability Software Systems., , , , , , und . ICSME, Seite 426-430. IEEE Computer Society, (2014)A discrete event system model of business system-a systems theoretic foundation for information systems analysis. I., und . IEEE Trans. Syst. Man Cybern. Part A, 27 (1): 1-10 (1997)MONACO -- A Domain-Specific Language Supporting Hierarchical Abstraction and Verification of Reactive Control Programs, und . Industrial Informatics (INDIN), 2010 8th IEEE International Conference on, Seite 908-914. (Juli 2010)Towards a theory of interface-based design of hierarchical reactive systems.. SpringSim (TMS-DEVS), Seite 8. ACM, (2013)Points-to analysis of IEC 61131-3 programs: Implementation and application., , , und . ETFA, Seite 1-8. IEEE, (2013)Variability in Products and Production., , , , und . Digital Transformation, Springer, (2022)Feature-oriented development in industrial automation software ecosystems: Development scenarios and tool support., , , , und . INDIN, Seite 1218-1223. IEEE, (2016)Programming assistance based on contracts and modular verification in the automation domain., und . SAC, Seite 2544-2551. ACM, (2010)The Domain-Specific Language Monaco and its Visual Interactive Programming Environment., , , und . VL/HCC, Seite 104-110. IEEE Computer Society, (2007)