3801 search results - page 305 / 761 » An Approach to Modeling Software Safety |
168
click to vote
AVI
2010
15 years 8 months ago
2010
Computational Scientists are both creators and end-users of scientific models. Different aspects to their work target different audiences and generally require different developme...
154
click to vote
ADBIS
2001
Springer
15 years 11 months ago
2001
Springer
One potential problem of active database applications is the non-termination of rules. Although algorithms have been proposed to detect non-termination, almost all provide a conser...
160
click to vote
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
141
click to vote
XPU
2009
Springer
16 years 1 months ago
2009
Springer
In the last two decades several models for evaluating software process capability have been defined and became more and more popular. The application of such models, and in particu...
180
click to vote
MOMPES
2008
IEEE
16 years 1 months ago
2008
IEEE
Model-driven engineering (MDE) addresses platform complexity issues by abstracting platformindependent models for subsequent transformation to platform-specific models. This faci...