959 search results - page 96 / 192 » On the implementation of automatic differentiation tools |
142
click to vote
MODELS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Model Transformations can be used to bridge the gap between design and analysis technical spaces by creating tools that allow a model produced by a designer to be transfo...
155
click to vote
ICECCS
1996
IEEE
15 years 7 months ago
1996
IEEE
This research is part of a project to develop practical, effective, formalizable, automatable techniques for integration testing. Integration testing is an important part of the t...
118
Voted
ECOOP
2007
Springer
15 years 7 months ago
2007
Springer
Modern integrated development environments, such as ECLIPSE, provide automated or semi-automated refactoring support. Despite this support, refactorings are often done manually --...
132
Voted
ECMDAFA
2009
Springer
15 years 1 months ago
2009
Springer
Textual Syntax (TS) as a form of model representation has made its way to the Model-Driven Software Development community and is considered a viable alternative to graphical repres...
106
Voted
CCS
2004
ACM
15 years 9 months ago
2004
ACM
WS-SecurityPolicy is a declarative configuration language for driving web services security mechanisms. We describe a formal sefor WS-SecurityPolicy, and propose a more abstract ...