Cooperative projects

Current grants

International cooperative projects

• AD-AUTO : adaptive software architectures for autonomic computing
• ProSA-RAES : formal language and framework for reference architectures for embedded systems

National cooperative projects

• PEPS API : control theory for autonomic computing
• UBISOA : description of self-evolving service-oriented architectures

Past projects

International cooperative projects

• STAFF : training in emerging practices and methodologies in Computer Science
• S-CUBE : Network of Excellence on Software Services and Systems

National cooperative projects

• SAFECODE : safety requirements and traceability for critical applications
• MOPCOM-I : MDA to ensure a good dependability of system development processes
• AMADEUS : relationshops between design by contract and model refinment, and formal projections of UML