Index Catalog // Digital WPI

Start Over

Filtering by: Contributor Heineman, George T. Keyword formal analysis

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