539 search results - page 70 / 108 » The Semantic Gap of Formalized Meaning |
FMCAD
2009
Springer
15 years 3 months ago
2009
Springer
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...
ZUM
2000
Springer
15 years 3 months ago
2000
Springer
: Retrenchment is introduced as a liberalisation of refinement intended to address some of the shortcomings of refinement as sole means of progressing from simple abstract models t...
I3
2007
15 years 1 months ago
2007
Referent tracking (RT) is a new paradigm, based on unique identification, for representing and keeping track of particulars. It was first introduced to support the entry and retri...
111
click to vote
DAGSTUHL
2004
15 years 1 months ago
2004
Abstract. Model transformations are an integral part of OMG's standard for Model Driven Architecture (MDA). Model transformations should at the best allow for a seamless trans...
ENTCS
2006
14 years 12 months ago
2006
With the growing importance of model-driven development, the ability of transforming models into well-defined semantic domains becomes a key to automated code generation or verifi...