Spec -- Technical Report - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Preprints, Working Papers, ... Year : 2012

Spec -- Technical Report

Abstract

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.

Keywords

Fichier principal
Vignette du fichier
SpecTechReport.pdf (661.25 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : hal-00708067 , version 1

Cite

Benjamin van Ryseghem. Spec -- Technical Report. 2012. ⟨hal-00708067⟩
177 View
269 Download

Share

Gmail Facebook X LinkedIn More