5525 search results - page 692 / 1105 » Verification of Model Transformations |
182
click to vote
WECWIS
2006
IEEE
16 years 29 days ago
2006
IEEE
Today’s business climate requires organizations to constantly evolve IT strategies to respond to new opportunities or threats. Tracking the achievement of business goals, object...
171
click to vote
ADAEUROPE
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
172
click to vote
ECMDAFA
2005
Springer
16 years 15 days ago
2005
Springer
The application of MDA to Web services has recently received considerable attention. Similar to UML diagrams, Web services are specialised languages each one targeting a specific a...
197
click to vote
ICCBSS
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. The integration of COTS components into a system under development entails architectural mismatches. These have been tackled, so far, at the component level, through comp...
178
click to vote
CAISE
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. This paper describes the AutoMed repository and some associated tools, which provide the first implementation of the both as view (BAV) approach to data integration. Apa...