Results 1 to 10 of about 3,516,170 (86)

Model transformations in Converge [PDF]

Model transformations are currently the focus of much interest and research due to the OMG’s QVT initiative. Current proposals for model transformation languages can be divided into two main camps: those taking a ‘declarative’ approach, and those opting
Tratt, Laurence, Clark, Tony
core   +9 more sources

Fractional transformations of generalised functions [PDF]

, 2009
A distributional theory of fractional transformations is developed. A constructive approach, based on the eigenfunction expansion method pioneered by A. H.
Lamb, Wilson, Khan, Khaula Naeem, McBride, Adam C.   +2 more
core   +4 more sources

Semigroups of order-decreasing transformations [PDF]

, 2012
Let X be a totally ordered set and consider the semigroups of orderdecreasing (increasing) full (partial, partial one-to-one) transformations of X. In this Thesis the study of order-increasing full (partial, partial one-to-one) transformations has been
Umar, Abdullahi
core   +2 more sources

Model transformations and Tool Integration [PDF]

, 2004
Model transformations are increasingly recognised as being of significant importance to many areas of software development and integration. Recent attention on model transformations has particularly focused on the OMGs Queries/Views/Transformations (QVT)
Laurence Tratt, Tratt, Laurence
core   +1 more source

A Pattern Based Model Driven Approach to Model Transformations [PDF]

The OMG's Model Driven Architecture (MDA) initiative has been the focus of much attention in both academia and industry, due to its promise of more rapid and consistent software development through the increased use of models.
Venkatesh, R., Appukuttan, Biju K., Tratt, Laurence, Clark, Tony, Reddy, Sreedhar   +4 more
core   +9 more sources

Program transformations using temporal logic side conditions [PDF]

, 2009
This paper describes an approach to program optimisation based on transformations, where temporal logic is used to specify side conditions, and strategies are created which expand the repertoire of transformations and provide a suitable level of ...
Richard Warburton, David Lacey, Kalvala, Sara, Sara Kalvala, Lacey, David, Kalvala, S, Warburton, R, Warburton, Richard   +7 more
core   +1 more source

Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions [PDF]

, 2007
We consider the OMG's Queries, Views and Transformations (QVT) standard as applied to the specification of bidirectional transformations between models. We discuss what is meant by bidirectional transformations, and the model-driven development scenarios
Stevens, Perdita
core   +1 more source

Incremental updates for efficient bidirectional transformations [PDF]

, 2011
A bidirectional transformation is a pair of mappings between source and view data objects, one in each direction. When the view is modified, the source is updated accordingly.
Wu, N, Wang, Meng,, Gibbons, J, Nicolas Wu, Wang, M, Gibbons, Jeremy, Wu, Nicolas, Meng Wang, Wang, Meng, Jeremy Gibbons, Gibbons, Jeremy,, Wu, Nicolas,   +11 more
core   +1 more source

Model Transformations in MT [PDF]

, 2007
Model transformations are recognised as a vital aspect of Model Driven Development,but current approaches cover only a small part of the possible spectrum.
Laurence Tratt, Tratt, Laurence, Tratt, L.   +2 more
core   +1 more source

A Test Function Method for Weakly Coupled Systems With Derivative‐Type Nonlinearity

Mathematische Nachrichten, EarlyView.
ABSTRACT We consider a two by two system of inequalities which include fractional powers of the Laplace operator, coupled through a semilinear term of derivative type. We prove the nonexistence of global‐in‐time weak solutions for powers below the critical curve and possibly on the critical curve.
Marcello D'Abbicco, Antonio Lagioia
wiley   +1 more source