| DEVINE |
DEVINE: Dependable distributed systems: Verification made efficient
The overall goal of the Devine project-team is to contribute to the design of dependable distributed systems that include quantitative aspects such as time, cost or probabilities...
|
D4 - Language and software engineering |
| DIVERSE |
The main objective in DiverSE is to automatically compose and synthesize software diversity from design to runtime to address unpredictable evolutions of software intensive systems.
|
D4 - Language and software engineering |
| EPICURE |
EPICURE
The frequent announcements of yet another cybersecurity breach show that the security of the software that surrounds us is, more than ever, a scientific challenge of utmost societal importance. More and more software is produced to operate...
|
D4 - Language and software engineering |
| HYCOMES |
HYCOMES, Hybrid Modeling and Contract-Based Design for Multiphysics Embedded Systems
Our vision is that hybrid systems modeling tools deserve similar efforts in theory as synchronous languages did for the programming of embedded systems.
Scientif...
|
D4 - Language and software engineering |
| KHORA |
KHORA: Exploratory programming through augmented development environments
Software developers now have to explore and operate within an increasingly complex and constantly evolving design space, while having to deal with deploying new software...
|
D4 - Language and software engineering |
| LogicA |
LogicA, Logic and Applications
Nowadays, many of our daily activities which were in the past performed in the ‘real’ world and in interaction with other humans, are carried out in a digital world in interaction with non-human ‘agents’: classic...
|
D4 - Language and software engineering |
| SECREIZH |
The main research domain of the ArchWare team concerns the software architecture. The software architecture provides the abstraction in order to rigorously design, develop and evolve software-intensive systems.
|
D4 - Language and software engineering |