Titlebook: Design, Specification and Verification of Interactive Systems ’96; Proceedings of the E Francois Bodart,Jean Vanderdonckt Conference procee

單挑

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

是比賽

狗窩

Design, Specification and Verification of Interactive Systems ’96978-3-7091-7491-3Series ISSN 0946-2767

LIKEN

幼稚

https://doi.org/10.1007/978-3-7091-7491-3CSCW; implementation; interactive system; modeling; user interface