Surface flattening is a crucial problem for many applications as indicated by the steady flow of new methods appearing in related publications. Quality control of these methods, b...
SMT—building flexible yet efficient abstraction/refinement solvers. International Journal on Software Tools for Technology Transfer, 12(1):23–37, February 2010. Wolfgang Hab...
Wolfgang Haberl, Markus Herrmannsdoerfer, Stefan K...
This article compares traditional requirements engineering approaches and agile software development. Our paper analyzes commonalities and differences of both approaches and deter...
A new object sorting device using impulsive manipulation and air floating will be developed. First, two methods for impulsive object sorting are evaluated using computer simulatio...
: We present our refactoring plug-ins for Eclipse’s Ruby Development Tools IDE. Refactoring is a very important technique for every software engineer and a cornerstone of agile s...