Sciweavers

81 search results - page 6 / 17
» The Development of Software Pricing Schemata and Its Applica...
Sort
View
ICAT
2003
IEEE
14 years 18 days ago
3-D Rehabilitation Robot System for Upper Limbs and its Force Display Techniques
Movements of upper limbs are complicated, various and indispensable for daily activities. For patients with impairment of their upper limb, rehabilitation along with medical treat...
Ken'ichi Koyanagi, Yusuke Imada, Junji Furusho, Us...
FAC
2006
122views more  FAC 2006»
13 years 7 months ago
The verified software repository: a step towards the verifying compiler
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
FMICS
2006
Springer
13 years 11 months ago
Model-Based Testing of a WAP Gateway: An Industrial Case-Study
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
Anders Hessel, Paul Pettersson
EUROMICRO
2007
IEEE
14 years 1 months ago
Scope Management of Non-Functional Requirements
Getting business stakeholders’ goals formulated clearly and project scope defined realistically increases the chance of success for any application development process. As a cons...
Mohamad Kassab, Maya Daneva, Olga Ormandjieva
INFSOF
2007
126views more  INFSOF 2007»
13 years 7 months ago
Software maintenance seen as a knowledge management issue
Creating and maintaining software systems is a knowledge intensive task. One needs to have a good understanding of the application domain, the problem to solve and all its require...
Nicolas Anquetil, Káthia Marçal de O...