Formal specification of user interfaces
Christopher Rouff · ACM SIGCHI Bulletin · 1996
At CHI '95 a workshop was held on the formal specification of user interfaces.Eighteen people attended based on submitted position papers from the United States, Canada, Europe, and New Zealand.Participants had a wide range of backgrounds from academia, industry, and government.This report summarizes the motivation behind the workshop, the interests/research areas of the participants, and the issues that arose in discussions.