Inria
/
Raweb 2010
Presentation of the Project ATEAMS
Logo Inria
ATEAMS
Analysis and Transformation based on rEliAble tool coMpositionS
2010 Research Team Activity Report
Lille - Nord Europe
Field :
Algorithmics, Programming, Software and Architecture
Theme : Programs, Verification and Proofs
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
or
ePub
(
test
) format
Members
Overall Objectives
Presentation
Highlights of the year
Scientific Foundations
Research method
Fact extraction
Relational paradigm
Refactoring and Transformation
Application Domains
Software Asset Management
Domain Specific Languages
Software
AmbiDexter
Derrick
Rascal
IDE Meta-tooling Platform
ASF+SDF Meta-Environment
New Results
Ambiguity Detection in Context-free Grammars
Domain Specific Language for Meta Programming
Domain Specific Language for Digital Forensics
Epistemic Modeling for Protocol Analysis
Contracts and Grants with Industry
UvA
National Initiatives
Other Grants and Activities
Exterior research visits
Dissemination
Services to the scientific community
Teaching
Bibliography
Major publications
Publications of the year
