3888 search results - page 35 / 778 » Change-Driven Model Transformations |
128
Voted
CODES
2001
IEEE
15 years 7 months ago
2001
IEEE
Models of computation like Kahn and dataflow process networks provide convenient means for modeling signal processing applicahis is partly due to the abstract primitives that thes...
130
Voted
FCS
2006
15 years 5 months ago
2006
Abstract. Many projects have investigated the issue of storing XML in traditional database systems and exporting data in traditional databases as XML documents. However, they paid ...
144
Voted
SAC
2006
ACM
15 years 3 months ago
2006
ACM
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...
124
Voted
EUROMICRO
1998
IEEE
15 years 8 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
121
click to vote
FLAIRS
2006
15 years 5 months ago
2006
A natural language generation system must generate expressions that allow a reader to identify the entities to which they refer. This paper describes the creation of referring-exp...