Formal Analysis of Component-Based Systems in View of Comp. Interactions

• Authors: ZIMMEROVÁ Barbora
• Year of publication: 2006
• Type: Article in Proceedings
• Conference: Proceedings of the International Research Training Groups Workshop 2006
• MU Faculty or unit: Faculty of Informatics
• 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

• Integrated approach to education of PhD students in the area of parallel and distributed systems
• Realistic application of formal methods in component systems
• Highly Parallel and Distributed Computing Systems