An Experience Using JASMINUM - Formalization Assisting with the Design of User Interfaces

• Authors:

• L. M. F. Carneiro-Coffin;Donald D. Cowan;Carlos José Pereira de Lucena;D. Smith

• Affiliations:

• -;-;-;-

• Venue:
• ICSE '94 Proceedings of the Workshop on Software Engineering and Human-Computer Interaction
• Year:
• 1994