Projets-App
Projets
Editer un projet
Cadre de travail
Unité de recherche rattachée au CNRS
IRIF
LIPN
LMF
Information du ou de la responsable scientifique du projet :
Prénom
Nom
E-mail
Présentation du projet scientifique
Nom du project
Résumé publiable du projet (10 lignes max.)
Il s’agit de : - concevoir la syntaxe pour la hiérarchie et les liens père-fils, avec une attention particulière sur les variables et horloges globales/locales - interfacer dans CosyVerif avec cette structure hiérarchique (à plusieurs niveaux) - traduire en réseau d’automates
Champs thématiques adressés (séparés par des virgules)
Type
proof-of-concept
prototype
maintenance/évolution logiciel existant
prématuration
Décrivez les innovations attendues à l'issue du projet (5 lignes max.)
Il s’agit de : - concevoir la syntaxe pour la hiérarchie et les liens père-fils, avec une attention particulière sur les variables et horloges globales/locales - interfacer dans CosyVerif avec cette structure hiérarchique (à plusieurs niveaux) - traduire en réseau d’automates
Argumentaire scientifique qui décrit le projet, l'état de l'art, les travaux antérieurs et les résultats attendus (20 lignes max.)
Il s’agit de : - concevoir la syntaxe pour la hiérarchie et les liens père-fils, avec une attention particulière sur les variables et horloges globales/locales - interfacer dans CosyVerif avec cette structure hiérarchique (à plusieurs niveaux) - traduire en réseau d’automates
Description du besoin en ingénierie
Évaluez le temps ingénieur dont vous avez besoin pour votre projet:
Frequence
2 jour/semaine
3 jour/semaine
Durée
1 mois
2 mois
3 mois
4 mois
5 mois
6 mois
Quelles sont les compétences spécifiques d'ingénierie attendues ; notamment, langages ou frameworks qui seront utilisés dans le projet, outils existants, connaissances requises ?
Il s’agit de : - concevoir la syntaxe pour la hiérarchie et les liens père-fils, avec une attention particulière sur les variables et horloges globales/locales - interfacer dans CosyVerif avec cette structure hiérarchique (à plusieurs niveaux) - traduire en réseau d’automates
Décrivez les activités qui seront confiées à·aux ingénieur·e·s (si possible, avec un planning de tâches attendues)
Il s’agit de : - concevoir la syntaxe pour la hiérarchie et les liens père-fils, avec une attention particulière sur les variables et horloges globales/locales - interfacer dans CosyVerif avec cette structure hiérarchique (à plusieurs niveaux) - traduire en réseau d’automates
Commentaires
Mettre à jour