Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Spec -- Technical Report

Benjamin van Ryseghem 1, *
* Corresponding author
1 RMOD - Analyses and Languages Constructs for Object-Oriented Application Evolution
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
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.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

https://hal.inria.fr/hal-00708067
Contributor : Benjamin van Ryseghem <>
Submitted on : Tuesday, June 19, 2012 - 7:36:10 PM
Last modification on : Thursday, February 21, 2019 - 10:52:50 AM
Long-term archiving on: : Thursday, December 15, 2016 - 2:00:14 PM

File

SpecTechReport.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00708067, version 1

Collections

Citation

Benjamin van Ryseghem. Spec -- Technical Report. 2012. ⟨hal-00708067⟩

Share

Metrics

Record views

389

Files downloads

531