Nouveautés
Recherche simple :
Accueil
Documents
Pédagogie
Thèses
Publications Scientifiques
Multi-formats
Pédagogie > Recherche thématique UNIT en fr
  • Nouveautés
  • Recherche avancée
  • Recherche thématique UNIT
  • Recherche thématique
  • Recherche par établissements
  • Recherche par auteurs
  • Recherche par mots-clefs
Recherche thématique dans les catégories UNIT en passant par le pivot dewey
Classification Unit > Informatique > Génie logiciel : conception, qualité, documentation, maintenance
Niveau supérieur
  • 34 ressources ont été trouvées. Voici les résultats 21 à 30
  |< << Page précédente 1 2 3 4 Page suivante >> >| documents par page
Tri :   Date Editeur Auteur Titre

Premiers principes des langages de programmation

/ INRIA / 09-06-2010 / Canal-U - OAI Archive
DOWEK Gilles
Voir le résumé
Voir le résumé
Dans cette vidéo, Gilles Dowek fait un cours introductif, à destination des Professeurs des Lycées, de la Science Informatique (et de ses quatre piliers: Algorithme, Langage, Machine, Information) complété d'une analyse fine de la sémantique des ingrédients des algorithmes (instruction, affectation de valeurs à une variable, déclaration, séquence, test, boucle, état) indépendamment du langage informatique utilisé. Il donne les fondamentaux qui permettent aux enseignants d'enseigner l'algorithmique en seconde ou de faire connaitre les objets numériques dans les enseignements d'option. Ce cours a été donné en juin 2009 et juin 2010 lors des journées de formation à l'informatique organisées par l'INRIA à destination des professeurs de mathématiques d'Ile de France. Il est composé d'une heure de cours et d'une demi-heure de questions-réponses sur le cours.
Mot(s) clés libre(s) : affectation, algorithmique, boucle, déclaration, information, instruction, langage informatique, programmation, séquence, syntaxe
 |  Accéder à la ressource

Pourquoi mon ordinateur calcule faux?

/ INRIA / 16-06-2009 / Canal-U - OAI Archive
BOLDO Sylvie
Voir le résumé
Voir le résumé
Dans cet exposé Sylvie Boldo nous fait prendre conscience de l'importance des bugs en informatique et des conséquences historiques qu'ils ont pu engendrer. Elle se concentre ensuite sur les problèmes liés aux calculs numériques et montre de manière détaillée et constructive comment prendre la mesure des approximations numériques qui s'effectuent lors d'un calcul numérique au sein d'un logiciel. Elle nous offre à la fois des garde-fous pratiques et une compréhension théorique de la problématique.Cet exposé s'est inscrit dans le cadre d'une formation INRIA proposée en juin 2009 et s'adressait aux professeurs des établissements de l'académie de Versailles proposant l'option Informatique et Objets Numériques à leurs classes de seconde pour l'année scolaire 2009-2010.
Mot(s) clés libre(s) : algorithmique, arithmétique flottante, bug, calcul informatique, méthode formelle, nombre à virgule flottante, preuve de programme, vérification de logiciel
 |  Accéder à la ressource

Urgences scientifiques posées par l'industrie : masquages d'horloges, circuits multi-horloges, ECOs et vérification formelle (cycle de cours et séminaires du collège de France en extérieur) 3/3

/ Région PACA, UNS, CNRS - Centre National de la Recherche Scientifique, INRIA (Institut national de recherche en informatique et automatique) / 29-01-2014 / Canal-u.fr
BERRY Gérard
Voir le résumé
Voir le résumé
Pour son cycle de cours 2013/2014, Gérard Berry, titulaire de la Chaire "Algorithmes, Machines et langages" du Collège de France, a choisi de donner ses 3 premiers cours et séminaires au centre Inria à Sophia Antipolis les mercredi 15, 22 et 29 Janvier 2014. Les trois cours sont consacrés à la relation recherche-industrie dans le développement des langages synchrones pour les systèmes temps-réels et les circuits électroniques. Le cours du 29 janvier nous fera revenir à la science à travers trois problèmes scientifiques durs posés pour Esterel par les utilisateurs industriels et dont la solution était vitale pour eux, ce qui la rendait tout aussi vitale pour Esterel Technologies le traitement de la causalité, difficulté intrinsèque des langages synchrones dont la solution a été trouvée dans une relation surprenante entre logique et électricité, le traitement des circuits multi-horloges maintenant universels en électronique, et enfin le délciat traitement formel des ECO (Engineering Change Order), demandes de corrections de bugs d'un circuit sans toucher à son code source. Ces problèmes sont souvent bien différents de ceux que se posent spontanément les chercheurs, mais tout aussi scientifiques, tout aussi intéressants, et pas moins difficiles. Chaque cours sera suivi d'un séminaire.
Mot(s) clés libre(s) : synchronisation, systèmes temps-réels
 |  Accéder à la ressource

Le logiciel, objet de notre quotidien

/ Mission 2000 en France / 10-09-2000 / Canal-U - OAI Archive
BERRY Gérard
Voir le résumé
Voir le résumé
Il y a à peine trente ans, le logiciel était l'apanage des systèmes de gestion ou de communication des grandes entreprises. La micro-informatique, les ordinateurs embarqués et les réseaux ont centuplé ses applications, révolutionnant la bureautique, le design industriel ou artistique, les transports, et maintenant les objets du quotidien, du téléphone au stimulateur cardiaque en passant par tout l'audiovisuel, les jeux, et bien sûr Internet. On assiste en fait à la mise en place d'un nouveau système nerveux logiciel, avec lequel nous sommes sans cesse en contact. Or, le logiciel reste un objet mystérieux pour la plupart des gens. Il est purement immatériel, ne se voit pas, ne pèse rien. Pourtant, il produit des tas d'ennuis allant de l'inconfort des interfaces homme-machine mal conçus aux problèmes de sécurité des réseaux en passant par des crashs catastrophiques de fusées ou de satellites. La qualité du logiciel devient un des points faibles de notre société. Pour les spécialistes, ce n'est pas étonnant. Le logiciel est un objet purement intellectuel d'une très grande complexité, qui ne se laisse pas appréhender pas des approches naïves. Un logiciel est formé de millions d'ordres élémentaires à une machine ultra-rapide et quasi-infaillible mais parfaitement stupide, le microprocesseur. De minuscules erreurs peuvent avoir de grandes conséquences et on ne sait pas encore se protéger. Nous essaierons de mieux faire comprendre la nature profonde de l'objet logiciel, et nous présenterons les approches scientifiques modernes qui permettront de construire des logiciels plus sûrs et d'en assurer la correction.
Mot(s) clés libre(s) : algorithmique, bug, circuit intégré, langage de programmation, logiciel informatique, microélectronique, microprocesseur
 |  Accéder à la ressource

Esterel et SCADE de la recherche à l'industrie : la vision industrielle (cycle de cours et séminaires du collège de France en extérieur) 2/3

/ Région PACA, UNS, CNRS - Centre National de la Recherche Scientifique, INRIA (Institut national de recherche en informatique et automatique) / 22-01-2014 / Canal-u.fr
BERRY Gérard
Voir le résumé
Voir le résumé
Pour son cycle de cours 2013/2014, Gérard Berry, titulaire de la Chaire "Algorithmes, Machines et langages" du Collège de France, a choisi de donner ses 3 premiers cours et séminaires au centre Inria à Sophia Antipolis les mercredi 15, 22 et 29 Janvier 2014.  Les trois cours sont consacrés à la relation recherche-industrie dans le développement des langages synchrones pour les systèmes temps-réels et les circuits électroniques. Le cours du 22 janvier 2014 présentera les points de vue du fournisseur et des clients industriels, selon mon expérience personnelle en tant que directeur scientifique de la société Esterel technologies. J'y insisterai sur l'ensemble des rouages nécessaires pour qu'une bonne idée se transforme en produits utilisable pour des développements industriels chez des clients standards, où le pragmatisme technologique l'emporte quasiment toujours sur la vision scientifique. J'illustrerai par l'exemple un des problèmes majeurs, bien exprimé dans le fameux livre "Crossing the Chasm" de Geoffrey A. Moore : les arguments techniques valables pour les industriels visionnaires, et donc promus par les chercheurs, ne le sont en général pas du tout pour les pragmatiques qui forment le gros des troupes. De plus, l'introduction de nouveaux langages et de nouvelles méthodes de programmation est mal perçue par ceux qui n'en voient pas immédiatement les avantages et craignent pour la continuité de leur chaîne d'outils. J'expliquerai pourquoi et comment SCADE a réussi à passer ce fossé pour les logiciels de haute sécurité en avionique, ferroviaire, industrie lourde, etc., en se présentant comme une amélioration sensible des modèles de programmation existants plutôt que comme une façon de faire radicalement nouvelle. De plus, développée dès les débuts industriels de SCADE, la certifiabilité de son compilateur pour les normes avioniques les plus sévères a joué un rôle clef pour son adoption.
Mot(s) clés libre(s) : synchronisation, systèmes temps-réels
 |  Accéder à la ressource

Esterel et SCADE : de la recherche à l'industrie : La vision labo (cycle de cours et séminaires du collège de France en extérieur) 1/3

/ Région PACA, UNS, CNRS - Centre National de la Recherche Scientifique, INRIA (Institut national de recherche en informatique et automatique) / 15-01-2014 / Canal-u.fr
BERRY Gérard
Voir le résumé
Voir le résumé
Pour son cycle de cours 2013/2014, Gérard Berry, titulaire de la Chaire "Algorithmes, Machines et langages" du Collège de France, a choisi de donner ses 3 premiers cours et séminaires au centre Inria à Sophia Antipolis les mercredi 15, 22 et 29 Janvier 2014. Les trois cours sont consacrés à la relation recherche-industrie dans le développement des langages synchrones pour les systèmes temps-réels et les circuits électroniques. Le premier cours présentera l'aventure selon le point de vue des laboratoires de recherche, en se focalisant sur Esterel et Lustre / SCADE. J'y illustrerai les développements successifs de la théorie et des réalisations logicielles qui ont permis de passer à travers une succession d'étapes scientifiques des idées initiales aux langages et systèmes finaux. Je montrerai les nombreux avantages apportés par la collaboration industrielle, en particulier par la fourniture d'exemples d'un ordre de grandeur plus grands et plus complexes que ceux qu'imaginent les chercheurs. Mais je discuterai aussi des contraintes associées : la nécessité pour les industriels de disposer d'une chaîne de développement sans maillon faible, ce qui oblige les chercheurs à traiter des points pas toujours excitants pour eux ; la nécessité pour les partenaires et clients industriels d'avoir des produits stables au cours du temps, ce qui les rend méfiants vis-à-vis des avancées scientifiques imprévues en cours de projet.
Mot(s) clés libre(s) : synchronisation, systèmes temps-réels
 |  Accéder à la ressource

Programmer une conversion analogique-numérique

/ INRIA, Unisciel, Fuscia, Université de Nice / 2011 / Unisciel
Astoux Aurélien
Voir le résumé
Voir le résumé
Permet de s'initier à la recherche dichotomique dans un cas concret.
Mot(s) clés libre(s) : proglet, dichotomie, recherche dichotomique, convertisseur analogique-numérique
 |  Accéder à la ressource

Synthe Sons: Manipuler un signal sonore

/ INRIA, Unisciel, Fuscia, Université de Nice / 2011 / Unisciel
Voir le résumé
Voir le résumé
Permet de programmer la génération d'un ou d'une mélodie.
Mot(s) clés libre(s) : proglet, signal sonore, son
 |  Accéder à la ressource

Programmer avec la tortue Logo

/ INRIA, Unisciel, Fuscia, Université de Nice / 2011 / Unisciel
Voir le résumé
Voir le résumé
Utiliser la métaphore d'une tortue dans un carré de jardin avec un pinceau pour découvrir les algorithmes.
Mot(s) clés libre(s) : proglet, tortue logo, algorithme
 |  Accéder à la ressource

Java Prog

/ INRIA, Unisciel, Fuscia, Université de Nice / 2011 / Unisciel
Voir le résumé
Voir le résumé
Permet d'utiliser la plateforme JavaScool pour programmer directement en jav
Mot(s) clés libre(s) : proglet, java, programmation java
 |  Accéder à la ressource

rss |< << Page précédente 1 2 3 4 Page suivante >> >| documents par page
© 2006-2010 ORI-OAI