Master's Thesis from the year 2011 in the subject Computer Science - Software, grade: 1,0, University of Duisburg-Essen (Institute for Computer Science and Business Information Systems), course: Informatik - Empirische Softwareforschung, language: English, abstract: Type systems of programming languages are a much discussed topic of software engineering. There are many voices arguing towards static as well as dynamic type systems, although their actual impact on software development is rarely evaluated using rigorous scientific methods. In the context of this work, a controlled experiment...