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
270 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More