2722 search results - page 250 / 545 » The Model Evolution Calculus |
132
Voted
ITCC
2005
IEEE
15 years 9 months ago
2005
IEEE
models evolve at different levels of abstraction, from the requirements specification to development of the source code. The models underlying this process are related and their ...
160
click to vote
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. The Eclipse Graphical Modeling (GMF) Framework provides the major approach for implementing visual languages on top of the Eclipse platform. GMF relies on a family of mod...
118
Voted
DATESO
2008
15 years 5 months ago
2008
Abstract. This paper gives an overview of XML formal models, summarizes database engineering practices, problems and their evolution. We focus on categorical aspects of XML formal ...
148
click to vote
BIRTHDAY
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
133
Voted
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
A simple type confusion attack occurs in a security protocol, when a principal interprets data of one type as data of another. These attacks can be successfully prevented by \taggi...