2741 search results - page 259 / 549 » Engineering Mathematical Knowledge |
131
Voted
ICSE
1993
IEEE-ACM
15 years 7 months ago
1993
IEEE-ACM
E cient and e ective studying of scienti c papers is an important part of software engineering education. Moreover, it contributes to the knowledge necessary to carry out software...
134
Voted
CIKM
2008
Springer
15 years 5 months ago
2008
Springer
Search engine logs are an emerging new type of data that offers interesting opportunities for data mining. Existing work on mining such data has mostly attempted to discover knowl...
107
Voted
ECLIPSE
2005
ACM
15 years 5 months ago
2005
ACM
In this paper we describe NaCIN, an Eclipse plug-in that records a developer’s code navigation activity and produces sets of elements potentially implementing different concerns...
134
Voted
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
130
Voted
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
Although Web search engines have become information gateways to the Internet, for queries containing technical terms, search results often contain pages that are difficult to be ...