Sujet : Plateforme pour jeux avec stratégies
Responsable : Alain Griffault
Téléphone : 05 40 00 69 15
e-mail :Alain.Griffault@labri.fr
Présentation du sujet :
Dans le cadre de l'UE Conceptions Formelles, vous avez modélisé le Jeu de Nim en AltaRica, puis calculé avec le model-checker acheck la stratégie gagnante.
L'objectif du projet est de proposer à travers un interface web l'accès à des jeux à deux joueurs.
- Le jeu est un modèle AltaRica.
- Un des joueurs est l'utilisateur.
- L'autre joueur est le model-checker mecV
Parmi les fonctionnalités utilisateurs demandées :
- L'utilisateur choisi de jouer en premier ou en second.
- L'utilisateur choisi le niveau de son adversaire (un nombre de coups joués aléatoirement)
- L'utilisateur peut accéder à la règle du jeu.
- Une interface graphique (applet ?).
- ...
Parmi les fonctionnalités administrateurs demandées :
- Pouvoir ajouter facilement de nouveaux jeux.
- ...
Le jeu de Nim et le
3 Spot Game devront être implémentés à la fin du projet.
Mot-clés : Jeux, stratégies gagnantes.