Table
Diapositive PPT
Outline
Diapositive PPT
Diapositive PPT
Heterogeneity
Dealing with heterogeneity
Semantic failure
Semantic failure (2)
Semantic failure (3)
Safety threats
Property satisfaction
Predicate expanding transformations
Generally applicable scheme
Transforming
Composing transformations
Gathering transformations
Transforming with properties
Gathering properties
Proof-carrying transformations
Exporting transformation and property
Safe transformation development cycle
Technologies
Research needed: theory
Research needed: practice
Summary
AndÖ
|