|
|
|
Technology > Scientific Foundations
preeTEC products have been built on the basis of cutting-edge research results at the University of California, Berkeley, and the University of Salzburg. The core language abstractions, in particular the LET, were invented by Prof. Thomas Henzinger and his group in the Electrical Engineering and Computer Sciences (EECS) department at the University of California, Berkeley.
Various research papers and research prototypes are on the Giotto project Web site. Prof. Wolfgang Pree led the MoDECS project at the University of Salzburg. Together with Dr. Josef Templ, who had worked for six years with Prof. Niklaus Wirth at ETH Zurich, the technology was substantially extended and refined in the realm of the MoDECS project. In particular, the TDL syntax and the component model were defined, and the TDL tools and run-time systems were implemented from scratch. © 2010 TDL Team |