3657 search results - page 46 / 732 » A Study of Practical Deduplication |
CSEE
2003
Springer
14 years 3 months ago
2003
Springer
In today’s software industry a software engineer is not only expected to successfully cope with technical challenges, but also to deal with non-technical issues arising from diï...
CAISE
2007
Springer
14 years 2 months ago
2007
Springer
The use of requirements traceability for information systems development (ISD) projects is not very common in practice despite its often mentioned advantages in the literature. We ...
ECOOPWEXCEPTION
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Exception specifications can aid in the tasks of writing correct exception handlers and understanding exceptional control flow, but current exception specification system...
FLOPS
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. We present a practical tool for defining and proving properties of recursive functions in the Coq proof assistant. The tool generates from pseudo-code the graph of the in...
BPM
2008
Springer
14 years 3 days ago
2008
Springer
We present a field study of oncology workflow, involving doctors, nurses and pharmacists at Danish hospitals and discuss the obstacles, enablers and challenges for the use of compu...