Langage réactif synchrone Esterel (informatique) http://www.mines-nantes.fr Cours de Martin RICHARD sur le language Esterel. Feeder 2.1.9(1412); Mac OS X Version 10.6.4 (Build 10F616) http://reinventedsoftware.com/feeder/ http://blogs.law.harvard.edu/tech/rss fr Ecole des mines de Nantes Wed, 30 Mar 2011 18:55:17 +0200 Wed, 30 Mar 2011 18:55:17 +0200 Higher Education http://imedia.emn.fr/podcast/Esterel/pochette.jpg Langage réactif synchrone Esterel (informatique) http://www.mines-nantes.fr 144 108 Martin Richard Cours de Martin RICHARD sur le language Esterel. Le cours "Langage réactif synchrone Esterel" a été donné sous forme de présentiel réduit. La partie cours magistral a été remplacée par des vidéos disponibles en podcast. Les étudiants ont acquis les connaissances à partir de ces vidéos, et d'un accompagnement à distance assuré par l'enseignant. Pour les travaux pratiques et le projet, les étudiants avaient à leur disposition le manuel de référence du langage sous la forme d'extraits vidéos de quelques minutes. language, esterel, martin richard, réactif clean Christian Colin colin@emn.fr no Manuel-réf-01-Séquence, conditionnel, arrêt (;, if, halt) Thu, 13 Dec 2007 11:15:01 +0100 Podcasting http://imedia.emn.fr/podcast/Esterel/01-SequenceConditionnelArret.m4v Martin Richard language, esterel, martin richard no 1:34 1 Manuel-réf-02-Boucle, répétition (loop, repeat) Thu, 13 Dec 2007 11:15:02 +0100 Podcasting http://imedia.emn.fr/podcast/Esterel/02-BoucleRepetition.m4v Martin Richard language, esterel, martin richard no 2:29 2 Manuel-réf-03-Parallélisme (||) Thu, 13 Dec 2007 11:15:03 +0100 Podcasting http://imedia.emn.fr/podcast/Esterel/03-Parallelisme.m4v Martin Richard language, esterel, martin richard no 1:02 3 Manuel-réf-04-Exceptions (trap, exit) Thu, 13 Dec 2007 11:15:04 +0100 Podcasting http://imedia.emn.fr/podcast/Esterel/04-Exceptions.m4v Martin Richard language, esterel, martin richard no 1:27 4 Manuel-réf-05-Variables (var) Thu, 13 Dec 2007 11:15:05 +0100 Podcasting http://imedia.emn.fr/podcast/Esterel/05-Variables.m4v Martin Richard language, esterel, martin richard no 1:50 5 Manuel-réf-06-Evénements Thu, 13 Dec 2007 11:15:06 +0100 Podcasting http://imedia.emn.fr/podcast/Esterel/06-Evenements_2.m4v Martin Richard language, esterel, martin richard no 0:45 6 Manuel-réf-07-Evénements simultanéité, émission (emit) Fri, 08 Jan 2010 15:47:18 +0100 Podcasting http://imedia.emn.fr/podcast/Esterel/07-EvenementsSimultaneiteEmission.m4v Martin Richard language, esterel, martin richard no 0:34 7 Manuel-réf-08-Evénements valeurs (?) Fri, 08 Jan 2010 15:47:21 +0100 Podcasting http://imedia.emn.fr/podcast/Esterel/08-EvenementsValeurs.m4v Martin Richard language, esterel, martin richard no 0:49 8 Manuel-réf-09-Evénements (sustain) Fri, 08 Jan 2010 15:47:25 +0100 Podcasting http://imedia.emn.fr/podcast/Esterel/09-Evenements.m4v Martin Richard language, esterel, martin richard no 2:27 9 Manuel-réf-10-Evénements attente (await) Fri, 08 Jan 2010 15:47:27 +0100 Podcasting http://imedia.emn.fr/podcast/Esterel/10-EvenementsAttente.m4v Martin Richard language, esterel, martin richard no 0:54 10 Manuel-réf-11-Evénements présence (present) Thu, 13 Dec 2007 11:15:11 +0100 Podcasting http://imedia.emn.fr/podcast/Esterel/11-EvenementsPresence.m4v Martin Richard language, esterel, martin richard no 0:42 11 Manuel-réf-12-Evénements surveillance (abort) Fri, 08 Jan 2010 15:47:08 +0100 Podcasting http://imedia.emn.fr/podcast/Esterel/12-EvenementsSurveillance.m4v Martin Richard language, esterel, martin richard no 3:00 12 Manuel-réf-13-Constructeur upto Thu, 13 Dec 2007 11:15:13 +0100 Podcasting http://imedia.emn.fr/podcast/Esterel/13-ConstructeurUpto.m4v Martin Richard language, esterel, martin richard no 0:54 13 Manuel-réf-14-Surveillance faible (weak) Thu, 13 Dec 2007 11:15:14 +0100 Podcasting http://imedia.emn.fr/podcast/Esterel/14-SurveillanceFaible.m4v Martin Richard language, esterel, martin richard no 3:07 14 Manuel-réf-15-Boucle sur occurence (loop..., eavery..., await...,....each) Thu, 13 Dec 2007 11:15:15 +0100 Podcasting http://imedia.emn.fr/podcast/Esterel/15-BoucleSurOccurence.m4v Martin Richard language, esterel, martin richard no 1:53 15 Manuel-réf-16-Structure d'un programme (module) Thu, 13 Dec 2007 11:15:16 +0100 Podcasting http://imedia.emn.fr/podcast/Esterel/16-StructureDunProgramme.m4v Martin Richard language, esterel, martin richard no 0:30 16 Manuel-réf-17-Déclaration des évènements (input,output,signal) Thu, 13 Dec 2007 11:15:17 +0100 Podcasting http://imedia.emn.fr/podcast/Esterel/17-DeclarationDesEvenements.m4v Martin Richard language, esterel, martin richard no 0:45 17 Manuel-réf-18-Exemple de structure Thu, 13 Dec 2007 11:15:18 +0100 Podcasting http://imedia.emn.fr/podcast/Esterel/18-ExempleDeStructure.m4v Martin Richard language, esterel, martin richard no 2:25 18 Manuel-réf-19-Relations (relation) Thu, 13 Dec 2007 11:15:19 +0100 Podcasting http://imedia.emn.fr/podcast/Esterel/19-Relations.m4v Martin Richard language, esterel, martin richard no 0:56 19 cours-03-Esterel : exercices, compilation, erreurs Tue, 24 Nov 2009 16:31:41 +0100 Podcasting http://imedia.emn.fr/podcast/Esterel/3-EsterelExercicesCompilationErreurs.m4v Martin Richard language, esterel, martin richard no 22:57 20 cours-02-La syntaxe du langage Esterel Tue, 24 Nov 2009 16:31:31 +0100 Podcasting http://imedia.emn.fr/podcast/Esterel/2-LaSyntaxeDuLangageEsterel.m4v Martin Richard L'auteur présente la syntaxe du langage synchrone et s'appuie sur des exemples faits au tableau. language, esterel, martin richard no 21:32 21 cours-01-Le langage réactif synchrone Esterel Tue, 24 Nov 2009 16:29:58 +0100 Podcasting http://imedia.emn.fr/podcast/Esterel/1-LeLangageReactifSynchroneEsterel.m4v Martin Richard Ce cours commence par une introduction générale aux concepts de langages réactifs, en montrant en particulier la différence entre les langages transformationnels et réactifs. La seconde partie porte sur la présentation d'un langage réactif, Esterel. language, esterel, martin richard no 43:26 22