-
3
-
-
66249142797
-
What is MDD/MDA and where it leads the software development in the future?
-
Switzerland, May
-
M. Gaily, What is MDD/MDA and where it leads the software development in the future?,". Department of Informatics at the University of Zurich, Switzerland, May 2007.
-
(2007)
Department of Informatics at the University of Zurich
-
-
Gaily, M.1
-
5
-
-
66249149121
-
UML in a nuttshell: A desktop quick referrence
-
S. S. Alhir, UML in a Nuttshell: A Desktop Quick Referrence". O'Reilly Associates Inc., 1998.
-
(1998)
O'Reilly Associates Inc.
-
-
Alhir, S.S.1
-
6
-
-
50949102921
-
-
Object Management Group. UML: Unified Modeling Language," .ast;http://www.omg.org/gettingstarted/what-is-uml.htm, 2008.
-
(2008)
UML: Unified modeling language
-
-
-
8
-
-
25844519061
-
Transforming software development: An MDA road map
-
DOI 10.1109/MC.2005.316
-
T. O. Meservy and K. D. Fenstermacher, Transforming Software Development: An MDA Road Map," IEEE Computer, vol.38 no. 9, pp.52-58, 2005 (Pubitemid 41387803)
-
(2005)
Computer
, vol.38
, Issue.9
, pp. 52-58
-
-
Meservy, T.O.1
Fenstermacher, K.D.2
-
9
-
-
82255162306
-
Model problems in technologies for interoperability: Model driven architecture
-
May
-
G. A. Lewis and L. Wrage, Model Problems in Technologies for Interoperability: Model Driven Architecture," Software Engineering Institute, Carnegie Mellon University Pittsburgh, PA, Technical Note CMU/SEI-2005-TN-022, May 2005.
-
(2005)
Software Engineering Institute, Carnegie Mellon University Pittsburgh, PA, Technical Note CMU/SEI-2005-TN-022
-
-
Lewis, G.A.1
Wrage, L.2
-
12
-
-
70350535419
-
Understanding model transformation by classification and formalization
-
24th October
-
S. Sendall, R. Hauser, J. Koehler, J. Kuster and M. Wahler, "Understanding Model Transformation by Classification and Formalization," Proc. Of Workshop on Software Transformation Systems, Vancouver, Canada, 24th October 2004.
-
(2004)
Proc. Of Workshop on Software Transformation Systems, Vancouver, Canada
-
-
Sendall, S.1
Hauser, R.2
Koehler, J.3
Kuster, J.4
Wahler, M.5
-
17
-
-
33750239975
-
Model VIII. CONCLUSION transformation by graph transformation: A comparative study
-
G. taentzerl, K. Ehrigl, E. Guerra, J.D. Lara, L. Lengyel, T. Levendovszky, U.Prange, D.Varro and S.V. Gyapay, Model VIII. CONCLUSION Transformation by Graph Transformation: A Comparative Study," Proc. ofInternational Workshop on Model Transformation in Practice, 2005.
-
Proc. of International Workshop on Model Transformation in Practice
-
-
Taentzerl, G.1
Ehrigl, K.2
Guerra, E.3
Lara, J.D.4
Lengyel, L.5
Levendovszky, T.6
Prange, U.7
Varro, D.8
Gyapay, S.V.9
-
20
-
-
0003238687
-
The AGG approach: language and tool environment
-
G. Taentzer, C. Ermel and M. Rudolf, The AGG Approach: Language and Tool Environment," Handbook of Graph Grammars and Computing by Graph Transformation, Applications, Languages and Tools, 1999.
-
(1999)
Handbook of Graph Grammars and Computing by Graph Transformation, Applications, Languages and Tools
-
-
Taentzer, G.1
Ermel, C.2
Rudolf, M.3
-
22
-
-
84943422066
-
Domain model transformations
-
J. Sprinkle, A. Agarwal, T. Lavendovszky, F. Shi and G. Karsai,"Domain Model Transformations," Proc. ofInternational Conference on Engineering of Computer Based Systems, pp.159-168, 2003.
-
(2003)
Proc. of International Conference on Engineering of Computer Based Systems
, pp. 159-168
-
-
Sprinkle, J.1
Agarwal, A.2
Lavendovszky, T.3
Shi, F.4
Karsai, G.5
-
23
-
-
84982914631
-
VIATRA: Visual automated transformations for formal verification and validation of UML models
-
G. Csertan, G. Huszerl, I. Majzik, Z. Pap, A. Pataricza and D. Varro,"VIATRA: Visual Automated Transformations for Formal Verification and Validation of UML Models," Proc. of 1 7th IEEE International Conference on Automated Software engineering, pp.267-270, 2002.
-
Proc. of 1 7th IEEE International Conference on Automated Software engineering
, pp. 267-270
-
-
Csertan, G.1
Huszerl, G.2
Majzik, I.3
Pap, Z.4
Pataricza, A.5
Varro, D.6
-
24
-
-
0242276159
-
CheckVML:A tool for model checking visual model languages
-
A. Schmidt and D. Varro,"CheckVML: A Tool for Model Checking Visual Model Languages," UML, LNCS (2863), pp.92-95,2003
-
(2003)
UML, LNCS
, vol.2863
, pp. 92-95
-
-
Schmidt, A.1
Varro, D.2
-
25
-
-
35048833834
-
Generic and meta transformations for model transformation engineering
-
D.Varro,"Generic and Meta Transformations for Model transformation Engineering," UML, LNCS (3273),pp.290-304, 2004.
-
(2004)
UML, LNCS
, pp. 290-304
-
-
Varro, A.1
-
29
-
-
84948995039
-
A UML based Approach to System Testing
-
L. Briand and Y. Labiche, A UML based Approach to System Testing," UTML, pp.194-208, 2001.
-
(2003)
UML
, pp. 194-208
-
-
Briand, L.1
Labiche, Y.2
-
32
-
-
34547884442
-
-
Object management Group. MDA: Executive Overview," CMU/SEI-2005-TN-022, May 2005. http://www.omg.org/mda/specs.htm, 2005.
-
(2005)
MDA: Executive Overview
-
-
-
34
-
-
66249100315
-
Presentation: MDA at the Age of Seven: Past, Present and Future
-
April
-
J. Bezivin, A. V. Moreno, J. G. Molina and G. Rossi, Presentation: MDA at the Age of Seven: Past, Present and Future," UPGRADE VOL 11, No.2,April 2008
-
(2008)
UPGRADE
, vol.11
, Issue.2
-
-
Bezivin, J.1
Moreno, A.V.2
Molina, J.G.3
Rossi, G.4
|