CREDO: Modeling and analysis of evolutionary structures for distributed services
Project ID: 033826Funded 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