1782 search results - page 166 / 357 » Tool Support for Proof Engineering |
141
click to vote
KBSE
2006
IEEE
16 years 15 days ago
2006
IEEE
Software has been and is still mostly refactored without tool support. Moreover, as we found in our case studies, programmers tend not to document these changes as refactorings, o...
145
click to vote
WOSP
2000
ACM
15 years 10 months ago
2000
ACM
In this paper, we illustrate a model-based approach to Web server performance evaluation, and present an analytic queueing model of Web servers in distributed environments. Perfor...
147
click to vote
CLEIEJ
2004
15 years 6 months ago
2004
Because of its facilities for the generalization and specialization of concepts and the unambiguous terminology they provide, ontologies are being used for the representation of re...
174
click to vote
IUI
2009
ACM
16 years 1 months ago
2009
ACM
Workflows have emerged as a common tool for scientists to express their computational analyses. While there are a multitude of visual data flow editors for workflow construction, ...
174
click to vote
ICWE
2009
Springer
16 years 1 months ago
2009
Springer
Model-driven engineering is a promising approach, but there are still many hurdles to overcome. The tool UWE4JSF solves the hurdles for the model-driven development of web applicat...