1655 search results - page 230 / 331 » Visual tool for generative programming |
112
click to vote
IWPC
1998
IEEE
15 years 4 months ago
1998
IEEE
In this study, we conducted a survey to generate archetypes of source code searching by programmers across maintenance tasks. Using a questionnaire on a web page, we obtained 69 r...
ITNG
2008
IEEE
15 years 7 months ago
2008
IEEE
A method of using Markov chain techniques for combinatorial test case selection is presented. The method can be used for statistical and coverage testing of many software programs...
110
Voted
CADE
2010
Springer
15 years 1 months ago
2010
Springer
Craig interpolation has become a versatile tool in formal verification, for instance to generate intermediate assertions for safety analysis of programs. Interpolants are typically...
103
Voted
APCHI
1998
IEEE
15 years 4 months ago
1998
IEEE
This paper describes a method for manipulating a threedimensional object without considering conventional three independent orthogonal views. We apply the direct manipulation to o...
93
Voted
EUPROJECTS
2006
Springer
15 years 4 months ago
2006
Springer
This paper examines problems persons with deafblindness have when using computers and it analyses how we can approach these problems in the redesign of a communication tool. A qual...