EN FR
EN FR


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

In collaboration with: Laboratoire d'Informatique de Nantes Atlantique (LINA)



Field: Networks, Systems and Services, Distributed Computing

Theme: Distributed programming and Software engineering
Keywords:
Computer Science and Digital Science:
  • 1.1.13. - Virtualization
  • 1.1.6. - Cloud
  • 1.1.8. - Security of architectures
  • 1.3. - Distributed Systems
  • 1.6. - Green Computing
  • 2.1. - Programming Languages
  • 2.1.1. - Semantics of programming languages
  • 2.1.10. - Domain-specific languages
  • 2.1.11. - Proof languages
  • 2.1.2. - Object-oriented programming
  • 2.1.3. - Functional programming
  • 2.1.4. - Aspect-oriented programming
  • 2.1.6. - Concurrent programming
  • 2.1.7. - Distributed programming
  • 2.2.1. - Static analysis
  • 2.4.2. - Verification
  • 2.4.3. - Proofs
  • 2.5. - Software engineering
  • 2.6.2. - Middleware
  • 2.6.3. - Virtual machines
  • 3.1.3. - Distributed data
  • 3.1.5. - Control access, privacy
  • 4.5. - Formal methods for security
  • 4.6. - Authentication
  • 4.7. - Access control
  • 4.8. - Privacy-enhancing technologies
  • 7.1. - Parallel and distributed algorithms
  • 7.4. - Logic in Computer Science
Other Research Topics and Application Domains:
  • 3.1. - Sustainable development
  • 4.4. - Energy consumption
  • 4.4.1. - Green computing
  • 5.1. - Factory of the future
  • 6.1.1. - Software engineering
  • 6.1.2. - Software evolution, maintenance
  • 6.5. - Information systems