Autor der Publikation

SSG: a model-based development environment for smart, security-aware GUIs.

, , , , , und . ICSE (2), Seite 311-312. ACM, (2010)978-1-60558-719-6.

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

Proceedings of the Workshop on OCL and Textual Modelling (OCL 2010)., , , und . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2010)Vérification d'invariants pour des systèmes spécifiés en logique de réécriture., und . Stud. Inform. Univ., 7 (2): 83-112 (2009)Optimising Fine-Grained Access Control Policy Enforcement for Database Queries. A Model-Driven Approach., und . CoRR, (2022)User Interfaces and Metalanguage Applications., , , , , , und . All About Maude, Volume 4350 von Lecture Notes in Computer Science, Springer, (2007)Functional Modules., , , , , , und . All About Maude, Volume 4350 von Lecture Notes in Computer Science, Springer, (2007)LTL Model Checking., , , , , , und . All About Maude, Volume 4350 von Lecture Notes in Computer Science, Springer, (2007)A Hierarchy of Data Types: From Trees to Sets., , , , , , und . All About Maude, Volume 4350 von Lecture Notes in Computer Science, Springer, (2007)Web Browsers' Support for Managing Cookies. An Experiment Report., und . FDSE, Volume 1925 von Communications in Computer and Information Science, Seite 135-152. Springer, (2023)Principles of Maude., , , und . WRLA, Volume 4 von Electronic Notes in Theoretical Computer Science, Seite 65-89. Elsevier, (1996)The TTC 2021 OCL2PSQL case., , und . TTC/, Volume 3089 von CEUR Workshop Proceedings, CEUR-WS.org, (2021)