Présentation de la mention
| Вид материала | Документы |
СодержаниеRépartition hebdomadaire ou semestrielle Expérience du responsable dans le domaine de l’UE Réalisations du responsable dans le domaine de l’UE |
- A few slides from the Presentation, 31.45kb.
- На русском и английском языках, 160.31kb.
- Стандарт університету, 259.5kb.
- International Communist Seminar (Brussels) Presentation Международный Коммунистический, 29.1kb.
| Acronyme : aps | Spécialité : STL | 6 ECTS | Niveau : 400 | Semestre : S2 |
| Titre : Analyse des programmes et sémantique | ||||
| Responsable : Thérèse HARDIN | Répartition hebdomadaire ou semestrielle | |||
| (CM: 2h00)(TD: 2h00)(TME: 2h00) | ||||
ContenuCe cours permet d'acquérir une bonne connaissance des significations pouvant être attribuées aux constructions syntaxiques de programmes, des méthodes de raisonnement et de validation des programmes. Il forme à la conception et au développement raisonné d'applications et facilite la compréhension des choix et modes de fonctionnement des outils et ateliers de développement. Avoir suivi l'UE Fondements de la Programmation de licence est une bonne préparation. | ||||
Expérience du responsable dans le domaine de l’UEQuelques thèmes de recherche de T. Hardin, accompagnés de quelques publications: Compilation et sémantique ( Hardin, Properties of CCL, TCS, 1989, Explicit substitutions properties, Curien, Hardin, Lévy, JACM 1996, Hardin,Maranget, Pagano,Functional runtime systems, J. of Functional Programming, 1998,T. Hardin, Mammass,Proving the Bounded Retransmission Protocol in the Pi-calculus, NFINITY'98 ). Logique et démonstration automatique (Dowek,Hardin,Kirchner, Higher-order unification via explicit substitutions, Information and Computation,2000; Theorem Proving modulo, Journal of Automated Reasoning,2003). Responsable du projet FOCAL, atelier de développement de systèmes répondant aux besoins élevés de sûreté et de sécurité (Dubois,Hardin, Viguié, Building certified components within FOCAL,Trends in Functional Programming,2004; ia.fr), utilisé dans 3 ACI Sécurité (Modulogic, Edemoi, Alidecs). Sûreté de fonctionnement (P. Ayrault, T. Hardin, Développement d'un outil d'évaluation de la sûreté du logiciel, JFLA2000, Hardin, Logiciels de confiance, JFLA2002). Quelques thèmes d'enseignement de T. Hardin, correspondant à des cours de niveaux L et M: Programmation (Hardin , V. Viguié-Donzeau, Concepts et outils de programmation, avec Caml et Ada, InterEditions1992). Lambda-calculs, Théorie des types, Réécriture, Sémantiques, démonstration automatique. Sûreté de fonctionnement (Normes, méthodes de mise en oeuvre, méthodes d'évaluation), accent mis sur tous les aspects liés au logiciel embarqué, en particulier sur les méthodes formelles. | ||||
Réalisations du responsable dans le domaine de l’UE
| ||||