Attended a workshop yesterday on Composition and Evolution of Model Transformations at King's College, London organized by Kevin Lano and Steffen Zschaler. The presentations covered a wide range of topics including: composition of bidirectional model transformations; traceability issues in the composition of input-destructive model transformations; transformation reuse; composing ATL transformations; verification logics for transformations; visualization of transformation traces; the use of Java agents for model transformations; specifying transformations for model slicing; composition of UML-RSDS transformations. My presentation (and associated paper) was on model slicing:
Performance trick : optimistic vs pessimistic checks
-
Strings in programming are often represented as arrays of 8-bit words. The
string is ASCII if and only if all 8-bit words have their most significant
bit u...
4 days ago
Posts
No comments:
Post a Comment