1988 search results - page 157 / 398 » Engineering formal metatheory |
175
click to vote
CONTEXT
2007
Springer
16 years 21 days ago
2007
Springer
Context-aware systems are software systems which adapt their behaviour according to the context of use. The requirements engineering phase is recognized as a primordial step to dev...
189
click to vote
APSEC
2005
IEEE
16 years 5 days ago
2005
IEEE
The design and development of complex software systems is a difficult task, and it is not easy to ensure the quality of a developed software. The paper presents an architectural ...
161
click to vote
CSCWD
2005
Springer
16 years 2 days ago
2005
Springer
GOMS is a well-known model that has been successfully used in predicting the performance of humancomputer interaction, identifying usability problems and improving user-interface ...
143
click to vote
TLCA
2005
Springer
16 years 9 hour ago
2005
Springer
Proof animation is a way of executing proofs to nd errors in the formalization of proofs. It is intended to be \testing in proof engineering". Although the realizability inter...
145
click to vote
IUI
2004
ACM
15 years 12 months ago
2004
ACM
Tools to design, analyse and evaluate user interfaces can be used in user interface design research and in interface modelling research. This demonstration shows two working syste...