ICSE
2009
IEEE-ACM
15 years 20 days ago
2009
IEEE-ACM
ess Preserving Finite State Abstractions Guido de Caso V?ctor Braberman Diego Garbervetsky Sebasti?n Uchitel Departamento de Computaci?n, FCEyN, UBA. Buenos Aires, Argentina Depa...
ICSE
2009
IEEE-ACM
15 years 20 days ago
2009
IEEE-ACM
ng Implementations from Abstraction Functions Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic and Daniel Jackson Computer Science and Artificial In...
ICSE
2009
IEEE-ACM
15 years 20 days ago
2009
IEEE-ACM
Automatic repair of programs has been a longstanding goal in software engineering, yet debugging remains a largely manual process. We introduce a fully automated method for locati...
ICSE
2009
IEEE-ACM
15 years 20 days ago
2009
IEEE-ACM
Research in the fields of software quality and maintainability requires the analysis of large quantities of data, which often originate from open source software projects. Pre-pro...
ICSE
2009
IEEE-ACM
15 years 20 days ago
2009
IEEE-ACM
Parallelizing existing sequential programs to run efficiently on multicores is hard. The Java 5 package java.util.concurrent (j.u.c.) supports writing concurrent programs: much of...
ICSE
2009
IEEE-ACM
15 years 20 days ago
2009
IEEE-ACM
Designers of concurrent programs are faced with many choices of synchronization mechanisms, among which clear functional trade-offs exist. Making synchronization customizable is h...
ICSE
2009
IEEE-ACM
15 years 20 days ago
2009
IEEE-ACM
Software internationalization is often necessary when distributing software applications to different regions around the world. In many cases, developers often do not internationa...
ICSE
2009
IEEE-ACM
15 years 20 days ago
2009
IEEE-ACM
Every bug has a story behind it. The people that discover and resolve it need to coordinate, to get information from documents, tools, or other people, and to navigate through iss...
ICSE
2009
IEEE-ACM
15 years 20 days ago
2009
IEEE-ACM
Goal-oriented methods have increasingly been recognised as an effective means for eliciting, elaborating, analysing and specifying software requirements. A key activity in these a...
ICSE
2009
IEEE-ACM
15 years 20 days ago
2009
IEEE-ACM
We present the results of a three year field study of the software development process choices made by project teams at two leading offshore vendors. In particular, we focus on th...