Inria / Raweb 2005
Project-Team: Triskell

HELP

INDEX

Model Driven Engineering for Component Based Software

• Members
• Overall Objectives
  • Overall Objectives
• Scientific Foundations
  • Overview
  • Object Oriented Technologies for Distributed Software Engineering
  • Mathematical foundations for distributed and reactive software
• Application Domains
  • Software for Telecommunication and large Distributed Systems
• Software
  • Kermeta : Kernel Metamodeling
  • UMLAUT NG : Extendible model transformation tool and framework.
  • Mutator : Mutation testing tool family for OO programs
  • Requested : a toolbox for requirement simulation and testing
• New Results
  • Contract-based and Aspect Oriented Design
  • Model-Based Testing
  • Model-Driven Engineering
• Contracts and Grants with Industry
  • AOSD-Europe (Network of Excellence)
  • Artist2 (Network of Excellence)
  • FAMILIES (ITEA Eureka)
  • MUTATION 2 (carroll)
  • MDE Standards for Aerospace (carroll)
  • Amadeus
  • KEREVAL
• Other Grants and Activities
  • International working groups
• Dissemination
  • Scientific community animation
  • Teaching
  • Miscellaneous
• Bibliography