EN FR
EN FR


2017 Project-Team Activity Report
ASCOLA
Aspect and composition languages
Research centre: Rennes - Bretagne-Atlantique
In partnership with: CNRS, Ecole des Mines de Nantes, IMT Atlantique Bretagne-Pays de la Loire, Université Nantes

In collaboration with: Laboratoire des Sciences du numerique de Nantes



Field: Networks, Systems and Services, Distributed Computing

Theme: Distributed programming and Software engineering
Keywords:
Computer Science and Digital Science:
  • A1.1.6. - Cloud
  • A1.1.8. - Security of architectures
  • A1.1.13. - Virtualization
  • A1.3. - Distributed Systems
  • A1.6. - Green Computing
  • A2.1. - Programming Languages
  • A2.1.1. - Semantics of programming languages
  • A2.1.2. - Object-oriented programming
  • A2.1.3. - Functional programming
  • A2.1.4. - Aspect-oriented programming
  • A2.1.6. - Concurrent programming
  • A2.1.7. - Distributed programming
  • A2.1.10. - Domain-specific languages
  • A2.1.11. - Proof languages
  • A2.2.1. - Static analysis
  • A2.4.2. - Model-checking
  • A2.4.3. - Proofs
  • A2.5. - Software engineering
  • A2.6.2. - Middleware
  • A2.6.3. - Virtual machines
  • A3.1.3. - Distributed data
  • A3.1.5. - Control access, privacy
  • A3.1.8. - Big data (production, storage, transfer)
  • A4.5. - Formal methods for security
  • A4.6. - Authentication
  • A4.7. - Access control
  • A4.8. - Privacy-enhancing technologies
  • A7.1. - Algorithms
  • A7.2. - Logic in Computer Science
Other Research Topics and Application Domains:
  • B3.1. - Sustainable development
  • B4.5. - Energy consumption
  • B4.5.1. - Green computing
  • B5.1. - Factory of the future
  • B6.1. - Software industry
  • B6.1.1. - Software engineering
  • B6.1.2. - Software evolution, maintenance
  • B6.5. - Information systems