Vous êtes ici: Vous êtes sur un site archivé du réseau DevLOG ! » JDEV 2013 » T1.GT2 Quels formalismes pour quoi faire?

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
- Liste des inscrits aux ateliers
- Inscriptions aux ateliers et Groupe de Travail
- desinscriptions
- Exposition
- Liste des inscrits aux groupes de travail
- L'environnement scientifique R : intérêts, retours d'expérience
- Etape 1 : inscription administrative
- Liste des intervenants
- Novotel Massy Palaiseau
- pads
- Liste des parcours individuels
- Liste des participants
- Liste des participants aux ateliers
- Liste des participants aux Groupes de Travail
- Planning
- Propositions de posters acceptées
- Programme Social et Culturel
- T1.A2 Construction des spécifications avec UML
- T1.A1 Construction des spécifications avec la méthode GORE
- T1.A3 Comparaison des méthodes à partir d'UML et de GORE (comparaison des méthodologies utilisées en T1.A1 et T1.A2)
- T1.GT1 Recueil et élicitation des besoins logiciel dans les laboratoires ou les services de développement
- T1.GT2 Quels formalismes pour quoi faire?
- T1 - L'ingénierie des besoins logiciel
- Atelier T2.A1 Promotion d'une communauté
- Atelier T2.A2 Promotion d'une communauté
- Atelier T2.A2 Dissemination des résultats scientifiques et débat
- Atelier T2.A2 Gestion des licences
- T2.GT1 Outillage autour de la gestion des licences
- T2 - Les communautés de développement logiciel - comprendre, faire et savoir faire
- Atelier T3.A2 iOS
- Atelier T3.A3 Comment réaliser un driver Linux
- Atelier T3.A4 Atelier Linux Buildroot/OpenEmbedded/Yocto
- Atelier T3.A5 Système d'acquisition de données-National Instruments
- T3.GT1 Développement sur les systèmes mobiles smartphones et tablettes
- T3.GT2 Retour d'expérience autour des systèmes embarqués
- T3.GT3 Risques et sécurité des systèmes nomades
- T3.GT4 Les outils libres pour la robotique
- T3 - Systèmes embarqués, systèmes mobiles, capteurs et acquisition de données
- Atelier T4.A1 Gérer son workflow de développement avec un DVCS, exemples avec Git et Hg
- Atelier T4.A2 Eclipse et sa galaxie pour gérer les étapes du développement
- Atelier T4.A3 Génération de documentation avec Sphinx
- Atelier T4.A4 Déployer sur le cloud : l'exemple SlipStream
- Atelier T4.A6 L’outil de reconstruction/déploiement Waf
- T4.GT1 Pourquoi, comment et où déposer mon code ?
- T4.GT2 La programmation graphique (du type Labview), forces et faiblesses
- T4.GT3 DevOps, intégration continue et ALM (Application Lifecycle Management)
- T4 - Les outils de construction du logiciel
- Atelier T5.A1 Apprendre un langage impératif en TDD et mode Dojo : Fortran
- Atelier T5.A2 Apprendre un langage à Objets en TDD et mode Dojo : Python
- Atelier T5.A3 Apprendre un langage fonctionnel hybride en TDD et mode Dojo :
- Atelier T5.A4 Posture Agile pour une contribution efficace à un projet existant
- Atelier T5.A5 Développement dirigé par les usages(user stories) (Behavioral driven developpement)
- T5.GT1 Projets Agiles : documentation, modèles et refactoring
- T5.GT2 Lignes de production de logiciels Agiles, où en est-on ?
- T5.GT3 Bilan et perspective d'une décennie agile au travers d'Innovation Games.
- T5.GT4 AntiPatterns de recherche et management de projets Agile.
- T5 - Méthodes agiles
- Atelier T6.A1 Définition et écriture des tests de couverture des exigences logiciel
- Atelier T6.A2 Industrialisation des tests, intégration continue et automatisation des tests
- Atelier T6.A3 Sonar et la dette technique
- Atelier T6.A4 Bien écrire les tests de son composant logiciel
- Atelier T6.A4 Bien écrire les tests de son composant logiciel Java
- Atelier T6.A4 Bien écrire les tests de son composant logiciel Java
- T6.GT1 Cas d'étude et retour d'expérience sur la validation des logiciels scientifiques
- T6.GT2 Explicitation des besoins logiciels
- T6.GT3 Mettez du test dans votre existant
- T6.GT4-5 Spécifications et émergence de la conception par les tests
- T6 - Les tests logiciel pour aller vers plus de pragmatisme
- T7 - Développer pour Calculer
- Calcul parallèle hybride avec OpenMP, MPI et OpenCL
- Python
- Python (niveau débutant)
- Python
- Précision et arithmétique flottante : outils, bibliothèques
- Analyse, mesure et optimisation de la performance
- OpenMOLE : faites tourner votre code indifféremment sur votre ordinateur, un cluster, une grille
- Introduction à Scilab
- Introduction à la session de conférences de la thématique "Développer pour Calculer"
- Les offres de Calcul de France : de son PC aux centres nationaux en passant par les mésocentres
- Visualisation scientifique : concepts, outils, bibliothèques
- Que calcule vraiment un ordinateur ? Arithmétique flottante et précision
- Le Calcul à l'INRA : Spécificités et besoins : quelques exemples de programmes scientifiques adossés au calcul
- Bibliothèques pour le calcul scientifique (retours d'expérience)
- Processeur Xeon-Phi : 1ers retours d'expérience
- L'environnement scientifique R : intérêts, retours d'expérience et évolutions
- T8.A1 Création et utilisation d'application client/serveur avec Java EE
- T8.A2 Terminaux mobiles et web services
- T8.A3 Raisonner avec des ontologies ou programmer le web en Java
- T8.A4 Publication de données scientifiques avec Datalift
- T8.A5 Les possibilités de HTML5
- T8.A6 Le framework Ajax Google Web Toolkit
- T8.GT1 Publication de données sur le web des données: retour d'expériences
- T8.GT2 IHMs sur postes fixes HTML5 et RIA (flash) et mobiles(HTML5 contre webkit): portabilité et plateformes de développement, limitations, avantages et inconvénients
- T8.GT3 Composez vos propres ressources par combinaison de ressources existantes.
- T8.GT4 Le web des données et le déluges de données (big data) -
- T8.GT5 Retour d'expériences sur les frameworks Web
- T8 - Le développement Web: services web et web sémantique
jdev2015
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

jdev2013/t1.gt2.txt · Dernière modification: 2013/08/26 14:22 par laurent.perochon@vetagro-sup.fr