en fr Proceedings of the 7th GDR GPL Annual National Conference on Programming and Software Engineering Actes des Septièmes journées nationales du GDR Génie de la Programmation et du Logiciel Report as inadecuate




en fr Proceedings of the 7th GDR GPL Annual National Conference on Programming and Software Engineering Actes des Septièmes journées nationales du GDR Génie de la Programmation et du Logiciel - Download this document for free, or read online. Document in PDF available to download.

1 LaBRI - Laboratoire Bordelais de Recherche en Informatique 2 SPIRALS - Self-adaptation for distributed services and large software systems Inria Lille - Nord Europe, CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189

Résumé : Ce document contient les actes des Septièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel GDR GPL s-étant déroulées au LaBRI à l-Université de Bordeaux du 10 au 12 juin 2015. Les contributions présentées dans ce document ont été sélectionnées par les différents groupes de travail du GDR. Il s-agit de résumés, de nouvelles versions, de posters et de démonstrations qui correspondent à des travaux qui ont déjà été validés par les comités de programmes d-autres conférences et revues et dont les droits appartiennent exclusivement à leurs auteurs.

Mots-clés : vérification ingénierie des exigences processus géniel logiciel empirique validation génie logiciel langage de programmation test preuves modèles compilation





Author: Xavier Blanc - Laurence Duchien -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents