Sciweavers

2216 search results - page 229 / 444
» Integration of Usability Techniques into the Software Develo...
Sort
View
SERP
2003
15 years 5 months ago
Formal Validation of HCI User Tasks
— Our work focuses on the use of formal techniques in order to increase the quality of HCI software and of all the processes resulting from the development, verification, design...
Yamine Aït Ameur, Mickaël Baron, Patrick...
RE
2005
Springer
15 years 10 months ago
Quality Analysis of NL Requirements: An Industrial Case Study
Nowadays common practice indicates that the Requirement Engineering (RE) process critically influences the success of the system development life cycle. Several commercial tools ...
Antonio Bucchiarone, Stefania Gnesi, P. Pierini
ECMDAFA
2006
Springer
91views Hardware» more  ECMDAFA 2006»
15 years 8 months ago
Using a Model Merging Language for Reconciling Model Versions
A difficult challenge in the industrialisation of Model-Driven Development is managing different versions of models. Different versions may arise at any time during the development...
Klaus-D. Engel, Richard F. Paige, Dimitrios S. Kol...
AICI
2010
15 years 3 months ago
A Cell-Phone Based Brain-Computer Interface for Communication in Daily Life
Moving a brain-computer interface from a laboratory demonstration to real-life applications poses severe challenges to the BCI community. Recently, with advances in the biomedical ...
Yu-Te Wang, Yijun Wang, Tzyy-Ping Jung
CASCON
2001
92views Education» more  CASCON 2001»
15 years 5 months ago
Extending the message flow debugger for MQSI
Integration and management of applications play key roles in today's computing. MQSeries is an asynchronous, assured application-to-application communication protocol designe...
Shuxia Tan, Eshrat Arjomandi, Richard F. Paige, Ev...