2984 search results - page 395 / 597 » Method engineering process patterns |
112
Voted
TAICPART
2006
IEEE
15 years 7 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
103
click to vote
ICFEM
2005
Springer
15 years 7 months ago
2005
Springer
The development of Web Services has transformed the World Wide Web into a more application-aware information portal. The various standards ensure that Web Services are interpretabl...
117
click to vote
RE
2005
Springer
15 years 7 months ago
2005
Springer
Interviews with stakeholders can be a useful method for identifying user needs and establishing requirements. However, interviews are also problematic. They are time consuming and...
106
click to vote
ICSM
2002
IEEE
15 years 6 months ago
2002
IEEE
Testing for software security is a lengthy, complex and costly process. Currently, security testing is done using penetration analysis and formal verification of security kernels....
111
Voted
CIKM
2006
Springer
15 years 5 months ago
2006
Springer
This work addresses two common problems in search, frequently occurring with underspecified user queries: the top-ranked results for such queries may not contain documents relevan...