278 search results - page 4 / 56 » A Lightweight Approach for the Semantic Validation of Model ... |
ENTCS
2007
13 years 7 months ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...
DLOG
1996
1996
Resolving Semantic Heterogeneity in Databases with a Terminological Model: Correspondence Refinement
13 years 8 months ago
The success of schema integration in multidatabase systems relies heavily on the determination of complete and refined correspondence relationships between them. So, the candidate...
FMCO
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
IFM
2007
Springer
14 years 1 months ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
APSEC
2003
IEEE
13 years 10 months ago
2003
IEEE
This paper investigates data-refinement by backward simulation for specifications whose semantics is given by partial relations. The standard model-theoretic approach is based on ...