1631 search results - page 240 / 327 » Software engineering technology watch |
118
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
120
click to vote
WSC
2007
15 years 6 months ago
2007
Simulation modelers have a diversity of educational backgrounds including several engineering and scientific disciplines, mathematics and computer related fields. Many of the skil...
131
click to vote
HCI
2007
15 years 5 months ago
2007
Abstract. This paper describes the planning and implementation of a crossborder usability test that was to be executed in five European countries. The usability evaluation was desi...
135
click to vote
WICSA
2008
15 years 5 months ago
2008
Evolution is a permanent challenge in product line engineering. Reusable assets such as software components or documents evolve continuously due to new customer requirements or te...
139
click to vote
INTERACT
2003
15 years 5 months ago
2003
: An increasing number of consumer products for everyday use offer the user advanced programming capabilities. Existing technologies offer the potential to design human-product int...