Sciweavers

22 search results - page 3 / 5
» eLSE Methodology: a Systematic Approach to the e-Learning Sy...
Sort
View
KBS
2006
150views more  KBS 2006»
13 years 5 months ago
Platform-based product design and development: A knowledge-intensive support approach
This paper presents a knowledge-intensive support paradigm for platform-based product family design and development. The fundamental issues underlying the product family design an...
Xuan F. Zha, Ram D. Sriram
HF
2002
95views more  HF 2002»
13 years 5 months ago
Formal Verification of Human-Automation Interaction
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
Asaf Degani, Michael Heymann
AMTA
2004
Springer
13 years 11 months ago
Interlingual Annotation for MT Development
MT systems that use only superficial representations, including the current generation of statistical MT systems, have been successful and useful. However, they will experience a p...
Florence Reeder, Bonnie J. Dorr, David Farwell, Ni...
VRST
2000
ACM
13 years 10 months ago
Choosing and using a driving problem for CVE technology development
The need for a real-world driving problem to guide technology development has long been recognised. However, this does not guarantee the identification of requirements for technol...
William L. Mitchell, Daphne Economou, Steve Pettif...
CASCON
2006
118views Education» more  CASCON 2006»
13 years 7 months ago
Ensuring behavioural equivalence in test-driven porting
In this paper we present a test-driven approach to porting code from one object-oriented language to another. We derive an order for the porting of the code, along with a testing ...
Mark Hennessy, James F. Power