15783 search results - page 3004 / 3157 » Evidence-Based Software Engineering |
127
click to vote
ATVA
2010
Springer
15 years 9 days ago
2010
Springer
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...
152
click to vote
GROUP
2010
ACM
15 years 8 days ago
2010
ACM
Looking for source code on the Web is a common practice among software developers. Previous research has shown that developers use social cues over technical cues to evaluate sour...
124
click to vote
ICCAD
2010
IEEE
15 years 7 days ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
150
Voted
CORR
2011
Springer
14 years 9 months ago
2011
Springer
—The article describes a course on system design (structural approach) which involves the following: issues of systems engineering; structural models; basic technological problem...
159
click to vote
CSCW
2011
ACM
14 years 9 months ago
2011
ACM
The presence of network latency leads to usability problems in distributed groupware applications. Example problems include difficulty synchronizing tightly-coupled collaboration...