Search Results for 'zschaler'

zschaler published presentations and documents on DocSlides.

Towards Using Constructive Type Theory for Verifiable

by karlyn-bohler

Modular Transformations. Steffen . Zschaler. , . ...

Aspect Assumptions

by lindy-dunigan

A Retrospective Study of . AspectJ. . Developers...

OCL: Modularising the Language

by liane-varnes

D.H.Akehurst 1 , S. Zschaler 2 , W.G.J.Howells 1 ...