A Scalable Formal Method for Design and Automatic Checking of User Interfaces - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue ACM Transactions on Software Engineering and Methodology Année : 2004

A Scalable Formal Method for Design and Automatic Checking of User Interfaces

Jean Berstel
  • Fonction : Auteur
  • PersonId : 836548
Laboratoire d'Informatique Gaspard-Monge
Stefano Crespi Reghizzi
  • Fonction : Auteur
Pierluigi San Pietro
  • Fonction : Auteur
Gilles Roussel
Laboratoire d'Informatique Gaspard-Monge
CV

Domaines

Algorithme et structure de données [cs.DS]

Jean Berstel  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00619460

Soumis le : mardi 6 septembre 2011-14:41:03

Dernière modification le : jeudi 28 mars 2024-03:26:58

Fichier non déposé

Dates et versions

hal-00619460 , version 1 (06-09-2011)

Identifiants

  • HAL Id : hal-00619460 , version 1

Citer

Jean Berstel, Stefano Crespi Reghizzi, Pierluigi San Pietro, Gilles Roussel. A Scalable Formal Method for Design and Automatic Checking of User Interfaces. ACM Transactions on Software Engineering and Methodology, 2004, 14 (2), pp.124-167. ⟨hal-00619460⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENPC CNRS UNIV-MLV LIGM_ALGO PARISTECH LIGM UNIV-EIFFEL JSE2024
52 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More