1698 search results - page 29 / 340 » Model Driven Development of Complex User Interface |
ICSE
1999
IEEE-ACM
14 years 21 days ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
MBUI
2004
13 years 9 months ago
2004
In conventional applications it is easy to find detailed and structured practices that make use of models in order to describe almost every aspect of the user interface. On the ot...
EACL
2006
ACL Anthology
13 years 9 months ago
2006
ACL Anthology
Most question answering (QA) and information retrieval (IR) systems are insensitive to different users' needs and preferences, and also to the existence of multiple, complex ...
UML
2005
Springer
14 years 1 months ago
2005
Springer
A lot of research and work has been done in the past, to develop XML based user-interface definition languages. Also languages to describe graphics and animations were created. In...
IV
2003
IEEE
14 years 1 months 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...