Ressource en auto-formation : Comment maîtriser la complexité des logiciels ?

Le logiciel est partout dans notre vie quotidienne et cela n'est pas près de s'arrêter ! Jean-Marc Jézéquel, chercheur en informatique, nous parle des enjeux autour de cet objet mathématique qui envahit le monde réel, dans cet épisode du podcast Interstices....
cours / présentation, démonstration - Création : 26-01-2017
Par : Jean-Marc Jézéquel, Joanna Jongwane
Partagez !

Présentation de: Comment maîtriser la complexité des logiciels ?

Informations pratiques sur cette ressource

Langue du document : Français
Type : cours / présentation, démonstration
Niveau : enseignement supérieur
Langues : Français
Contenu : texte, image, ressource interactive
Public(s) cible(s) : apprenant
Document : Document HTML
Age attendu : 18+
Droits d'auteur : pas libre de droits, gratuit
Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Description de la ressource en auto-formation

Résumé

Le logiciel est partout dans notre vie quotidienne et cela n'est pas près de s'arrêter ! Jean-Marc Jézéquel, chercheur en informatique, nous parle des enjeux autour de cet objet mathématique qui envahit le monde réel, dans cet épisode du podcast Interstices.

  • Granularité : grain
  • Structure : atomique

"Domaine(s)" et indice(s) Dewey

  • (005.1)

Domaine(s)

Informations pédagogiques

    Informations techniques sur cette ressource en auto-formation

      Intervenants, édition et diffusion

      Intervenants

      Créateur(s) de la métadonnée : Marie-Hélène Comte

      Édition

      • Institut National de Recherche en Informatique et en Automatique / Interstices

      Diffusion

      Partagez !

      AUTEUR(S)

      • Jean-Marc Jézéquel
        Université de Rennes 1
      • Joanna Jongwane
        Inria

      DIFFUSION

      Cette ressource en auto-formation vous est proposée par :
      UNIT - accédez au site internet
      Sur les réseaux sociaux :

      ÉDITION

      Institut National de Recherche en Informatique et en Automatique / Interstices

      EN SAVOIR PLUS

      • Identifiant de la fiche
        http://ori.unit-c.fr/uid/unit-ori-wf-1-6711
      • Identifiant OAI-PMH
        oai:www.unit.eu:unit-ori-wf-1-6711
      • Statut de la fiche
        final
      • Schéma de la métadonnée
      • Entrepôt d'origine
        UNIT
      • Publication
        28-02-2017

      Ressources en auto-formation sur les mêmes thèmes

      Présentation de la ressource en auto-formation Comment faire confiance à un compilateur ? (série : Colloquium Jacques Morgenstern) cours / présentation
      11/12/2009
      Comment faire confiance à un compilateur ? (série : Colloquium Jacques Morgenstern)
      Auteur(s) : Leroy Xavier
      Description : 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 ...
      Présentation de la ressource en auto-formation Comment sécuriser notre environnement communicant ? cours / présentation, démonstration
      29/09/2016
      Comment sécuriser notre environnement communicant ?
      Auteur(s) : Delaune Stéphanie, Jongwane Joanna, Beauvillard Ariane
      Description : La sécurité numérique est menacée par des attaques malveillantes de plus en plus pernicieuses. Peut-on réellement sécuriser nos communications ? Stéphanie Delaune apporte des éléments de réponse dans cet épisode du podcast audio.