-
2
-
-
0037587555
-
Cadcna: An integrated development, analysis, and verification environment for component-based systems
-
Portland, OR, May
-
Hatcliff J, Deng W, Dwyer M, Jung G, Ranganath VP. Cadcna: An integrated development, analysis, and verification environment for component-based systems. International Conference on Software Engineering, Portland, OR, May 2003; 160-173.
-
(2003)
International Conference on Software Engineering
, pp. 160-173
-
-
Hatcliff, J.1
Deng, W.2
Dwyer, M.3
Jung, G.4
Ranganath, V.P.5
-
3
-
-
33646166326
-
Replicators: Transformations to address model scalability
-
Model-Driven Engineering Languages and Systems (MoDELS, Montego Bay, Jamaica , Springer: Berlin, October
-
Gray J, Lin Y, Zhang J, Nordstrom S, Gokhale A, Neema S, Gokhale S. Replicators: Transformations to address model scalability. Model-Driven Engineering Languages and Systems (MoDELS), Montego Bay, Jamaica (Lecture Notes in Computer Science, vol. 3713). Springer: Berlin, October 2005; 295-308.
-
(2005)
Lecture Notes in Computer Science
, vol.3713
, pp. 295-308
-
-
Gray, J.1
Lin, Y.2
Zhang, J.3
Nordstrom, S.4
Gokhale, A.5
Neema, S.6
Gokhale, S.7
-
5
-
-
15844405487
-
Instant and incremental transformation of models
-
Linz, Austria, September
-
Johann S, Egyed A. Instant and incremental transformation of models. Automated Software Engineering, Linz, Austria, September 2004; 362-365.
-
(2004)
Automated Software Engineering
, pp. 362-365
-
-
Johann, S.1
Egyed, A.2
-
6
-
-
85123137574
-
Domain-specific modeling
-
Fishwick P ed, CRC Press: Boca Raton
-
Gray J, Tolvanen JP, Kelly S, Gokhale A, Neema S, Sprinkle J. Domain-specific modeling. CRC Handbook on Dynamic System Modeling, Fishwick P (ed.). CRC Press: Boca Raton, 2007.
-
(2007)
CRC Handbook on Dynamic System Modeling
-
-
Gray, J.1
Tolvanen, J.P.2
Kelly, S.3
Gokhale, A.4
Neema, S.5
Sprinkle, J.6
-
7
-
-
33646172977
-
Towards UML2 extensions for compact modeling of regular complex topologies
-
Model-Driven Engineering Languages and Systems (MoDELS, Montego Bay, Jamaica , Springer: Berlin, October
-
Cuccuru A, Dekeyser JL, Marquet P, Boulet P. Towards UML2 extensions for compact modeling of regular complex topologies. Model-Driven Engineering Languages and Systems (MoDELS), Montego Bay, Jamaica (Lecture Notes in Computer Science, vol. 3713). Springer: Berlin, October 2005; 445-459.
-
(2005)
Lecture Notes in Computer Science
, vol.3713
, pp. 445-459
-
-
Cuccuru, A.1
Dekeyser, J.L.2
Marquet, P.3
Boulet, P.4
-
9
-
-
85008018482
-
Model-integrated computing
-
Sztipanovits J, Karsai G. Model-integrated computing. IEEE Computer 1997; 30(4):10-12.
-
(1997)
IEEE Computer
, vol.30
, Issue.4
, pp. 10-12
-
-
Sztipanovits, J.1
Karsai, G.2
-
10
-
-
30544442863
-
-
1 December 2006
-
Generic Modeling Environment: http://escher.isis.vanderbilit.edu/tools/ get.tool7GME [1 December 2006].
-
Generic Modeling Environment
-
-
-
11
-
-
0035500228
-
Composing domain-specific design environments
-
Lédeczi Á, Bakay A, Maroti M, Volgyesi P, Nordstrom G, Sprinkle J, Karsai G. Composing domain-specific design environments. IEEE Computer 2001; 34(11):44-51.
-
(2001)
IEEE Computer
, vol.34
, Issue.11
, pp. 44-51
-
-
Lédeczi, A.1
Bakay, A.2
Maroti, M.3
Volgyesi, P.4
Nordstrom, G.5
Sprinkle, J.6
Karsai, G.7
-
12
-
-
55649107226
-
-
C-SAW, 1 September 2003
-
Constraint-Specific Aspect Weaver (C-SAW): http://www.cis.uab.edu/gray/ research/c-saw/ [1 September 2003].
-
Constraint-Specific Aspect Weaver
-
-
-
13
-
-
0012736401
-
Handling crosscutting constraints in domain-specific modeling
-
Gray J, Bapty T, Neema S, Tuck J. Handling crosscutting constraints in domain-specific modeling. Communications of the ACM 2001; 44(10):87-93.
-
(2001)
Communications of the ACM
, vol.44
, Issue.10
, pp. 87-93
-
-
Gray, J.1
Bapty, T.2
Neema, S.3
Tuck, J.4
-
15
-
-
28344453434
-
Systems integration of large-scale autonomie systems using multiple domain specific modeling languages
-
Greenbelt, MD, April
-
Shetty S, Nordstrom S, Ahuja S, Yao D, Bapty T, Neema S. Systems integration of large-scale autonomie systems using multiple domain specific modeling languages. Engineering of Autonomic Systems, Greenbelt, MD, April 2005; 481-489.
-
(2005)
Engineering of Autonomic Systems
, pp. 481-489
-
-
Shetty, S.1
Nordstrom, S.2
Ahuja, S.3
Yao, D.4
Bapty, T.5
Neema, S.6
-
16
-
-
0003268981
-
Stochastic reward nets for reliability prediction
-
Muppala J, Ciardo G, Trivedi K. Stochastic reward nets for reliability prediction. Communications in Reliability, Maintainability and Serviceability 1994; 1(2):9-20.
-
(1994)
Communications in Reliability, Maintainability and Serviceability
, vol.1
, Issue.2
, pp. 9-20
-
-
Muppala, J.1
Ciardo, G.2
Trivedi, K.3
-
18
-
-
0003652825
-
Modelling with Generalized Stochastic Petri Nets
-
Wiley: New York
-
Marsan MA, Balbo G, Conte G, Donatelli S, Franceschinis G. Modelling with Generalized Stochastic Petri Nets (Wiley Series in Parallel Computing). Wiley: New York, 1995.
-
(1995)
Wiley Series in Parallel Computing
-
-
Marsan, M.A.1
Balbo, G.2
Conte, G.3
Donatelli, S.4
Franceschinis, G.5
-
19
-
-
25944471644
-
Performability analysis of Markov reward models with rate and impulse reward
-
Zaragoza, Spain, September
-
Rácz. S, Telek M. Performability analysis of Markov reward models with rate and impulse reward. International Conference on Numerical Solution of Markov Chains, Zaragoza, Spain, September 1999; 169-180.
-
(1999)
International Conference on Numerical Solution of Markov Chains
, pp. 169-180
-
-
Rácz, S.1
Telek, M.2
-
20
-
-
33847126267
-
Model-driven generative techniques for scalable performability analysis of distributed systems
-
Rhodes Island, Greece, April
-
Kogekar A, Kaul D, Gokhale A, Vandal P, Praphamontripong U, Gokhale S, Zhang J, Lin Y, Gray J. Model-driven generative techniques for scalable performability analysis of distributed systems. IPDPS Workshop on Next Generation Systems, Rhodes Island, Greece, April 2006.
-
(2006)
IPDPS Workshop on Next Generation Systems
-
-
Kogekar, A.1
Kaul, D.2
Gokhale, A.3
Vandal, P.4
Praphamontripong, U.5
Gokhale, S.6
Zhang, J.7
Lin, Y.8
Gray, J.9
-
21
-
-
33745672466
-
Performance analysis with the SPT profile
-
Gerard S, Babeau JP, Champeau J eds, Hermes Science Publishing Ltd, London, England
-
Petriu D, Zhang J, Gu G, Shen H. Performance analysis with the SPT profile. Model-Driven Engineering for Distributed and Embedded Systems, Gerard S, Babeau JP, Champeau J (eds.). Hermes Science Publishing Ltd.: London, England, 2005; 205-224.
-
(2005)
Model-Driven Engineering for Distributed and Embedded Systems
, pp. 205-224
-
-
Petriu, D.1
Zhang, J.2
Gu, G.3
Shen, H.4
-
23
-
-
0036530201
-
Automatic model transformations using extended UML object diagrams in modeling environments
-
Milicev D. Automatic model transformations using extended UML object diagrams in modeling environments. IEEE Transactions on Software Engineering 2002; 28(4):413-431.
-
(2002)
IEEE Transactions on Software Engineering
, vol.28
, Issue.4
, pp. 413-431
-
-
Milicev, D.1
-
24
-
-
33748289548
-
Feature-based survey of model transformation approaches
-
Czarnccki K, Helsen S. Feature-based survey of model transformation approaches. IBM Systems Journal 2006; 45(3): 621-646.
-
(2006)
IBM Systems Journal
, vol.45
, Issue.3
, pp. 621-646
-
-
Czarnccki, K.1
Helsen, S.2
-
25
-
-
55649115063
-
-
Mens T, Gorp PV. A taxonomy of model transformation. International Workshop on Graph and Model Transformation, Tallinn, Estonia, September 2005. Available at: http://tfs.cs.tu-berlin.de/gramot/FinalVersions/PDF/ MensVanGorp.pdf [20 February 2006].
-
Mens T, Gorp PV. A taxonomy of model transformation. International Workshop on Graph and Model Transformation, Tallinn, Estonia, September 2005. Available at: http://tfs.cs.tu-berlin.de/gramot/FinalVersions/PDF/ MensVanGorp.pdf [20 February 2006].
-
-
-
-
27
-
-
55649088431
-
-
25 January 2004
-
The FUJABA Toolsuite. http://www.fujaba.com [25 January 2004].
-
The FUJABA Toolsuite
-
-
-
28
-
-
84911928640
-
On the need for megamodels
-
Vancouver, BC, October
-
Bézivin J, Jouault F, Valduriez P. On the need for megamodels. OOPSLA Workshop on Best Practices for Model-Driven Software Development, Vancouver, BC, October 2004.
-
(2004)
OOPSLA Workshop on Best Practices for Model-Driven Software Development
-
-
Bézivin, J.1
Jouault, F.2
Valduriez, P.3
-
30
-
-
84892354452
-
A framework for testing model transformations
-
Beydeda S, Book M, Gruhn V eds, Springer: Berlin
-
Lin Y, Zhang J, Gray J. A framework for testing model transformations. Model-driven Software Development, vol. 10. Beydeda S, Book M, Gruhn V (eds.). Springer: Berlin, 2005; 219-236.
-
(2005)
Model-driven Software Development
, vol.10
, pp. 219-236
-
-
Lin, Y.1
Zhang, J.2
Gray, J.3
|