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