1782 search results - page 162 / 357 » Tool Support for Proof Engineering |
166
click to vote
FSEN
2009
Springer
16 years 1 months ago
2009
Springer
The dream of Model Driven Engineering (MDE) is that Software Engineering activities should be performed only on models, but in practice a significant amount of programming is still...
171
click to vote
SIGSOFT
2003
ACM
16 years 7 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 ...
177
click to vote
WEBI
2004
Springer
15 years 11 months ago
2004
Springer
The future success of Grid-enabled e-Science depends on the availability of semantic/knowledge-rich resources on the Grid, i.e., the so-called semantic Grid. This requires not onl...
171
click to vote
CHI
2008
ACM
15 years 8 months ago
2008
ACM
In recent years, the software engineering community has begun to study program navigation and tools to support it. Some of these navigation tools are very useful, but they lack a ...
166
click to vote
ICSM
2006
IEEE
16 years 15 days ago
2006
IEEE
The paper presents a new approach to source code exploration, which is the result of integrating the Google Desktop Search (GDS) engine into the Eclipse development environment. T...