Community Research and Development Information Service - CORDIS


CREDO: Modeling and analysis of evolutionary structures for distributed services

Project ID: 033826
Funded under: FP6-IST


The project will develop and apply a new high-level modeling language Credo for the dynamic composition of highly reconfigurable component-based soft ware systems, and light-weight and automated verification techniques and tools. One of the main new contributions to language design of this project is the novel integration of a new language for modelling run-time soft ware updates with new highlevel mechanisms for the coordination and dynamic composition of soft ware components.

Download application/pdf (111730)

Record Number: 9343 / Last updated on: 2008-09-08
Category: PRJS