1002 search results - page 90 / 201 » Test-Driven Development of Model Transformations |
FAC
2006
13 years 10 months ago
2006
Hoare and He's unifying theories of programming (UTP) is a model of alphabetised relations expressed as predicates; it supports development in several programming paradigms. T...
DAWAK
2009
Springer
13 years 7 months ago
2009
Springer
Data Warehouses (DW) manage crucial enterprise information used for the decision making process which has to be protected from unauthorized accesses. However, security constraints ...
SEKE
2005
Springer
14 years 3 months ago
2005
Springer
This paper presents a state-based approach to testing aspect-oriented programs. Aspectual state models, as an extension to the testable FREE state model of classes, are exploited ...
ICIP
2000
IEEE
14 years 11 months ago
2000
IEEE
When scanning a page with printing on both sides, the printing on the back-side often shows through in the scan of the front-side because the page is not completely opaque. This p...
ISBI
2002
IEEE
2002
IEEE
Covariance-driven retinal image registration initialized from small sets of landmark correspondences
14 years 10 months ago
An automatic retinal image registration algorithm would be an important tool for detecting visible changes in the retina caused by the progress of a disease or by the impact of a ...