620 search results - page 16 / 124 » Concrete Abstractions |
ESOP
2006
Springer
14 years 1 months ago
2006
Springer
Model fields are specification-only fields that encode abstractions of the concrete state of a data structure. They allow specifications to describe the behavior of object-oriented...
ENTCS
2008
13 years 10 months ago
2008
istic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions Michael J. A. Smith1 ,2 Laboratory for Foundations of Computer Science University of Edinb...
ENASE
2010
13 years 4 months ago
2010
Textual models in MDD typically are generated in their concrete syntax using a template based language. On the contrary, graphical models as a generated in abstract syntax and then...
ECMDAFA
2011
Springer
13 years 1 months ago
2011
Springer
Abstract. Model-Driven Engineering (MDE) aims at improving the development of software systems. Within this context textual concrete syntaxes for models are beneficial for many re...
ITEE
2007
13 years 11 months ago
2007
Abstract: Independent from the concrete definition of the term “data quality” consistency always plays a major role. There are two main points when dealing with the data qualit...