formation / cours

Formation - cours

Cours 'Introduction au langage OCaml'

Fiche ressource Article, événement, site web...
  • Création ou MAJ importante : 20/06/10
  • Correction mineure : 09/10/13
Mots-clés

Cours 'Introduction au langage OCaml'

Caml est un langage de programmation généraliste, conçu pour garantir la sûreté et la fiabilité des programmes. Il est très expressif et néanmoins facile d'apprentissage et d'emploi. Caml se prête à la programmation dans un style fonctionnel, impératif ou orienté objets. Il est développé et distribué par l'INRIA depuis 1985.

Ce support de cours entièrement rédigé peut être utilisé pour assurer une formation introductive pratique au langage Objective-Caml (OCaml). Il peut également servir pour une auto-formation.

Il se base sur le plan du livre Développement d'applications avec Objective-Caml et contient plusieurs exercices d'application des principes et constructions évoqués.

Cours Logiciels libres (janvier 2010)

Fiche ressource Article, événement, site web...
  • Création ou MAJ importante : 29/01/10
  • Correction mineure : 20/05/11

Cours Logiciels libres (janvier 2010)

Ces transparents ont été utilisés pour donner un cours de 6-8 heures à des étudiants en informatique niveau MASTER, en janvier 2010, avec le programme :

  • 2 mots sur PLUME (projet dans le libre)
  • Législation logiciels, définitions et origine
  • Les licences libres
  • Développement des logiciels libres : comment, qui, pourquoi ?
  • Points forts et faibles des logiciels libres
  • Où les trouver ?
  • Développer (avec) des logiciels libres
  • Métiers-sociétés autour des logiciels libres
  • Place du libre dans les entreprises et les administrations
  • Principaux types de logiciels libres utilisés
  • En prenant un peu de recul...

Ce cours recommande des informations présentes sur le serveur PLUME :

Si vous avez un commentaire, contactez l'auteur ou ajoutez un commentaire sur cette fiche

Fichier attachéTaille
Cours_Logiciels_Libres_01_2010.pdf459.23 Ko

Groupe Calcul : communications et échanges de la communauté du calcul en France

Fiche ressource Article, événement, site web...
  • Création ou MAJ importante : 19/12/09
  • Correction mineure : 22/03/13
Mots-clés

Groupe Calcul : communications et échanges de la communauté du calcul en France

Le groupe Calcul est un groupe de communications et d’échanges de la communauté du calcul en France. Créé en 2003, il rassemble à ce jour plus de 750 personnes sur sa liste de discussion.

Depuis 2009, ce groupe s’est structuré en un GDR (de l'INSMI) et un réseau métier (soutenu par la MRCT), et continue à oeuvrer pour la communauté.

Actions

Elles sont diverses :

  • Listes de discussion.
  • Organisation de journées techniques, de formations, d'écoles.
  • Participation à des manifestations scientifiques et techniques.
  • Soutien aux actions des méso-centres.

Calcul soutient le projet Relier.

Thématiques

Les échanges mutuels des membres de Calcul se veulent transverses à toute thématique technique, et orientés sur les problèmes liés à l’utilisation de l’informatique pour le calcul, au sens général du terme (calcul scientifique, mais aussi calcul formel, statistiques, ...) :

  • architecture (cluster ...),
  • logiciels de calculs (matlab, maple, scilab, ...),
  • compilateurs,
  • outils de développement (AGL, ...),
  • outils de visualisation,
  • parallélisme,
  • librairies scientifiques,
  • langages de programmation,
  • méthodologie de programmation, ...

Cible

Ce groupe a pour vocation d’être largement ouvert à tous les acteurs du calcul :

  • ingénieurs, chercheurs, doctorants,
  • multi-disciplinaires (mathématiques, physiques, biologie, ...),
  • recherche publique et privée.

Formations, ressources et tutoriaux autour des logiciels libres

Fiche ressource Article, événement, site web...
  • Création ou MAJ importante : 28/11/10
  • Correction mineure : 28/11/10
Mots-clés

Formations, ressources et tutoriaux autour des logiciels libres

Formations

 

Tutoriaux

ANSSI : Agence nationale de la sécurité des systèmes d'information

Fiche ressource Article, événement, site web...
  • Création ou MAJ importante : 07/08/09
  • Correction mineure : 29/03/10
Mots-clés

ANSSI : Agence nationale de la sécurité des systèmes d'information

L'agence nationale de la sécurité des systèmes d'information (ANSSI) a été crée le 7 juillet 2009. Elle succède à l’ancienne direction centrale de la sécurité des systèmes d’information (DCSSI). Elle est la référence officielle en France en matière de SSI. Le portail de l'ANSSI contient :

  • l'organisation de la cyberdéfense en France (CERTA, COSSI, etc.) ;
  • un catalogue de produits de sécurité certifiés ;
  • la réglementation (documents interministériels, RGS, certification, signature électronique, cryptologie) ;
  • des outils méthodologiques (EBIOS, PSSI, etc.) ;
  • des offres de formation (stages, autoformation, etc.) ;
  • des publications scientifiques de l'ANSSI ;
  • des liens vers des sites traitant de la sécurité des systèmes d'information.

UP Key Etu : suite logicielle sur clé USB pour les étudiants et les apprenants en langues

Fiche ressource Article, événement, site web...
  • Création ou MAJ importante : 03/03/09
  • Correction mineure : 17/08/09
  • Auteur : Christophe Naud (Maison des Langues de l'Université de Poitiers)
Mots-clés

UP Key Etu : suite logicielle sur clé USB pour les étudiants et les apprenants en langues

Vous avez l’habitude de travailler sur plusieurs ordinateurs différents ? UP Key Etu est faite pour vous ! Dédiée aux étudiants nomades de l’Université de Poitiers et aux apprenants de la Maison des Langues, UP Key Etu est un espace de stockage facile à transporter qui embarque des logiciels et des ressources utiles à votre formation universitaire ou professionnelle.

  • Logiciels embarqués :

-- Internet : Mozilla Firefox, Mozilla Thunderbird, ClamWin
-- Bureautique : OpenOffice, Mozilla Sunbird
-- Multimédia : Audacity, VLC
-- Archivage : 7zip
....

  • Fonctionnalités supplémentaires :

-- Liens Web dédiés à la découverte / l'apprentissage de l'anglais : médias en ligne (presse, Webradios, WebTV, podcats), dictionnaires, sites d'e-learning gratuits sélectionnés par l'équipe de formateurs de la Maison des Langues.

Formations à l'édition électronique

Fiche ressource Article, événement, site web...
  • Création ou MAJ importante : 02/03/09
  • Correction mineure : 17/08/09
  • Auteur : Maud Ingarao (Institut d'Histoire de la Pensée Classique - ENS Lyon)
Mots-clés

Formations à l'édition électronique

Le CLEO assure régulièrement des formations à l'édition électronique, basées sur les logiciels libres utilisés par les services du CLEO (Lodel, Wordpress).

Ces formations sont offertes à plusieurs niveaux, pour différents publics-cibles (utilisateur, expert...).

OWASP (Open Web Application Security Project) : sécurité Web

Fiche ressource Article, événement, site web...
  • Création ou MAJ importante : 09/02/09
  • Correction mineure : 17/08/09
Mots-clés

OWASP (Open Web Application Security Project) : sécurité Web

Indépendante des fournisseurs et des gouvernements, l'OWASP (Open Web Application Security Project) est une fondation (au sens de l'administration fiscale américaine). Elle comprend quelques 140 chapitres locaux dont le français (une association loi de 1901).
L'objectif principal de l'OWASP est de produire des outils, documents et standards dédiés à la sécurité des applications Web.
Tous les livrables (documentations, logiciels, référentiels) sont fournis sous le modèle du libre.
Une présentation en français du projet OWASP est disponible.
Parmi les nombreux projets soutenus par l'OWASP on peut citer :

  • Guides :
    • Top ten, liste des vulnérabilités les plus rencontrées, traduit en français
    • Guide, un ouvrage pour la création d’applications Web sécurisées à l'intention des développeurs, concepteurs, architectes
    • Testing guide, un ouvrage dédié à l’audit sécurité des applications Web à l’intention de ceux qui effectuent des tests d'intrusion
    • Code review Guide, un ouvrage destiné à la relecture du code
    • CLASP, une méthodologie pour conduire un développement sécurisé
    • Legal, clauses de sécurité à introduire dans les contrats
  • Présentations
  • Outils logiciels :
    • WebScarab, application Java permettant d’effectuer des tests de sécurité sur les applications Web, sur les WebServices
    • AntiSamy, une API pour valider les entrée en évitant les attaques XSS ou par hameçonnage
    • Live CD, un CD autonome contenant un ensemble d'outils de tests de sécurité

Les différentes ressources disponibles sur ce site peuvent être utilisées comme :

  • Références pour les concepteurs et développeurs
  • Supports pour des actions de sensibilisation et formation
  • Aides à la rédaction de clauses de sécurité dans les cahiers des charges d'applications Web

Autres ressources analogues :

Ce site est une vraie mine pour tous ceux qui sont préoccupés par la sécurité des applications Web.

MATHRICE : réseau d'échanges des informaticiens des laboratoires de mathématiques

Fiche ressource Article, événement, site web...
  • Création ou MAJ importante : 18/12/08
  • Correction mineure : 22/03/13

MATHRICE : réseau d'échanges des informaticiens des laboratoires de mathématiques

Le Groupement De Service CNRS (GDS 2754) Mathrice regroupe les informaticiens administrateurs système et réseau des laboratoires de mathématiques du CNRS, des universités et écoles d'ingénieurs françaises. De manière générale, les informaticiens des laboratoires de mathématiques sont aussi "mathriciens". Le réseau a été créé en 2000 et est devenu un GDS en 2004.

Mathrice est à la fois un lieu d'échange et d'entraide pour ces informaticiens et un soutien fort à la recherche mathématique par la mise à la disposition de l'ensemble de la communauté de multiples services (annuaire, jetons, plateforme en ligne (la PLM) ...).

Mathrice est un réseau participant à la fédération des réseaux d'administrateurs systèmes et réseaux RESINFO

MODELIA : Modélisation et Logiciels d’intérêt commun appliqués à l’Agriculture

Fiche ressource Article, événement, site web...
  • Création ou MAJ importante : 05/12/08
  • Correction mineure : 09/11/12

MODELIA : Modélisation et Logiciels d’intérêt commun appliqués à l’Agriculture

Ce site est le site de travail du Réseau Mixte Technologique Modélisation et Logiciels d'intérêt commun appliqués à l'Agriculture. Ce réseau a pour vocation à organiser les échanges autour de la modélisation pour l'agriculture entre la recherche publique, les instituts et centres techniques agricoles et l'enseignement.

Les ressources informatiques du site modelia sont diffusées dans sa rubrique « Ingénierie d’un projet informatique ». Elles concernent la valorisation et le transfert des modèles agronomiques issus de travaux de recherche.

Ces ressources informatiques comprennent des fiches (fiches d'informations, de synthèse, de recommandations…) traitant de thèmes d'ingénierie de projet informatique, génie logiciel, méthodologie de développement, technologies informatiques.

A titre d’illustration, quelques sujets abordés : réutilisation logicielle, qualification logicielle, valorisation, transfert, modélisation, UML, aspects juridiques et licences informatiques, méthodologie et processus de développement, avant-projet, montage de projet, développement logiciel, documentation, choix informatiques, forge, dispositifs d’accompagnement en développement informatique et en valorisation logicielle…

Ces ressources informatiques comprennent également quelques supports de formation.

Syndiquer le contenu