( en | de | ru )

 

Disambiguierung von "France, Robert B."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verifiable composition of access control and application features.

, , , , , und . SACMAT, Seite 120-129. ACM, (2005)

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.

Laure France

Robert B Isler

France Allard

Lydéric France

Robert J B Lehmann

 

Weitere Publikationen von Autoren mit dem selben Namen

Using Roles to Characterize Model Families, , , und . Seite 179-195. Kluwer Academic Publisher, (2003)Integrated Structured Analysis and Formal Specification Techniques., , und . Comput. J., 35 (6): 600-610 (1992)Using Parameterized UML to Specify and Compose Access Control Models., , , und . IICIS, Volume 140 von IFIP, Seite 49-65. Springer, (2003)Understanding the Role of Formal Specification Techniques in Requirements Engineering., und . CSEE, Volume 895 von Lecture Notes in Computer Science, Seite 207-221. Springer, (1995)Testing UML designs., , , , und . Inf. Softw. Technol., 49 (8): 892-912 (2007)An aspect-based approach to modeling access control concerns., , , und . Inf. Softw. Technol., 46 (9): 575-587 (2004)Discovering Potential Interaction Violations among Requirements., und . CAiSE Workshops, Volume 249 von Lecture Notes in Business Information Processing, Seite 243-253. Springer, (2016)Using models to dynamically refactor runtime code., , und . SAC, Seite 1108-1113. ACM, (2014)Fine-Grained Semi-automated Runtime Evolution., , , , und . Models@run.time@Dagstuhl, Volume 8378 von Lecture Notes in Computer Science, Seite 237-258. Springer, (2011)Model-Driven Approaches to Software Development., , , und . OOIS Workshops, Volume 2426 von Lecture Notes in Computer Science, Seite 229-230. Springer, (2002)