javabip-engine
Le projet javabip-engine est une bibliothèque Java permettant de gérer des composants et leurs interactions, de contrôler et superviser un système distribué, ainsi que de vérifier des propriétés sur ces systèmes. Il s'appuie sur la bibliothèque javabdd pour la manipulation de BDD (Binary Decision Diagrams).
Cas d'utilisation métiers
Cas d'utilisation fonctionnel
Organisation
- Institut national de recherche en informatique et en automatique (organisation rattachée)
Outils utilisés
- JUnit : voir les initiatives de ses organisations qui l'ont aussi
- Log4j : voir les initiatives de ses organisations qui l'ont aussi
- SLF4J : voir les initiatives de ses organisations qui l'ont aussi
- Java Persistence API : voir les initiatives de ses organisations qui l'ont aussi
- QueryDSL : voir les initiatives de ses organisations qui l'ont aussi
- Java EE : voir les initiatives de ses organisations qui l'ont aussi
- ActiveMQ : voir les initiatives de ses organisations qui l'ont aussi
- RxJava : voir les initiatives de ses organisations qui l'ont aussi
- OSGi : voir les initiatives de ses organisations qui l'ont aussi
Description générée le mardi 19 mars 2024 à 09:03:21