|
|||||||||||
Open Positions
We are recruiting PhD students in program verification, programming languages, and programming environments. Check out the job descriptions.
Our Mailing List
If you are interested in our activities, you can subscribe to the PMInterest mailing list.
Available Student Projects
Our group offers many different topics for Master's theses, Bachelor's theses, and Research in Computer Science Projects.
The Envision project aims to create a next generation software development system. It features a visual programming interface that can present a program's structure in a flexible combination of text and graphical objects. The visual representation is coupled with novel interaction techniques to facilitate quick navigation and comprehension of programs. This is crucial in modern software engineering where developers have to deal with large-scale code bases and are subject to information overload from many tools for analysis, verification, testing, debugging, etc.
With Envision we also explore a unified model for object-oriented programs of languages like Java, C++, and Scala. This model is user-extensible and allows for new language constructs to be plugged in. In addition to program code, the model can also contain other important artifacts of software engineering such as tables, graphs, images, documentation. Having this extra data in a single repository together with the program structure allows the creation of useful links between the two.
Envision is written in C++ with the help of the Qt library.
Envision is an open source project currently in the early stages of its development. The latest version and issue tracker are hosted on GitHub. The motivation behind the project, the architecture of Envision, and some interesting use cases are explained in this Master's thesis.
Wichtiger Hinweis:
Diese Website wird in älteren Versionen von Netscape ohne
graphische Elemente dargestellt. Die Funktionalität der
Website ist aber trotzdem gewährleistet. Wenn Sie diese
Website regelmässig benutzen, empfehlen wir Ihnen, auf
Ihrem Computer einen aktuellen Browser zu installieren. Weitere
Informationen finden Sie auf
folgender
Seite.
Important Note:
The content in this site is accessible to any browser or
Internet device, however, some graphics will display correctly
only in the newer versions of Netscape. To get the most out of
our site we suggest you upgrade to a newer browser.
More
information