Edward Willink

ocl ocl specification eclipse qvtc code generation declarative transformation uml modeling metamodel map visual ocl ocl visualization atl qvt m2t m2m short circuit boolean mutable deterministic lazy qvtc qvtr umlx micromapping eclipse modeling eclipse qvtc qvtr qvt trace opposites unnavigable opposites ocl uml profile eclipse ocl debugger eclipse qvt model transformation traceability ocl navigation ocl integration debug ocl constraints code-generation ocl query pattern eclipse modeling acceleo ocl library