• Skip the Organizational structure panel
• Organizational structure

  On selecting a constituent part of MU the "Overview of publishing activities" page will be displayed with information relevant to the selected constituent part. The "Overview of publishing activities" page is not available for non-activated items.

  Masaryk University

  • Faculties
  • Law
  • Medicine
  • Science
  • Arts
  • Education
  • Economics
  • Informatics
  • Social Studies
  • Sports Studies

  • Institutes
  • Computer Science
  • CEITEC MU
  • Politica
  • Specialized Units
  • Hostels & Canteens
  • University Press
  • Telč Centre
  • UCB Management

  • Rector`s Office
  • Rectorate
  • Other Units
  • Archive
  • Language Centre
  • International Studies
  • Disabled Students
  • Technology Transfer
  • Biostatistics
  • Mendel Museum
  • CERIT
  • Civic Education
  • Project Team CEITEC

   

Publication details

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

Basic information
Original title:	Formal Analysis of Component-Based Systems in View of Comp. Interactions
Author:	Barbora Zimmerová

Further information
Citation:	ZIMMEROVÁ, Barbora. Formal Analysis of Component-Based Systems in View of Comp. Interactions. In Proceedings of the International Research Training Groups Workshop 2006. Berlin, Germany : GITO-Verlag, 2006. ISBN 3-936771-87-1, pp. 34-36. 6.11.2006, Dagstuhl, Germany.
Original language:	English
Field:	Informatika
Type:	Article in Proceedings
Keywords:	component-based systems; formal analysis; component interaction

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