135 search results - page 16 / 27 » Refactoring Tools and Complementary Techniques |
FASE
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Bounded-exhaustive testing is an automated testing methodology that checks the code under test for all inputs within given bounds: first the user describes a set of test...
CC
2005
Springer
15 years 3 months ago
2005
Springer
In this paper, we present a formal description of data slicing, which is a type-directed program transformation technique that separates a program’s heap into several independent...
ISSTA
2004
ACM
15 years 2 months ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...
CHI
2003
ACM
15 years 9 months ago
2003
ACM
Using role play at every stage of the design process has been a vital tool for IDEO in working with clients and users. With the dual properties of bringing participants into the m...
AGTIVE
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Business-driven development is a methodology for developing IT solutions that directly satisfy business requirements. At its core are business processes, which are usuall...