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

Warning

This publication doesn't include Faculty of Arts. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

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
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:	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