Spec -- Technical Report

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.

Data and Resources

Additional Info

Field Value
Source https://inria.hal.science/hal-00708067
Author van Ryseghem, Benjamin
Maintainer CCSD
Last Updated May 15, 2026, 18:17 (UTC)
Created May 15, 2026, 18:17 (UTC)
Identifier hal-00708067
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor Analyses and Languages Constructs for Object-Oriented Application Evolution (RMOD) ; Laboratoire d'Informatique Fondamentale de Lille (LIFL) ; Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de l'Université de Lille ; Institut National de Recherche en Informatique et en Automatique (Inria)
creator van Ryseghem, Benjamin
date 2012-06-13T00:00:00
harvest_object_id 4ba6b25a-c097-4ce7-b0b6-529478e1edf4
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2025-04-23T00:00:00
set_spec type:UNDEFINED