Projet RNRT EQUAST ; SP2 Spécification incrémentale du système

Cyril Proch 1 Dominique Cansell 1 Dominique Mery 1
1 MOSEL - Proof-oriented development of computer-based systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Le document décrit le travail réalisé sur une étude de cas dans le cadre du projet RNRT EQUAST. Le but de ce projet est la réalisation d'un outil de mesure dans le cadre de la Télévision Numérique Terrestre. Le raffinement nous aide à couvrir incrémentalement tout le cahier des charges et à proposer des solutions architecturales intéressantes.
Type de document :
Rapport
[Interne] A04-R-237 || proch04a, 2004
Liste complète des métadonnées

https://hal.inria.fr/inria-00100222
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 10:15:43
Dernière modification le : jeudi 11 janvier 2018 - 06:19:52

Identifiants

  • HAL Id : inria-00100222, version 1

Collections

Citation

Cyril Proch, Dominique Cansell, Dominique Mery. Projet RNRT EQUAST ; SP2 Spécification incrémentale du système. [Interne] A04-R-237 || proch04a, 2004. 〈inria-00100222〉

Partager

Métriques

Consultations de la notice

177