Spec -- Technical Report - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2012

Spec -- Technical Report

Résumé

This paper introduces the bases of Spec in two parts: (1) an example of implementation, reuse , and specialization of sub widgets, (2) the public API of the basic widgets.
Ce papier présente les bases de Spec en deux parties: (1) un exemple d'implémentation, de réutilisation et de spécialisation de sous widgets, (2) l'API publique des widgets basiques.

Mots clés

Fichier principal
Vignette du fichier
SpecTechReport.pdf (661.25 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00708067 , version 1 (19-06-2012)

Identifiants

  • HAL Id : hal-00708067 , version 1

Citer

Benjamin van Ryseghem. Spec -- Technical Report. 2012. ⟨hal-00708067⟩
177 Consultations
268 Téléchargements

Partager

Gmail Facebook X LinkedIn More