235 search results - page 7 / 47 » An empirical study into class testability |
LICS
2009
IEEE
14 years 4 months ago
2009
IEEE
—We associate a statistical vector to a trace and a geometrical embedding to a Markov Decision Process, based on a distance on words, and study basic Membership and Equivalence p...
SIGSOFT
2007
ACM
14 years 10 months ago
2007
ACM
Design patterns are solutions to recurring design problems, conceived to increase benefits in terms of reuse, code quality and, above all, maintainability and resilience to change...
ASWEC
2008
IEEE
14 years 4 months ago
2008
IEEE
Previous studies of Object-Oriented (OO) software have reported avoidance of the inheritance mechanism and cast doubt on the wisdom of ‘deep’ inheritance levels. From an evolu...
SEKE
2005
Springer
14 years 3 months ago
2005
Springer
Generics (templates) attempt to unify similar program structures to avoid redundancy. How well do generics serve this purpose in practice? We try to answer this question through e...
EMNLP
2010
13 years 7 months ago
2010
Word alignment plays a central role in statistical MT (SMT) since almost all SMT systems extract translation rules from word aligned parallel training data. While most SMT systems...