1613 search results - page 176 / 323 » Model-Driven Constraint Engineering |
142
Voted
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...
161
click to vote
MOMPES
2009
IEEE
15 years 10 months ago
2009
IEEE
For embedded systems quality requirements are equally if not even more important than functional requirements. The foundation for the fulfillment of these quality requirements ha...
130
click to vote
CBSE
2009
Springer
15 years 10 months ago
2009
Springer
To build highly available or reliable applications out of unreliable third-party components, some software-implemented fault-tolerant mechanisms are introduced to gracefully deal w...
124
click to vote
ICSM
2008
IEEE
15 years 10 months ago
2008
IEEE
Test-case prioritization is a typical scenario of regression testing, which plays an important role in software maintenance. With the popularity of Web Services, integrating Web S...
123
click to vote
ICST
2008
IEEE
15 years 10 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...