Title :
Early Specification of User-Interfaces: Toward a Formal Approach
Author :
Jacquot, J.P. ; Quesnot, D.
Author_Institution :
CRIN
Keywords :
Requirement engineering, User-Interfaces, Formal specification; Buildings; Contracts; Design engineering; Formal languages; Formal specifications; Mathematical model; Permission; Prototypes; Specification languages; Visualization;
Conference_Titel :
Software Engineering, 1997., Proceedings of the 1997 International Conference on
Print_ISBN :
0-89791-914-9
DOI :
10.1109/ICSE.1997.610233