Student Project: Applying the Universe Type System to an Industrial Application
Download: PDF.
“Applying the Universe Type System to an Industrial Application” by Thomas Hächler. Mar. 2005. Master's thesis.
Abstract
The Software Component Technology Group has developed the Universe type system to control aliasing in object-oriented programming languages. The goal of this masters thesis is to get realistic experience in applying this type system to an industrial application.
The analyzed application is presented in chapter 1. In chapter 2 we give a short introduction to the Universe type system.
In addition to the application, some Java API has been annotated with universe types. Some examples and encountered problems are presented in chapter 3. To enable static fields and application wide resources, a global universe has been used as an extension of the Universe type system.
The results of this case study are structured in three parts: (1) In chapter 4 we present how the Universe type system has been applied to the application and what parts had to be refactored. (2) Problems that have been encountered and workarounds that have been used while annotating the application are documented in chapter 5. (3) In chapter 6 we present a few approaches to extend the Universe type system. The focus of these extensions is on usage in real world applications.
Download: PDF.
BibTeX entry:
@unpublished{THaechler05,
author = {Thomas H\{"a}chler},
title = {{Applying the Universe Type System to an Industrial Application}},
month = mar,
note = {Master's thesis}
}
Back to the student projects sorted by date or by category.
Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author’s copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
(This webpage was created with bibtex2web.)