Inria
/
Raweb 2009
Presentation of the Project ATEAMS
Logo Inria
ATEAMS
Analysis and Transformation based on rEliAble tool coMpositionS
2009 Research Team Activity Report
Lille - Nord Europe
Area :
Algorithmics, Programming, Software and Architecture
Theme : Programs, Verification and Proofs
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
format
Members
Overall Objectives
Presentation
Highlights of the year
Scientific Foundations
Fact extraction
Relational paradigm
Refactoring and Transformation
Reliable Middleware
Application Domains
Software Asset Management
Domain Specific Languages
Software
Rascal
IDE Meta-tooling Platform
ASF+SDF Meta-Environment
Contracts and Grants with Industry
UvA
Other Grants and Activities
National actions
Visits and researcher invitations
Dissemination
Services to the scientific community
Teaching
Bibliography
Publications of the year
