Formal Analysis of Component-Based Systems in View of Comp. Interactions
| Authors | |
|---|---|
| Year of publication | 2006 |
| Type | Article in Proceedings |
| Conference | Proceedings of the International Research Training Groups Workshop 2006 |
| MU Faculty or unit | |
| Citation | |
| Field | Informatics |
| Keywords | component-based systems; formal analysis; component interaction |
| Description | The work focuses on three analytical issues in current component-based software engineering. These are the reconfiguration correctness, assembly strategies, and component placement in distributed environment. |
| Related projects: |