单挑
发表于 2025-4-1 05:45:38
Validating Properties of Component-based Graphical User InterfacesL system. The underlying approach uses a single specification for constructing both implementations (prototypes) for experimentation and models for formal reasoning. The formal models allow the designer to verify mechanically specific requirements imposed on the user interface such as those found in
是比赛
发表于 2025-4-1 07:02:29
http://reply.papertrans.cn/27/2689/268826/268826_62.png
狗窝
发表于 2025-4-1 13:40:51
Design, Specification and Verification of Interactive Systems ’96978-3-7091-7491-3Series ISSN 0946-2767
LIKEN
发表于 2025-4-1 18:23:53
http://reply.papertrans.cn/27/2689/268826/268826_64.png
幼稚
发表于 2025-4-1 22:19:19
https://doi.org/10.1007/978-3-7091-7491-3CSCW; implementation; interactive system; modeling; user interface