Projet RNRT EQUAST ; SP2 Spécification incrémentale du système - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport Année : 2004

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

Cyril Proch
  • Fonction : Auteur
  • PersonId : 830402
Proof-oriented development of computer-based systems
Dominique Cansell
  • Fonction : Auteur
  • PersonId : 830170
Proof-oriented development of computer-based systems
Dominique Mery
Proof-oriented development of computer-based systems
CV

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.

Domaines

Autre [cs.OH]

Publications Loria  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00100222

Soumis le : mardi 26 septembre 2006-10:15:43

Dernière modification le : vendredi 24 mars 2023-14:52:48

Fichier non déposé

Dates et versions

inria-00100222 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00100222 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LARA
124 Consultations
0 Téléchargements

Partager

More