Home
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
In collaboration with: Laboratoire des Sciences du numerique de Nantes
Field: Networks, Systems and Services, Distributed Computing
Theme: Distributed programming and Software engineering
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