Runtime Verification for Dynamic Architectures

Check out our new paper published in Logical and Algebraic Methods in Programming in which we show how to use FACTum to check architectural constraints for dynamically evolving architectures at runtime.

Kommentar verfassen Antwort abbrechen

Gib hier deinen Kommentar ein ...

Trage deine Daten unten ein oder klicke ein Icon um dich einzuloggen:

E-Mail (erforderlich) (Adresse wird niemals veröffentlicht)

Name (erforderlich)

Website

Du kommentierst mit Deinem WordPress.com-Konto. ( Abmelden / Ändern )

Du kommentierst mit Deinem Twitter-Konto. ( Abmelden / Ändern )

Du kommentierst mit Deinem Facebook-Konto. ( Abmelden / Ändern )

Abbrechen

Verbinde mit %s

I am a member of the steering committee of the FMBC workshop series.

In addition I am currently serving in the program comittee of the following venues:

I was also involved in the following events in the past:

I was reviewer for the following Journals:

I was also subreviewer for the following conferences:

Models
FormaliSE
MEMOCODE

%d Bloggern gefällt das:

Teilen mit:

Gefällt mir:

Ähnliche Beiträge

Kommentar verfassen Antwort abbrechen