 |
HAL UPEC - UPEM Portal |  |
 |
Journal articles
A Scalable Formal Method for Design and Automatic Checking of User Interfaces
Jean Berstel 1
Mail :
Author
Stefano Crespi Reghizzi
Author
Pierluigi San Pietro
Author
Gilles Roussel 1
Mail :
Author IdHAL : gilles-roussel
1
ligm - Laboratoire d'Informatique Gaspard-Monge (Université de Paris-Est Marne-la-Vallée, Cité Descartes, Bâtiment Copernic, 5 bd Descartes, 77454 Marne-la-Vallée Cedex 2 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR8049 (France)
- Fédération de Recherche Bézout (France)
- ESIEE Paris (2 boulevard Blaise Pascal Cité Descartes BP 99 93162 Noisy-le-Grand Cedex - France)
- ENPC - École des Ponts ParisTech (École des Ponts ParisTech 6-8 avenue Blaise-Pascal Cité Descartes 77455 Champs-sur-Marne Marne-la-Vallée cedex 2 - France)
- UPEM - Université Paris-Est Marne-la-Vallée (5 boulevard Descartes - Champs-sur-Marne - 77454 Marne-la-Vallée Cedex 2 - France)
Document type :
Journal articles
Complete list of metadatas
https://hal-upec-upem.archives-ouvertes.fr/hal-00619460
Contributor : Jean Berstel <>
Submitted on : Tuesday, September 6, 2011 - 2:41:03 PM
Last modification on : Wednesday, February 26, 2020 - 7:06:05 PM
Contributor : Jean Berstel <>
Submitted on : Tuesday, September 6, 2011 - 2:41:03 PM
Last modification on : Wednesday, February 26, 2020 - 7:06:05 PM
Identifiers
- HAL Id : hal-00619460, version 1
Citation
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, Association for Computing Machinery, 2004, 14 (2), pp.124-167. ⟨hal-00619460⟩
Metrics
Record views
