Validation de la couche sémantique

Les briques pour valider la couche sémantique : décider des politiques, contraindre la forme des données, inférer des oracles. En chantier, sous-thème de forge.

Outils

• opa
• cue

Lectures

• webtestpilot
• intent-formalization