A Scalable Formal Method for Design and Automatic Checking of User Interfaces - Archive ouverte HAL Access content directly
Journal Articles ACM Transactions on Software Engineering and Methodology Year : 2004

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

Jean Berstel
  • Function : Author
  • PersonId : 836548
Stefano Crespi Reghizzi
  • Function : Author
Pierluigi San Pietro
  • Function : Author
Gilles Roussel
No file

Dates and versions

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

Identifiers

  • HAL Id : hal-00619460 , version 1

Cite

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⟩
49 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More