1005 search results - page 51 / 201 » Patterns for Refinement Automation |
XPU
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. User acceptance testing is finally getting the attention and tool support it deserves. It is imperative that acceptance tests follow the best practices and embody the cri...
COMPSAC
2010
IEEE
13 years 5 months ago
2010
IEEE
We present a pattern-based method to express time specifications in the language TLA+ . A real-time module RealTimeNew is introduced to encapsulate the definitions of commonly used...
CHI
2003
ACM
14 years 8 months ago
2003
ACM
Advanced information retrieval systems providing automated assistance offer the opportunity to greatly enhance the effectiveness of the information retrieval process. One issue in...
SQJ
2010
13 years 6 months ago
2010
One of the main goals of design patterns is to design for change. Many design patterns leave some room for future changes and evolutions. The application of design patterns leads ...
VTC
2007
IEEE
14 years 1 months ago
2007
IEEE
— Dynamic optimization of UMTS systems has been gaining a growing interest by the research community. In this context, the current paper concentrates on dynamic automated tuning ...