Présentation de la mention
Вид материала | Документы |
СодержаниеResponsable : Claude DUTHEILLET |
- A few slides from the Presentation, 31.45kb.
- На русском и английском языках, 160.31kb.
- Стандарт університету, 259.5kb.
- International Communist Seminar (Brussels) Presentation Международный Коммунистический, 29.1kb.
Acronyme : msr | Spécialité : SAR | 3 ECTS | Niveau : 500 | Semestre : S3 |
Titre : Modélisation formelle de systèmes répartis | ||||
Responsable : Claude DUTHEILLET | Répartition hebdomadaire ou semestrielle | |||
(CM: 20h00/5 semaines)(TD/TME: 10h00/5 semaines) | ||||
ContenuLa vérification d'un système se fait par la mise en oeuvre de méthodes utilisant une représentation formelle du fonctionnement de ce système. Le but de ce module est de montrer comment formaliser les caractéristiques du système nécessaires à la vérification des propriétés que l'on souhaite établir. Nous y présentons des outils adaptés aux différentes phases de la modélisation. | ||||
Expérience du responsable dans le domaine de l’UEAprès une thèse sur la modélisation d’applications réparties au moyen de réseaux de Petri colorés, ma recherche s’est poursuivie dans ce domaine, notamment en exploitant les symétries intrinséques du système pour réduire la représentation du graphe des états accessibles. Je m’intéresse aussi à la prise en compte de caractéristiques temporelles dans la représentation du système, dans le but d’obtenir des résultats en moyenne sur le comportement quantitatif du système. | ||||
Réalisations du responsable dans le domaine de l’UE
|
Acronyme : msv | Spécialité : SAR | 3 ECTS | Niveau : 500 | Semestre : S3 |
Titre : Musique et science au XXème siècle | ||||
Responsable : Georges Bloch | Répartition hebdomadaire ou semestrielle | |||
(30h/7 semaines) | ||||
ContenuCe cours expose les mouvements d'idées dans la musique au XXème siècle et leurs relations avec les sciences et les technologies. | ||||
Expérience du responsable dans le domaine de l’UEMaître de conférences à l'Université de Strasbourg et compositeur. | ||||
Réalisations du responsable dans le domaine de l’UE |