Document Type thesis Author Name Kanetkar, Kavita Vijay Email Address kavita at cs.wpi.edu URN etd-0430102-150305 Title Formal Analysis of Component Adaptation Techniques Degree MS Department Computer Science Advisors George T. Heineman, Advisor Micha Hofri, Department Head Elke Rundensteiner, Reader Keywords formal analysis Active Interfaces Z notations EJB Date of Presentation/Defense 2002-04-19 Availability unrestricted
Increasing demand for commercial software components has led to a development and deployment issue of overcoming
differences between the customer requirements and developer specifications for the component. Component Adaptation
is one solution to the issue. This thesis focuses on modeling the adaptations to an Enterprise JavaBeanTM component
using the Z notations and carrying out the adaptations using Active Interfaces adaptation technique. We also formally model
the Active Interfaces adaptation technique.
Browse by Author | Browse by Department | Search all available ETDs
Questions? Email email@example.com