|
Tri :
Date
Editeur
Format
Auteur
Titre
|
Voir le document
|
Approches fonctionnelles de la programmation
Auteur(s):
Didier Verna
Éditeur(s):
Institut National de Recherche en Informatique et en Automatique
Source de la notice:
UNIT
Fournir un panorama complet du paradigme de programmation fonctionnelle et de son positionnement par rapport aux autres paradigmes de programmation (en particulier de la programmation impérative).
Illustrer l'ensemble des concepts abordés au moyen de deux langages fonctionnels: Lisp et Haskell....
Accéder à la fiche de description
|
Voir le document
|
Développement de Systèmes Informatiques
Auteur(s):
Laurent Vercouter
Éditeur(s):
Ecole Nationale Supérieure des Mines de Saint Etienne
Source de la notice:
UNIT
Être capable d'analyser, de concevoir une solution informatique en utilisant des technologies objets et de Bases de Données.
Ce cours s'appuie plus particulièrement sur le cours de programmation Java du Pôle Informatique en revenant sur les notions présentées et en approfondissant certains aspects...
Accéder à la fiche de description
|
Voir le document
|
Conception informatique des systèmes d'information
Auteur(s):
Laurent Vercouter
Éditeur(s):
Ecole Nationale Supérieure des Mines de Saint Etienne
Source de la notice:
UNIT
L'objectif de ce cours est de familiariser les étudiants aux techniques de conception de la composante informatique d'un système d'information, plus particulièrement des bases de données. La modélisation sous la forme d'Entité/Association et suivant le modèle relationnel sont abordés ainsi que l'implémentation informatique des modèles obtenus et sa manipulation à l'aide du langage SQL....
Accéder à la fiche de description
|
Voir le document
|
Quel futur pour les langages de programmation généraux ? (série : Colloquium Jacques Morgenstern)
Auteur(s):
Bjarne Stroustrup
Éditeur(s):
Institut National de Recherche en Informatique et en Automatique, Université de Nice, Ecole Polytechnique Universitaire, Laboratoire I3S
Source de la notice:
UNIT
Format:
image en mouvement
As the computing world matures, the roles of computer professionals are becoming more specialized.
In particular, a programmer can spend a whole career doing work in embedded systems or data analysis without a need to gain expertise in other fields. Would such programmers be best served by completely different special-purpose languages? What are the fundamental and commercial factors that drive language evolution? What are the roles of program development environments, libraries, and tools? I think that general-purpose languages will have a key role in the programming world, but that the role ...
Accéder à la fiche de description
|
Voir le document
|
Programmation structurée en C
Auteur(s):
Philippe Preux
Éditeur(s):
Université de Lille III
Source de la notice:
UNIT
Ce polycopié constitue le support d'un cours d'initiation à la programmation structurée en C.
Étant donné un problème à résoudre, son analyse consiste à le décomposer en sous-problèmes plus simples jusqu'à atteindre des problèmes élémentaires que l'ordinateur est capable de résoudre....
Accéder à la fiche de description
|
Voir le document
|
Algorithmique et complexité
Auteur(s):
Sophie Pinchinat, Schmitt Vincent
Éditeur(s):
Institut de Formation Supérieure en Informatique et Communication
Source de la notice:
ORI Université Rennes 1
Format:
texte
Polycopié (n°109) de l'IFSIC contenant des notes sur les techniques de conception d'algorithmes et leurs analyses, qui s'inspirent grandement des notes rédigées par Rumen Andonov, alors professeur à l'Université de Valenciennes....
Accéder à la fiche de description
|
Voir le document
|
Introduction à la programmation
Auteur(s):
Michel Mainguenaud
Éditeur(s):
Institut National des Sciences Appliquées de Rouen
Source de la notice:
UNIT
Format:
texte, image
Cours d'initiation visant à :
- Présenter l'activité de programmation
- Introduire et justifier la notion d'algorithme
- Donner quelques principes méthodologiques
- Donner quelques repères fondamentaux (complexité d'un algorithme, langages)...
Accéder à la fiche de description
|
Voir le document
|
Comment faire confiance à un compilateur ? (série : Colloquium Jacques Morgenstern)
Auteur(s):
Xavier Leroy
Éditeur(s):
Institut National de Recherche en Informatique et en Automatique
Source de la notice:
UNIT
Format:
image en mouvement
Les outils de vérification formelle de programmes (analyseurs statiques, prouveurs de programmes, model-checkers) ont fait des progrès remarquables ces dernières années et commencent à percer dans le monde du logiciel critique. Cependant, ces outils ne vérifient "que" des programmes source: des erreurs dans les compilateurs qui les transforment en code machine exécutable ou dans les processeurs qui les exécutent peuvent toujours invalider les garanties obtenues par vérification du source. Je présenterai un projet en cours, appelé Compcert, qui vise à éliminer totalement cette incertitude dans ...
Accéder à la fiche de description
|
Voir le document
|
Initiation au génie logiciel. Licence STS/MIPE/UE 19. Informatique GEN
Auteur(s):
Daniel Herman
Éditeur(s):
Institut de Formation Supérieure en Informatique et Communication
Source de la notice:
ORI Université Rennes 1
Format:
texte
Polycopié (n°96) du cours d'initiation au génie logiciel qui comporte 3 volets : un projet, un enseignement de théorie du langage, et un enseignement logique. Ce cours correspond à une UE optionnelle proposé en 2nd année d'une licence STS [ sciences, technologies, santé]...
Accéder à la fiche de description
|
Voir le document
|
Bases de la programmation et algorithmique
Auteur(s):
Nicolas Delestre, Michel Mainguenaud
Éditeur(s):
Institut National des Sciences Appliquées de Rouen
Source de la notice:
UNIT
Format:
texte, image, ensemble de données
L'objectif de ce cours de la plateforme e-learning de l'INSA de Rouen est d'acquérir les éléments de base pour la conception d'algorithmes et la réalisation de programmes.
Accéder à la fiche de description
|
Voir le document
|
Algorithmique
Auteur(s):
Nicolas Delestre
Éditeur(s):
Institut National des Sciences Appliquées de Rouen
Source de la notice:
UNIT
Format:
texte, image, ensemble de données
L'objectif de ce cours de la plateforme e-learning de l'INSA de Rouen est d'appréhender les méthodologies de base de la programmation et de l'algorithmique.
Accéder à la fiche de description
|
