-
- Technical
- Organisation
- Previous Labs
Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering
Contact: Tobias, Günter
The following tutorial introduces logic-based representation for programs and models, the concept of logic-based Conditional Transformations (CTs) and the JTransformer system, which implements these ideas for Java. It will demonstrate a typical analysis scenario (design pattern detection) and a typical transformation scenario (implementation of own refactorings).
Logic-based Software Analysis and Transformation
The rest of the Java 5 features like enumerations, the for each construct and annotations fine.
[PEF = Program-Element-Fact. This is our name for the representation of a program element as a logic fact.]