Vers une formalisation de l'analyse sémantique de matches en sports collectifs. Application au rugby à XV
Cet article met l'accent sur l'originalité de la démarche adoptée. Dans le domaine de l'étude des sports collectifs, avec comme exemple de référence le rugby à XV, on se place du point de vue formel en utilisant des outils issus de l'informatique théorique. Les techniques de spécification mises en oeuvre sont les automates qui proviennent de la théorie des graphes, et la notation classique BNF, combinée aux Expressions Régulières, vue comme un langage de spécification formelle. L'un des intérêts...