| |
|<
<< Page précédente
1
Page suivante >>
>|
|
documents par page
|
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
|
Tri :
Date de référencement
Editeur
Auteur
Titre
|
Pourquoi créer des nouveaux langages de programmation ?
[Ressource pédagogique]
Date de publication :
20190128 |
Auteur(s) :
Henrio Ludovic |
Editeur(s) :
Inria / Interstices |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
De nouveaux langages de programmation ainsi que des outils permettant de transformer ou d’analyser les programmes émergent chaque année grâce à la recherche dans ce domaine. Qu'est-ce qu'un bon langage ? Et surtout, pourquoi en crée-t-on toujours plus ?...
Référencé le :
16-09-2019
|
|
Mon programme est-il bien protégé contre les cyberattaques ?
[Ressource pédagogique]
Date de publication :
20181213 |
Auteur(s) :
Rezk Tamara |
Editeur(s) :
Institut National de Recherche en Informatique et en Automatique / Interstices |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
Écrire du code sûr et s’assurer que celui-ci satisfait des propriétés de sécurité est nécessaire pour contrer d’éventuelles cyberattaques. Mais ce n’est pas suffisant. Encore faut-il que le programme qui sera exécuté par l’ordinateur soit sûr. Vous avez bien lu : écrire un programme sûr et s’assurer qu’il s’exécute de manière sûre sont deux choses bien distinctes....
Référencé le :
04-09-2019
|
|
MOOC Introduction à HTML5 - Animations et jeux
[Ressource pédagogique]
Date de publication :
20160111 |
Auteur(s) :
PLANTEC Jean-Yves |
Editeur(s) :
Groupe INSA, UNIT |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
Vous avez envie de développer des animations ou des petits jeux pour le web, mais sans trop savoir comment vous y prendre ; vous avez peut-être entendu parler d'HTML5, mais vous n'avez pas de connaissance particulière des langages web. En revanche, vous avez quelques notions d'algorithmique et peut-être que vous programmez déjà un peu. Ce MOOC est pour vous. Mais si vous avez déjà une expérience d...
Référencé le :
11-04-2018
|
|
OCamlPro : promouvoir dans l’industrie un langage de programmation issu de la recherche
[Ressource pédagogique]
Date de publication :
20140206 |
Auteur(s) :
LE FESSANT Fabrice |
Editeur(s) :
INRIA (Institut national de recherche en informatique et automatique) |
Origine de la fiche :
Canal-u.fr
OCaml est un langage de programmation générique, conçu et développé depuis 25 ans à l’Inria. Malgré ses qualités exceptionnelles, il n’a conquis, pendant longtemps, qu’un petit nombre d’industriels.
Pour permettre son utilisation plus large dans l’industrie, j’ai participé à la création d’une société, OCamlPro, dont le but est de fournir les services et les outils, en logiciels libres, dont les e...
Référencé le :
17-06-2015
|
|
Langages de programmation et concurrence, une relation toujours épineuse
[Ressource pédagogique]
Date de publication :
20141002 |
Auteur(s) :
ZAPPA NARDELLI Francesco |
Editeur(s) :
INRIA (Institut national de recherche en informatique et automatique) |
Origine de la fiche :
Canal-u.fr
Nous verrons ensemble pourquoi, fait remarquable et troublant, nous n'avons aucune proposition satisfaisante pour la définition d'un langage généraliste permettant la programmation concurrente en mémoire partagée.
...
Référencé le :
17-03-2015
|
|
|
|
|<
<< Page précédente
1
Page suivante >>
>|
|
documents par page
|
