143
Voted
ICSE
15 years 7 months ago
2010 IEEE-ACM
Many software projects fail because they overlook stakeholders or involve the wrong representatives of significant groups. Unfortunately, existing methods in stakeholder analysis...
111
Voted
ICSE
15 years 7 months ago
2010 IEEE-ACM
We present a Tool Suite which supports the (re-)construction of a behavioral model of a legacy component based on a learning approach by exploiting knowledge of known models of th...
151
click to vote
ICSE
15 years 4 months ago
2010 IEEE-ACM
The feature list of modern IDEs is steadily growing and mastering these tools becomes more and more demanding, especially for novice programmers. Despite their remarkable capabili...
106
Voted
ICSE
15 years 7 months ago
2010 IEEE-ACM
Today’s integrated development environments (IDEs) are hampered by their dependence on files and file-based editing. We propose a novel user interface that is based on collectio...
125
click to vote
ICSE
15 years 4 months ago
2010 IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
|