5433 search results - page 834 / 1087 » Tool Support for Traceability-Adaptation |
156
click to vote
SIGADA
2005
Springer
16 years 5 days ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
193
click to vote
UML
2005
Springer
16 years 5 days ago
2005
Springer
Many of today’s software applications require a high-level of security, defined by a detailed policy and attained via mechanisms such as role-based access control (RBAC), mandat...
190
click to vote
UML
2005
Springer
16 years 5 days ago
2005
Springer
This paper is not a technical paper that presents a new modelbased UI technique. It is about a project that revisits modeldriven UI design techniques in the context of business pr...
185
click to vote
AIED
2005
Springer
16 years 5 days ago
2005
Springer
Modern computer games show potential not just for engaging and entertaining users, but also in promoting learning. Game designers employ a range of techniques to promote long-term ...
198
click to vote
ICCBR
2005
Springer
16 years 4 days ago
2005
Springer
Small to medium enterprises require an internal control mechanism in order to monitor their modus operandi and to analyse whether they are achieving their goals. A tool for the dec...