Vous êtes ici: Vous êtes sur un site archivé du réseau DevLOG ! » Listes des thématiques » Coq, un assistant de preuve

Index

Voici un index de toutes les pages disponibles, triées par catégorie.

comite
compte-rendu
formation
groupe-de-travail
groupe-de-travail-formation
groupes-de-travail
identity
inframed2017
jdev2013
jdev2015
- inscription
- plenieres
- Affiche des JDEV2015
- Agenda
- Agenda pour le mur d'image
- Appel à poster
- Appel à simulation des JDEV2015
- Ateliers du mardi matin 30 juin 2015
- Les biographies des divers intervenants des JDEVs 2015
- Préparation Visualisations
- Inscriptions JDEV2015
- Jeudi 2 juillet Matin
- Jeudi 2 Juillet Après-midi
- Mercredi 1 Juillet matin
- Mercredi 1 Juillet Après-midi
- Titre
- La programmation Web multi-tier avec Hop.js
- Ingénierie des exigences : les savoirs et savoirs faire fondamentaux.
- La Research Data Alliance (RDA)
- Coq, un assistant de preuve
- Retour d'expérience de l'utilisation de coq chez un industriel
- JavaScript: de la standardisation à la formalisation
- Programmation fonctionnelle
- Devlog
- Les plénières des JDEV2015
- Appel à poster
- Les ressources des JDEV2015 (infrastructure réseau et serveurs)
- Organisateurs, partenaires, sponsors et exposants
- Atelier dédoublé.
- T02.GT06 - Intérêt de la modélisation conceptuelle dans la production de logiciel scientifique
- T1.A01 - Comment utiliser une carte Raspberry PI dans vos projets
- Atelier dédoublé.
- Atelier dédoublé.
- T1.A02 Linux embarqué avec Yocto
- T1.A03 Réaliser un driver sous Linux
- T1.A04 Apprentissage des systèmes embarqués et du contrôle/commande avec NI LabVIEW et NI myRIO
- T1.A05 Modélisation des systèmes embarqués avec SYSML : Mise en pratique
- T1.A06 Développement sous Andoid “Première application”
- Atelier dédoublé.
- Atelier dédoublé.
- T1.A07 Développement sous Apple IOS : “Première application” avec Objective-C
- T1.A08 Arduino “Première application”
- T1.A09 Développement sous Apple IOS : “Première application” avec Swift
- T1.AP01 Système mobile (smartphone, tablette), votre première application sous Android
- T1.GT01 - Android
- T1.GT02 - Théories et technologies des drones
- T1.GT03 REX de projets du monde de la recherche
- T1.GT04 Pour mon projet, j'utilise Raspberry Pi ou Arduino ou autre ?
- T1.GT05 Veille technologique sur la réalité augmentée
- T1.GT06 Réseau de capteurs
- L’alimentation dans les systèmes embarqués sur batterie.
- T1 - Systèmes embarqués, réseaux de capteurs et objets communicants
- T2.A01 Analyse des besoins
- T2.A02 Analyse fonctionnelle avec UML (diagramme des cas d'utilisations et diagramme de séquence système, scénarios)
- T2.A03 - Diagramme d'activités en UML (dynamique intra et inter objets)
- T2.A03 - Diagramme d'activités en UML (dynamique intra et inter objets) / BPMN
- T2.A04 Atelier Sysml
- T2.A07 Modéliser, exécuter et simuler des Statecharts UML et SCXML
- T2.A08 Maximiser l’ exploitation de vos modèles avec Modelio Studio
- T2.A09 Plateforme TTool (UML, SysML) : Sûreté ET sécurité
- T2.A10 Papyrus / Moka : Contrôler un robot à l'aide de modèles exécutables
- T2.A11 - Plateforme Sirius (créer son propre outil de modélisation graphique)
- T2.A12 - Plateforme Openflexo, comment faire l'ingénierie de votre modélisation conceptuelle (IDM)
- T2.A13 - Plateforme MPS (DSL: Créer votre propre langage à l’aide d’un éditeur projectionnel)
- T2.AP02 - Présentation générale d'UML - La modélisation objet et lediagramme de classe UML - Niveau Initiation
- T2.AP03 Initiation au MBSE (Model-Based System Engineering) avec SysML -
- T2.GT01 Modélisation et agilité pendant l'analyse et le développement d'un logiciel?
- T2.GT02 Comment capturer et modéliser les besoins dans un projet de recherche?
- T2.GT03 comment vérifier et valider son développement dans un contexte de recherche
- T2.GT04 Pourquoi et comment créer son DSL pour son domaine scientifique
- T2.GT05 Modéliser, compiler à la place de coder et exécuter
- T02.GT06 - Intérêt de la modélisation conceptuelle dans la production de logiciel scientifique
- T2.GT07 La modélisation et la vraie vie, la modélisation libre
- T2.GT08 : Environnements de modélisation et de simulation intégrés: Illustration avec le projet open-source Keridwen"
- T2 - Modélisation et Ingénierie
- T3.A01 Base de données NoSQL
- Atelier dédoublé.
- T3.A01b Base de données NoSQL graphe : Néo4j
- T3.A02 - Base de données NoSQL - Bis
- Atelier dédoublé.
- Atelier dédoublé.
- T3.A03 - Analyse de données massive pour la recherche de patterns liés aux comportements d'utilisateurs : application à l'analyse de log d'une université
- Atelier dédoublé.
- Atelier dédoublé.
- T3.A05 - R intermédiaire
- T3.A06 - JULIA pour vos calculs scientifiques intensifs
- T3.A07 - Python et les bibliothèques scientifiques
- T3.A08 - Python, apprentissage statistique et analyse de données pour la modélisation prédictive
- Atelier dédoublé.
- Atelier dédoublé.
- T3.A09 - Python et stochastique
- T3.A10 - Traitement des données en parallèle avec Map-Reduce et Spark
- T3.A11 - Prise en main d'elasticsearch et de Kibana
- T3.AP01 - R
- T3.AP02 - Bonne pratique en programmation (Ex avec Python)
- T3.AP03 Initiation à Python
- T3.GT01 Comment savoir si je suis dans un cas de big data?
- T3.GT02 Comment faire parler, analyser mes données? Données structurées et semi-structurées
- T3.GT03 Foire aux bibliothèques thématiques scientifiques python et autres par effet de glue.
- T3.GT04 Développement d'une chaîne de traitement avec python et autres solutions. Mode opératoire par la visualisation déportée (méso-centre)
- T3.GT05 Les différentes méthodes d'optimisation d'un code Python (Cython, Numba, programmation parallèle ou utilisation de GPU avec CUDA).
- T3.GT06 Programmation orientée objet interprétée
- T3.GT07 Intégration de données
- T3.GT08 Comment et pourquoi certifier son centre de données?
- T3.GT09 Comment contribuer à RDA?
- T3.P3
- T3 - Données massives scientifiques (Big data), recherche par les données
- T4.A01
- T4.GT01 Dissémination et projets H2020
- T4.GT02 Les communautés pour faire vivre un code
- T4.GT03 Caractérisation de logiciel (objectif du logiciel, qualité, certification, …) et son cycle de vie
- T4.GT04 La protection des données
- T4.GT05 Choisir sa licence pour son projet de logiciel libre dans le milieu de la recherche
- T4 - Transfert marchand et non marchand
- T5.A01 - Développer et déployer un service sur un Cloud OpenStack
- T5.A02 - Développer et déployer un service sur le Cloud France-Grilles
- T5.A03 - Création d'un service de données
- T5.A04 - Création d'un service de traitement/de calcul WPS
- T5.A05 - Les technologies du Web des Données
- T5.AP01
- T5.GT01 Pourquoi et comment utiliser une grille et ses services de données et/ou de calcul pour mettre en place votre solution logiciel ?
- T5.GT02 - Comment mettre en oeuvre une infrastructure pour ma thématique scientifique ?
- T5.GT03 Comment mettre en oeuvre une infrastructure pour ma thématique scientifique ?
- T5.GT04 pour la mise en place d'infrastructure (IAAS)?
- T5.GT05 Mettez en marche et ouvrez à d'autres disciplines vos communautés scientifiques avec le SOA
- T5.GT06 Les technologies du web des données sont-elles des technologies pour l’interopérabilité? -
- Retour d'expérience sur l'utilisation de services FranceGrilles.
- T5 - Infrastructures et interopérabilité : le cloud et les architectures orientées service (SOA)
- T6.A01 - Une usine logicielle pour industrialiser le développement, l'intégration continue et le déploiement de microservices avec des conteneurs
- Atelier dédoublé.
- Atelier dédoublé.
- T6.A02 - Créer son usine logicielle dans un container sous forme d'un fichier Dockerfile
- Atelier dédoublé.
- Atelier dédoublé.
- T6.A03 - Docker, usine logicielle et intégration continue
- T6.A04 - Puppet et le déployement d'application
- T6.A05 - Vagrant, la création et la configuration des environnements de développement virtuel
- Atelier dédoublé.
- Atelier dédoublé.
- T6.A06 - Anaconda, l'usine logicielle python orientée calcul scientifique
- T6.A07 - Déploiement d'une application avec Spring Boot
- T6.A08 - Orchestration de conteneurs pour l'intégration continue avec Roboconf
- T6.A09 - Docker et orchestration
- Atelier dédoublé.
- Atelier dédoublé.
- T6.AP01 - Virtualisation et configuration de son environnement de développement avec Vagrant
- T6.GT01
- T6.GT02 Conteneurs et outils de production de code (intégration continue, service de gestion de version, …)
- T6.GT03 Comment favoriser l'approche Devops - lien entre les développeurs et les ASRs
- T6.GT04 - Rechercher, sélectionner, adapter et partager une usine logicielle basée avec les conteneurs
- T6.GT05 - Les conteneurs, les clusters de calcul et les méso-centres
- T6.GT06 - Les PAAS et le développement en ligne. Comparatif des PAAS
- T6.GT07 Prologiciels ou développement adhoc. Le monde de la recherche, nécessité des développements techniques et/ou spécifiques. Intérêt et limite des prologiciel (Matlab, R, simulink, …)
- T6.GT08 - Usine logicicelle et réseaux de distribution de contenus
- T6.GT09 - L'hébergement des codes (discussion et illustration avec github)
- T6.GT10 - Applications mobiles sensibles au contexte
- T6.P2
- T6.P3
- T6.P4
- T6.P5
- T6 - Les usines logicielles (Outils/environnements de développement et de déploiement), l'approche DevOps et la virtualisation
- T7.A01 Jquery et base de données
- Atelier dédoublé.
- Atelier dédoublé.
- T7.A02 - GWT (n'est pas mort)
- T7.A03 NodeJS - Développement d'un petit serveur
- T7.A04 AngularJS
- Atelier dédoublé.
- Atelier dédoublé.
- T7.A05 Bootstrap - Site web adaptatif
- Atelier dédoublé.
- Atelier dédoublé.
- T7.A06 ExtJS - Sencha
- Atelier dédoublé.
- Atelier dédoublé.
- T7.A07 Ember
- T7.A08 Développement de Single Page Application avec BackboneJS + Marionette : exemple de connexion cross-domain à une API REST
- T7.A09 Développer des services REST pour mon client
- T7.A10 OpenLayers
- T7.AP01 - Javascript
- T7.AP02 - HTML 5
- T7.AP03 - CSS 3
- T7.AP04 JSON, AJAX, jQuery
- T7.GT01 La foire aux bibliothèques : Javascript et applications scientifiques
- T7.GT02 La foire aux bibliothèques : Rex
- T7.GT03 Javascript et legacy code. Passerelle avec les autres langages
- T7.GT04 Comment fiabiliser son code javascript ?
- T7.GT05 Javascript sur les serveurs et les périphériques
- T7.GT06 Quels intérêts de faire mon client en HTML5, CSS3 et javascript?
- T7.GT07 comment répartir et architecturer mon application. Quel(s) framework(s) pour le RIA?
- T7.GT08 Quel(s) framework(s) choisir pour quelle application avec quel environnement de développement, de test et de déploiement?
- T7.GT09 Sécurité des applications web
- T7 - Javascript (paradigmes et éco-systèmes)
- T8.A01 – YML programmer des applications HPC à l'aide de graphes
- T8.A02 - Programmation GPU moderne. Cuda est-il encore compliqué en 2015 ?
- Atelier dédoublé.
- Atelier dédoublé.
- T8.A03 - Map-Reduce et Spark pour le calcul scientifique
- Atelier dédoublé.
- Atelier dédoublé.
- T8.A04 - C11 pour le calcul scientifique : Threads et atomiques en C11
- T8.A05 - Structuration des données
- Atelier dédoublé.
- Atelier ANNULE.
- T8.A06 - Utiliser Galaxy pour interfacer ses outils en ligne de commande
- T8.GT01 Pré-requis à l'utilisation d'un centre de calcul . ANNULÉ
- T8.GT02 - Portabilité des codes de calcul sur des machines de plus en plus puissantes
- T8.GT03 Validation et vérification de son logiciel scientifique : analyse, développement, exploitation.
- Présentation
- Résumé
- Résumé
- Un service de calcul user-friendly - illustration avec Galaxy
- t8.p5
- Immersion, interaction : quels impacts sur le développement logiciel
- T8 - Logiciels scientifiques et simulation : nouveaux modèles et enjeux
- Appel à visualisations scientifiques des JDEV2015
- Webcast
jdev2017
jdev202
jdev2020
liste-de-discussion
manifestations
membres
nouveauxreseausregionaux
nouveauxreseauxregionaux
playground
réunions-et-comptes-rendus
t6.a2-industrialisation-des-tests-
tmp
travail
wiki
Les premières rencontres RDE-DEVLOG: Biarritz du 25 au 27 Novembre 2013
Visio20140217 pré CLO2015
Atelier Frameworks AJAX
ANF2014 DEVLOG-RBDD : Infractructure de Données Spatiales
Docker
JavaScript
Action NoSQL 2015
AGENDAS
Atelier Framework AJAX (Développement Web)
Nouvelles Menaces Sécurité des Applications Web
L'appel à poster des JDEV2015
Appel à simulation JDEV2015
ANF APSEM2018 : Apprentissage et sémantique
APSEM2019 : éco-systèmes pour la science ouverte et recherche par les données
Ateliers mardi matin
Charte du site web et de la liste de discussion DEVLOG
Cogiter2017: Inframed2017 - Infrastructure pour l'expérimentation en ligne, la science participative/collaborative ou la recherche inter-disciplinaire par les données.
Cogiter2018: sciences cognitives et activité électrique cérébrale
Page de travail du Comité d organisation 1ère rencontre RDE-DEVLOG
Cycle de formation PYTHON - Automne 2014
Comment créer un tutoriel ou cours ou présentation vidéo
génie-logiciel-idm-et-modèle-scientifique
Journée IDM et modèles scientifiques
RECORD, retour d'epérience sur la mise en place une plate-forme de modélisation et de simulation informatique dédiée à l'étude des agro-écosystèmes
Modélisation, composition et simulation de modèles métiers hétérogènes: l'initiative GEMOC
Conception par Ingénierie Dirigé par les Modèles d’un outil pour l’analyse de vulnérabilité dans un contexte de changement climatique
Intérêt des méta-modèles (ou modèles de substitution) pour la résolution d'un problème inverse en télédétection
IDM2014: De la modélisation scientifique à la modélisation de votre code
IDM2014 De la modèlisation scientifique à la mpodélisation de votre code
IDM2015: Modélisation et ingénierie!
L'apport du génie logiciel et de la méta-modélisation pour les modèles scientifiques et mathématiques
ANF2014 DEVLOG-RBDD : Infrastructure de Données Spatialisées
ids2014_co
Page dédiée à la gestion du financement pour les intervenants des journées
Jour J1: Les usages des données géographiques en ligne, état de l'art et rôle des IDS (Lundi 26/05/2014)
Jour J2: Les IDS, des infrastructures normalisées (Mardi 27/05/2014)
Jour J3: Synthèse et perspectives (Mercredi 28/05/2014)
Test réseau
ids2014_test
ids2014_tesths
TP IDS
TP openlayer
IDS2014 TPs IDS
ids2014_tpids_tevennec
TP openlayer
IDS2014 : organisation des TPs
Visio IDS2014 20140306
Visio 20140331
IDS2014: Configuration de votre poste de travail
ims2015
InfraMed - Cogiter 2017
InfraMed2017 / Cogiter 2017
ISS2016 Informations Spatialisées Sémantisées
J1 : Information spatialisée et sémantique. Quelles convergences?
J2 : L'information spatialisée sémantisée
J3 : Système d'information et études de cas
Journée JCJDOMC sur TOULOUSE
Les JDEV
JDEV2011, 1ère édition des Journées nationales du DEVeloppement logiciel, Toulouse, INPT/ENSEEIHT
JDEV 2013
jdev2013poster
Listes des thématiques
JDEV2015orga
JDEV2017
JDEV2019
JDEV2020-2021
Critères d'accueil des JDEVs Version 3c
ATTENTION: Page obsolète.
ATTENTION: Page obsolète.
journee-idm-et-modeles-scientifiques
le-comité-d-organisation
le-comité-de-programme
La liste de discussion de la communauté DevLOG
Référencement de Listes de discussion
Livrets électroniques
Livrest électroniques
NormanDev
Nouveaux Réseaux Régionaux
pico-devlog
Configuration de son ordinateur
Action RdE/DevLOG: Programmation Arduino
La communauté Devlog
Vous êtes sur un site archivé du réseau DevLOG !
Niveau 1
test2
vie-des-réseaux

jdev2015/p.v1.txt · Dernière modification: 2015/05/29 17:27 par elodie.bourrec@irap.omp.eu