@proceedings{blanc:hal-01169584, TITLE = {{Actes des Septi{\`e}mes journ{\'e}es nationales du GDR G{\'e}nie de la Programmation et du Logiciel}}, AUTHOR = {Blanc, Xavier and Duchien, Laurence}, URL = {https://inria.hal.science/hal-01169584}, BOOKTITLE = {{7eme journ{\'e}es du GDR G{\'e}nie de la Programmation et du Logiciel}}, ADDRESS = {Bordeaux, France}, ORGANIZATION = {{Xavier Blanc, Laurence Duchien}}, YEAR = {2015}, MONTH = Jun, KEYWORDS = {v{\'e}rification ; ing{\'e}nierie des exigences ; processus ; g{\'e}niel logiciel empirique ; validation ; g{\'e}nie logiciel ; langage de programmation ; test ; preuves ; mod{\`e}les ; compilation}, PDF = {https://inria.hal.science/hal-01169584/file/201505_actes-gdr-gpl.pdf}, HAL_ID = {hal-01169584}, HAL_VERSION = {v1}, }