Index Catalog // Digital WPI

Start Over

Filtering by: Creator Kanetkar, Kavita Vijay Collections Masters Theses

1. Formal Analysis of Component Adaptation Techniques

Keyword:: formal analysis, Active Interfaces, EJB, and Z notations
Creator:: Kanetkar, Kavita Vijay
Advisor:: Heineman, George T.
Publisher:: Worcester Polytechnic Institute
Date Created:: 2002-04-30
Resource Type:: Thesis
Degree:: MS
Unit (Department):: Computer Science