79 search results - page 9 / 16 » Using Alloy to model-check visual design notations |
IV
2003
IEEE
14 years 27 days ago
2003
IEEE
In this paper we present a “lightweight” visual formalism that can be used to examine the state space complexity of an interface. The method can form a basis for designing, te...
TAMODIA
2007
13 years 8 months ago
2007
Many model-based approaches for user interface design start from a task model, for which the ConcurTaskTrees notation is frequently used. Despite this popularity and the importance...
APN
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Behaviour specification in object-oriented design clearly benefits from the use of a formal, or semi-formal, visual specification language. This is attested by the ado...
MUM
2009
ACM
14 years 2 months ago
2009
ACM
Customer reviews and recommendations for products are provided by almost all e-business platforms, supporting consumers when shopping on the web. Mobile and ubiquitous computing p...
VL
1997
IEEE
13 years 11 months ago
1997
IEEE
The large number of programming languages in the world is a consequence of the broad spectrum of human preferences for different notational styles and semantic models, which depen...