659 search results - page 96 / 132 » Using formal models to design user interfaces: a case study |
VLDB
2008
ACM
14 years 8 months ago
2008
ACM
With the development of inexpensive storage devices, space usage is no longer a bottleneck for computer users. However, the increasingly large amount of personal information poses ...
CASES
2011
ACM
12 years 8 months ago
2011
ACM
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
UM
2009
Springer
14 years 3 months ago
2009
Springer
Long term group work by small teams is a central part of many learning and workplace activities. Widespread group support tools such as wikis, version control systems and issue tra...
MTSR
2007
Springer
14 years 2 months ago
2007
Springer
In this paper we identify the requirements for creating formal descriptions of learning scenarios designed under the European Higher Education Area paradigm, using competences and ...
JUCS
2008
13 years 8 months ago
2008
: Currently, many models are used to capture functional software requirements. However, the Software Engineering community has faded interaction requirements into the background, d...