Potential Assistantship Projects Fall 2005
| CS Faculty | Topic | Type | Project Description |
| Dr. Hisham Haddad |
Study of Wrapper Mechanisms for Component Reuse
|
GA-2 | The project goal is to conduct a literature search of current wrappers (wrapping mechanisms) used in conjunction with software component reuse. The work focuses on identifying existing technologies and the analysis of their wrapping techniques. Other characteristics and their support to reuse of legacy systems will also be investigated. STUDENT BACKGROUND: |
| Dr. Jose Garrido |
Design by Contract: OO Languages
|
GA-1, GA-2 | The general purpose and outcome of this project is to develop a general technique that includes formal methods based on the principle of design by contract. This will help the teaching of the introduction to formal methods in courses of programming principles and software development. The result of this project will also be useful in production software development.. STUDENT BACKGROUND: |
