Project-Team Ateams
Members
Overall Objectives
Research Program
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub

up Home | Next next

2015 Project-Team Activity Report
ATEAMS
Analysis and Transformation based on rEliAble tool coMpositionS
Research centre: Lille - Nord Europe
In partnership with: Centrum Wiskunde & Informatica

Field: Algorithmics, Programming, Software and Architecture
Theme: Architecture, Languages and Compilation
Keywords:
Computer Science and Digital Science:
  • 1. - Architectures, systems and networks
  • 2. - Software
  • 2.1.1. - Semantics of programming languages
  • 2.1.10. - Domain-specific languages
  • 2.1.2. - Object-oriented programming
  • 2.1.3. - Functional programming
  • 2.2.1. - Static analysis
  • 2.5. - Software engineering
Other Research Topics and Application Domains:
  • 6.1. - Software industry
  • 6.1.1. - Software engineering
  • 6.1.2. - Software evolution, maintenance
  • 6.6. - Embedded systems