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 Reportar como inadecuado




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 - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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





Autor: Xavier Blanc - Laurence Duchien -

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



DESCARGAR PDF




Documentos relacionados