Art

J-GLOBAL ID：200902177192912716   Reference number：00A0612656

Towards User Interfaces Prototyping from Algebraic Specification.

代数的仕様からユーザインタフェースの試作に向けて

Author (3)： CABRERA M (Univ. Granada, Granada, ESP) ,  TORRES J C (Univ. Granada, Granada, ESP) ,  GEA M (Univ. Granada, Granada, ESP)
Material： Design, Specification and Verification of Interactive Systems '99  (Des Specif Verif Interact Syst 99)
Page： 67-83  Publication year： 1999 
JST Material Number： K20000205  ISSN： 0946-2767  ISBN： 3-211-83405-2  Document type： Proceedings
Country of issue： Austria (AUT)  Language： ENGLISH (EN)

Terms in the title (3)： 代数的仕様 ,  ユーザインタフェース ,  試作