3921 search results - page 91 / 785 » Transforming Models with ATL |
102
click to vote
CODES
2001
IEEE
15 years 4 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...
FCS
2006
15 years 2 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 ...
118
Voted
SAC
2006
ACM
15 years 15 days 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...
MODELS
2007
Springer
15 years 6 months ago
2007
Springer
The integration of different models, such as scenarios, is an important component of the requirements engineer’s work. If manually performed, the integration operation is error-...
92
Voted
EUROMICRO
1998
IEEE
15 years 4 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...