Sciweavers

3837 search results - page 422 / 768
» Concurrent Engineering support in Software Engineering
Sort
View
IWPC
2009
IEEE
15 years 11 months ago
A bug you like: A framework for automated assignment of bugs
Assigning bug reports to individual developers is typically a manual, time-consuming, and tedious task. In this paper, we present a framework for automated assignment of bug-fixi...
Olga Baysal, Michael W. Godfrey, Robin Cohen
XPU
2009
Springer
15 years 11 months ago
FitClipse: A Tool for Executable Acceptance Test Driven Development
FitClipse is an Eclipse plug-in for facilitating Executable Acceptance Test Driven Development. The tool allows the users to edit acceptance tests, automatically generate fixtures,...
Shahedul Huq Khandkar, Shelly Park, Yaser Ghanam, ...
ICFEM
2009
Springer
15 years 11 months ago
A Lazy Unbounded Model Checker for Event-B
Formal specification languages are traditionally supported by theorem provers, but recently model checkers have proven to be useful tools. In this paper we present Eboc, an explic...
Paulo J. Matos, Bernd Fischer, João P. Marq...
131
Voted
ICSR
2009
Springer
15 years 11 months ago
Introducing Motivations in Design Pattern Representation
Abstract. Design pattern formalization is aimed at encouraging the use of design patterns during the design phase. Many approaches focuses on providing solutions with a graphical n...
Luca Sabatucci, Massimo Cossentino, Angelo Susi
RE
2009
Springer
15 years 11 months ago
Intellectual Property Rights Requirements for Heterogeneously-Licensed Systems
Heterogeneously-licensed systems pose new challenges to analysts and system architects. Appropriate intellectual property rights must be available for the installed system, but wi...
Thomas A. Alspaugh, Hazeline U. Asuncion, Walt Sca...