State charts, code browsing
Development environments typically come with code browsers that allow to move through code in a non-linear fashion to ease navigation. The implementation of such code browsers typically looks ad-hoc. This dissertation should research the usage of state charts to navigate source code. The underlying idea is that a browser is always in a certain state (that governs the models for the widgets of the browser), and that user actions result in state transitions that bring the browser in an updated state. The dissertation shold validate this idea by studying relevant literature and implementing a prototype in Smalltalk.