Autor der Publikation

Combining Formal Techniques and Prototyping in User Interface Construction and Verification.

, , , und . DSV-IS, Seite 174-192. Springer, (1995)

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

RE2C: A More Versatile Scanner Generator, und . ACM Letters on Programming Languages and Systems, 2 (1-4): 70--84 (März 1993)A uniform approach for access control and business models with explicit rule realization., , und . Int. J. Inf. Sec., 15 (2): 145-171 (2016)Configurable Software Product Lines - Supporting Heterogeneous Configuration Knowledge., , , , , und . ICSR, Volume 7925 von Lecture Notes in Computer Science, Seite 176-191. Springer, (2013)A Framework for Machine-Assisted User Interface Verification., , , und . AMAST, Volume 936 von Lecture Notes in Computer Science, Seite 461-474. Springer, (1995)ADVcharts: a visual formalism for interactive systems., , und . ACM SIGCHI Bull., 26 (2): 74-77 (1994)A Formal Approach to Architectural Design Patterns., , und . FME, Volume 1051 von Lecture Notes in Computer Science, Seite 576-594. Springer, (1996)Towards Automated Variability-Aware Machine-Learning-Based Modeling Analysis., , , und . IEEE BigData, Seite 3890-3896. IEEE, (2021)A Software Framework for Cluster Lifecycle Analysis in Transportation., , und . IEEE BigData, Seite 4534-4539. IEEE, (2018)A Variability-Aware Design Approach to the Data Analysis Modeling Process., , und . IEEE BigData, Seite 2818-2827. IEEE, (2018)An IoT Analytics Embodied Agent Model based on Context-Aware Machine Learning., , , und . IEEE BigData, Seite 5170-5175. IEEE, (2018)