Model-driven software development

Model-Driven Software Development

Volumn , Issue , 2005, Pages 1-464

  Beydeda, Sami ^a   Book, Matthias ^b   Gruhn, Volker ^b  

^a Bundesamt für Finanzen Federal Finance Office   (Germany)

^b UNIVERSITY OF LEIPZIG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84892265923     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/3-540-28554-7     Document Type: Book

References (476)

1. The Murphi Model Checker. http://verify.stanford.edu/dill/murphi.html.
2. openmdx. www.openmdx.org.
3. Extensible Markup Language (XML) (Second Edition). www.w3c.org/XML, October 2000.
4. AspectC++. http://www.aspectc.org/January 2005.
5. Sherif Abdelwahed, Sandeep Neema, Joseph Loyall, and Richard Shapiro. Multi-level online hybrid control design for QoS management. In Proceedings of the 24th IEEE International Real-time Systems Symposium (RTSS 2003), Cancun, Mexico, December 2003.
6. M. Abi-Antoun, J. Ho, and J. Kwan. Inter-Library Loan Management System: Revised Life-Cycle Architecture. Center for Software Engineering, University of Southern California, Los Angeles, CA, USA, 1999.
7. Lockheed Martin Aeronautics. Lockheed Martin (MDA Success Story). www.omg.org/mda/mda-files/LockheedMartin.pdf, January 2003.
8. Aditya Agrawal, Gabor Karsai, and Akos Ledeczi. An end-to-end domain-driven software development framework. In 18th Annual ACM SIGPLAN Conference on Object- Oriented Programming, Systems, Languages, and Applications (OOPSLA) - Domaindriven Track, pages 8-15, Anaheim, California, USA, October 2003.
9. K. Ahmed. Developing Enterprise Java Applications with J2EE and UML. Addison- Wesley, 2001.
10. A.V. Aho, R. Sethi, and J.D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading, MA, 1988.
11. D. Akehurst and S. Kent. A relational approach to defining transformations in a metamodel. In Proc. UML 2002 - The Unified Modeling Language Model Engineering, Languages, Concepts, and Tools 5th International Conference, Dresden, Germany, volume 2460 of LNCS. Springer, Berlin Heidelberg New York, 2002.
12. M. Alanen, J. Lilius, I. Pores, and D. Truscan. Model driven engineering: A position paper. In Proceedings of the 1st International Workshop on Model-based Methodologies for Pervasive and Embedded Software, Hamilton (Ontario), Canada 2004.
13. Marcus Alanen and Ivan Porres. Difference and union of models. In Proceedings of the UML 2003 Conference, San Francisco, CA, volume 2863 of LNCS, pages 2-17. Springer, Berlin Heidelberg New York, October 2003.
14. R.A. Altmann, A.N. Hawke, and C.D. Marlin. An integrated programming environment based on multiple concurrent views. Australian Computer Journal, 20:65-72, 1988.
15. Deepak Alur, John Crupi, and Dan Malks. J2EE Patterns. Prentice Hall, Englemovel cliffs, NJ.
16. S. Alvarado. An evaluation of object oriented architecture models for satellite ground systems. In Proceedings of the 2nd Ground Systems Architecture Workshop (GSAW), El Segundo, CA. 1998.
17. Matjaz Dolenc Ana Robnik and Milenko Alcin. Industrial experience using SDL in IskraTEL. In Rolv Brak and Amardeo Sarma, editors, Proceedings of Seventh SDL Forum, Amsterdam, 1995. Elsevier Science.
18. AndroMDA: MDA Framework. http://www.andromda.org/, December 2004.
19. P. Andre, A. Romanczuk, and J.-C. Royer. Check the consistency of uml class diagrams using larch prover. In T. Clark, editor, Proc. of 3rd Rigorous Object-Oriented Methods Workshop. BCS, Swindor, UK, 2000.
20. Dave Astels. Refactoring with uml. In Proceedings of 3rd International Conference on eXtreme Programming and Flexible Processes in Software Engineering (XP2002), pages 67-70, Alghero, Sardinia, Italy, 2002.
21. E. Astesiano and G. Reggio. An attempt at analysing the consistency problems in the uml from a classical algebraic viewpoint. In Recent Trends in Algebraic Development Techniques, 16th International Workshop WADT'02, volume 2755 of LNCS, pages 56-81. Springer, Berlin Heidelberg New York, 2003.
22. Colin Atkinson and Thomas Kuhne. Aspect-oriented development with stratified frameworks. IEEE Software, 20(1):81-89, 2003.
23. A. Avizienis, J. Laprie, and B. Randell. Fundamental concepts of dependability. Technical report, University of Newcastle, 2001.
24. R. Back, D. Bjorklund, J. Lilius, L. Milovanov, and I. Porres. A workbench to experiment with new model driven engineering applications. In UML 2003, volume 2863 of LNCS. Springer, Berlin Heidelberg New York, 2003.
25. Krishnakumar Balasubramanian, Jaiganesh Balasubramanian, Jeff Parsons, Aniruddha Gokhale, and Douglas C. Schmidt. A platform-independent component modeling language for distributed real-time and embedded systems. In Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium, San Francisco, CA, USA March 2005.
26. Paolo Baldan and Barbara Konig. Approximating the behaviour of graph transformation systems. In Andrea Corradini, Hartmut Ehrig, Hans-Jorg Kreowski, and Grzegorz Rozenberg, editors, Proceedings ICGT 2002: First International Conference on Graph Transformation, volume 2505 of LNCS, pages 14-29, Barcelona, Spain, 2002. Springer, Berlin Heidelberg New York.
27. R. Balzer, T.E. Cheatham, and C. Green. Software technology in the 1990's: Using a new paradigm. IEEE Computer, pages 39-45, November 1983.
28. F. Barbier, B. Henderson-Sellers, A. Le Parc, and J.-M. Bruel. Formalization of the whole-part relationship in the unified modeling language. IEEE Transaction on Software Engineering, 29(5):459-470, 2003.
29. Luciano Baresi and Reiko Heckel. Tutorial introduction to graph transformation: A software engineering perspective. In International Conference on Graph Transformation, ICGT, LNCS, volume 2505 of Lecture Notes in Computer Science, pages 402-439. Springer, Berlin Heidelberg New York, 2002.
30. Len Bass, Paul Clements, and Rick Kazman. Software Architecture in Practice. Addison Wesley, 2nd edition, 2003.
31. D. Batory, J. N. Sarvela, and A. Rauschmayer. Scaling step-wise refinement. IEEE Transactions on Software Engineering, 30(6):355-371, 2004.
32. F.L. Bauer, M. Broy, R. Gnatz, W. Hesse, B. Krieg-Bruckner, H. Partsch, P. Pepper, and H. Wossner. Towards a wide spectrum language to support program specification and program development. ACM SIGPLAN Notices, 13(12):15-24, 1978.
33. Ira D. Baxter, Christopher Pidgeon, and Michael Mehlich. Dms: Program transformations for practical scalable software evolution. In 26th International Conference on Software Engineering, pages 625-634, Edinburgh, Scotland, 2004.
34. K. Beck. Extreme Programming Explained. Addison-Wesley, Reading, MA, 1999.
35. M. Belaunde. Assessment of the model driven technologies - foundations and key technologies. MODA-TEL Consortium. http://www.modatel.org/~Modatel/pub/ deliverables/D2.1-final.pdf, December 2002.
36. Gerd Beneken, Tilman Seifert, Niko Baehr, Inge Hanschke, and Olaf Rauch. Referenzarchitekturen und MDA. In Peter Dadam and Manfred Reichert, editors, GI Jahrestagung (2), volume 51 of LNI, pages 101-105. GI, Bonn, 2004.
37. Saddek Bensalem, Vijay Ganesh, Yassine Lakhnech, Cesar Munoz, Sam Owre, Harald Rues, John Rushby, Vlad Rusu, Hassen Saidi, N. Shankar, Eli Singerman, and Ashish Tiwari. An overview of SAL. In C. Michael Holloway, editor, LFM 2000: Fifth NASA Langley Formal Methods Workshop, pages 187-196, 2000.
38. Gerard Berry and Georges Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2):87-152, 1992.
39. Jean Bezivin, Nicolas Farcet, Jean-Marc Jezequel, Benoit Langlois, and Damien Pollet. Reflective model driven engineering. In Proceedings of UML 2003 Conference, volume 2863 of LNCS, pages 175-189, San Francisco, CA, 2003. Springer, Berlin Heidelberg, New York.
40. B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Min'e, D. Monniaux, and X. Rival. Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software. In The essence of computation: complexity, analysis, transformation, pages 85-108. Springer, Berlin, Heidelberg, New York, 2002.
41. Marko Boger, Thorsten Sturm, and Per Fragemann. Refactoring browser for uml. In Objects, Components, Architectures, Services, and Applications for a NetworkedWorld: International Conference NetObjectDays, NODe 2002, volume 2591/2003 of LNCS, pages 366-377, Erfurt, Germany, 2002. Springer, Berlin Heidelberg New York.
42. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, Reading, MA, 1999.
43. E. Borger, A. Cavarra, and E. Riccobene. Modeling the dynamics of UML State Machines. In Y. Gurevich, P. Kutter, M. Odersky, and L. Thiele, editors, Machines Theory and Applications, volume 1912 of LNCS, pages 223-241. Springer, Berlin Heidelberg New York, 2000.
44. Egon Borger and Robert F. Stark. A method for High-Level System Design and Analysis. Springer, Berlin Heidelberg New York, 2003.
45. S. Borland and H. Vangheluwe. Transforming statecharts to DEVS. In Proceedings of the SCS Summer Computer Simulation Conference, 2003.
46. Rolv Braek and Richard Sanders. Modeling peer-to-peer service goals in uml. In 2nd IEEE International Conference on Software Engineering and Formal Methods(SEFM), Beijing, China. IEEE Computer Society Press, Silver Spring, MD, 2004.
47. F.M.T. Brazier, B.M. Dunin-Keplicz, N.R. Jennings, and J. Treur. Desire: Modelling multi-agent systems in a compositional formal framework. International Journal of Cooperative Information Systems, (1):67-94, 1997.
48. R. Breu, R. Grosu, F. Huber, B. Rumpe, and W. Schwerin. Systems, views and models of UML. In M. Schader and A. Korthaus, editors, The Unified Modeling Language, Technical Aspects and Applications, pages 93-109. Physica Verlag, Heidelberg, 1998.
49. Rolv Brak and Jacqueline Floch. ICT convergence: Modeling issues. In Daniel Amyot and Allan Williams, editors, System Analysis and Modeling: 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers, volume 3319 of LNCS, pages 237-256. Springer, Berlin Heidelberg New York, 2005.
50. Rolv Brak and Oystein Haugen. Engineering Real Time Systems An object-oriented methodology using SDL. Prentice Hall, Englewood Cliffs, NJ, 1993.
51. A.W. Brown. Model driven architecture: Principles and practice. Software and Systems Modeling, 3(4):314-327, December 2004.
52. M. Broy and M. Wirsing. Algebraic state machines. In T. Rus, editor, 8th International Conference on Algebraic Methodology and Software Technology (AMAST 2000), volume 1816 of LNCS. Springer, Berlin Heidelberg New York, 2000.
53. J. T. Buck, S. Ha, E. A. Lee, and D. G. Messerschmitt. Ptolemy: A framework for simulating and prototyping heterogeneous systems. International Journal of Computer Simulation, Special Issue on Simulation Software Development Component Development Strategies, 4, April 1994.
54. R. Budde, K. Kautz, K. Kuhlenkamp, and H. Zullighoven. Prototyping An Approach to Evolutionary System Development. Springer, Berlin Heidelberg New York, 1992.
55. G. Caplat and J.L. Sourrouille. Model mapping in MDA. In J. Bezivin and R. France, editors, Proceedings of UML 2002 Workshop in Software Model Engineering, Dresden, Germany, 2002.
56. G. Caplat and J.L. Sourrouille. Considerations about model mapping. In J. Bezivin and M. Gogolla, editors, Proceedings of UML 2003 Workshop in Software Model Engineering, San Francisco, CA, USA, 2003.
57. Castor. Castor library. http://castor.exolab.org, June 2003.
58. S. Chaki, E. Clarke, A. Groce, S. Jha, and H.Veith. Modular verification of software components in C. IEEE Transactions on Software Engineering, 30(6):388-402, June 2004.
59. Sudarshan S. Chawathe, Anand Rajaraman, Hector Garcia-Molina, and JenniferWidom. Change detection in hierarchically structured information. In Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 493-504, Montreal, Canada, June 1996.
60. G. Christen, A. Dobniewski, and G. Wainer. Modeling state-based DEVS models in CD++. In Proceedings of MGA, Advanced Simulation Technologies Conference 2004 (ASTC'04), 2004.
61. A. Christoph and M. M. Muller. GREAT: UML transformation tool for porting middleware applications. In P. Stevens, J. Whittle, and G. Booch, editors, UML 2003 - The Unified Modeling Language Model Languages and Applications 6th International Conference, San Francisco, CA, USA, Proceedings, volume 2863 of LNCS, pages 18-30. Springer, Berlin Heidelberg New York, 2003.
62. S. Clarke, W. Harrison, H. Ossher, and P. Tarr. Subject-oriented design: Towards improved alignment of requirements, design, and code. In Proceedings OOPSLA 1999, Denver, Colorado, USA, November 1999.
63. CLI.Standard ECMA-335, Common Language Infrastructure (CLI), 2nd edition, 2002. ISO/IEC 23271, http://www.ecma-international.org/publications/standards/ Ecma-335.htm.
64. Concern Manipulation Environment (CME). http://www.research.ibm.com/cme/ 2004.
65. J.M. Cobleigh, L.A. Clarke, and L.J. Osterweil. Flavers: A finite state verification technique for software systems. IBM Systems Journal, 41(1):140-165, 2002.
66. Codagen Technologies Corporation. Codagen Architect. http://www.codagen. com/products/architect/January 2005.
67. Compuware Corporation. OptimalJ. http://www.compuware.com/products/ optimalj/, January 2005.
68. Steve Cook. Domain-specific modelling and model driven architecture. MDA Journal, Business Process Trends, pages 2-10, January 2004.
69. Steve Cook and Stuart Kent. The tool factory. OOPSLA 2003 Workshop on Generative Techniques in the context of Model Driven Architecture, 2003.
70. Steve Cook, Anneke Kleppe, Richard Mitchell, Bernhard Rumpe, Jos Warmer, and Alan Wills. Defining UML family members using prefaces. In Christine Mingins, editor, Proceedings of TOOLS Pacific 1999. IEEE Computer Society, 1999.
71. Evans Data Corp. "North American Development Survey: Response to question on Use of UML in Application Design", 2003.
72. Safeware Engineering Corporation. SpecTRM User Manual, 2003.
73. Vitech Corporation. http://www.vtcorp.com/, December 2003.
74. Andrea Corradini, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Reiko Heckel, and Michael Lowe. Algebraic approaches to graph transformation I: Basic concepts and double pushout approach. In G. Rozenberg, editor, Handbook of Graph Grammars and Computing by Graph transformation, Volume 1: Foundations. World Scientific, 1997.
75. Alexandre L. Correa and Claudia Maria Lima Werner. Applying refactoring techniques to UML/OCL models. In Proceedings of UML 2004 Conference, volume 3273 of LNCS, pages 173-187, Lisbon, Portugal, 2004. Springer, Berlin Heidelberg New York.
76. Katja Cremer, Andre Marburger, and Bernhard Westfechtel. Graph-based tools for reengineering. Journal of Software Maintenance and Evolution: Research and Practice, 14:25-292, 2002.
77. I. Crnkovic, J.A. Stafford, H.W. Schmidt, and K.Wallnau, editors. Proceedings of 7th International Symposium on Component-Based Software Engineering (CBSE), Edinburgh, Scotland, May 2004. Springer, Berlin Heidelberg New York.
78. Gyorgy Csertan, Gabor Huszerl, Istvan Majzik, Zsigmond Pap, Andras Pataricza, and Daniel Varro. VIATRA: Visual automated transformations for formal verification and validation of UML models. In Julian Richardson, Wolfgang Emmerich, and Dave Wile, editors, Proceedings ASE 2002: 17th IEEE International Conference on Automated Software Engineering, pages 267-270, Edinburgh, Scotland, 2002. IEEE Press, Piscataway, NJ.
79. K. Czarnecki and U.W. Eisenecker. Generative Programming: Methods, Tools and Applications. Addison-Wesley, Reading, MA, 2000.
80. K. Czarnecki and S. Helsen. Classification of model transformation approaches. In J. Bettin, G. van Emde Boas, and A. Agrawal, editors, 2nd OOPSLA Workshop on Generative Techniques in the Context of MDA, Anaheim, CA, USA, 2003.
81. Juan de Lara and Hans Vangheluwe. AToM3: A tool for multi-formalism and metamodelling. In Ralf-Detlef Kutsche and Herbert Weber, editors, Proceedings 5th International Conference, FASE 2002: Fundamental Approaches to Software Engineering, Grenoble, France, volume 2306 of LNCS, pages 174-188. Springer, Berlin Heidelberg New York, 2002.
82. S. De Meyer, T. D. Meijler, O. Nierstrasz, and P. Steyaert. Design guidelines for tailorable frameworks. Communications of the ACM, 40(10):60-64, 1997.
83. Serge Demeyer, Sander Tichelaar, and Patrick Steyaert. FAMIX 2.0 - The FAMOOS information exchange model. http://www.iam.unibe.ch/~famoos/FAMIX/ September 1999.
84. William Deng, Matthew Dwyer, John Hatcliff, Georg Jung, and A. Robby. Model-checking middleware-based event-driven real-time embedded software. In Proceedings of the 1st International Symposium on Formal Methods for Component and Objects, volume 2582 of LNCS, pages 154-181, 2002.
85. E. W. Dijkstra. A Discipline of Programming. Prentice Hall, Englewood Cliffs, NJ, 1976.
86. J.S. Dong. State, event, time and diagram in system modelling. In Proceedings of ICSE'01, pages 733-734, Toronto, Canada., 2001. IEEE Press, Piscataway, NJ.
87. Heiko Dorr. Efficient Graph Rewriting and Its Implementation. Springer, Berlin Heidelberg New York, 1995.
88. F. L. Dotti, L. Foss, L. Ribeiro, and O. M. Santos. Verification of object-based distributed systems. In Proceedings 6th International Conference on Formal Methods for Open Object-based Distributed Systems, volume 2884, pages 261-275. Springer, Berlin Heidelberg New York, 2003.
89. B.P. Douglass. Doing hard time: developing real-time systems with UML, objects, frameworks, and patterns. Addison-Wesley Longman, Harlow, UK, 1999.
90. B.P. Douglass. Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems. Addison-Wesley Longman, Harlow, UK, 2002.
91. Frank Drewes, Berthold Hoffmann, and Detlef Plump. Hierarchical graph transformation. Journal of Computer and System Sciences, 64(2):249-283, 2002.
92. S. Drossopoulou, F. Damiani, M. Dezani-Ciancaglini, and P. Giannini. More dynamic object reclassification: Fickleii. ACM TOPLAS, 24(2):153-191, 2002.
93. DSTC. Breeze: Workflow with ease. http://www.dstc.edu.au/Research/ Projects/Pegamento/Breeze/breeze.html.
94. E. Magyari, A. Bakay, A. Lang, T. Paka, A. Vizhanyo, A. Agrawal, G. Karsai. UDM: An infrastructure for implementing domain-specific modeling languages. In The 3rd OOPSLA Workshop on Domain-Specific Modeling, OOPSLA 2003, Anaheim, CA, USA, October 2003.
95. Gregory T. Eakman. Classification of model transformation approaches. In UML Workshop: Model Driven Architecture in the Specification, Implementation and Validation of Object-oriented Embedded Systems, Anaheim, California, October 2003.
96. J. Ebert, K. Kontogiannis, and J. Mylopoulos. Interoperability of reengineering tools, January 2001. Seminar Number 01041, Report Number 296.
97. Eclipse Project. Aspect J. http://www.eclipse.org/aspectj/, January 2005.
98. Eclipse Project. Eclipse. http://www.eclipse.org/eclipse/, January 2005.
99. Eclipse Project. Eclipse Modeling Framework (EMF). http://www.eclipse. org/emf/, January 2005.
100. Eclipse Project. ECore. http://download.eclipse.org/tools/emf/javadoc/, packageorg.eclipse.emf.ecore, January 2005.
101. J. Clark (editor). XML transformations (XSLT), W3C working draft. http://www.w3.org/TR/xslt11 December 2000.
102. Edwin Robby, Matthew Dwyer and John Hatcliff. Bogor: An extensible and highlymodular model checking framework. In the Proceedings of the Fourth Joint Meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2003), Helsinki, Finland.
103. A. Egyed. Automated abstraction of class diagrams. ACM Transaction's on Software Engineering and Methodology, 11:449-491, 2002.
104. A. Egyed. A scenario-driven approach to trace dependency analysis. IEEE Transactions on Software Engineering, 29:116-132, 2003.
105. A. Egyed and P. Kruchten. Rose/architect: A tool to visualize architecture. In Proceedings of the 32nd Hawaii International Conference on System Sciences (HICSS), Maui, HI, USA. 1999.
106. A. Egyed and N. Medvidovic. A formal approach to heterogeneous software modeling. In Proceedings of 3rd Foundational Aspects of Software Engineering (FASE), Berlin, Germany, pages 178-192. 2000.
107. A. Egyed and D. Wile. Statechart simulator for modeling architectural dynamics. In Proceedings of the 2nd Working International Conference on Software Architecture (WICSA), Amsterdam, The Netherlands, pages 87-96. 2001.
108. Hartmut Ehrig, Reiko Heckel, Martin Korff, Michael Lowe, Leila Ribeiro, Annika Wagner, and Andrea Corradini. Algebraic approaches to graph transformation II: Single pushout approach and comparison with double pushout approach. In G. Rozenberg, editor, The Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations. World Scientific, Singapore, 1997.
109. J. Ellsberger, D. Hogrefe, and A. Sarma. SDL Formal Object-oriented Language for Communicating Systems. Prentice Hall, Englewood Cliffs, NJ, 1997.
110. J. Elmqvist. Analysis of intent specification and system upgrade traceability. Master's thesis, Linkopings University, December 2003.
111. Matthew Emerson and Janos Sztipanovits. Implementing a MOF-based metamodeling environment using graph transformations. In Proceedings of OOPSLA Workshop on Domain-Specific Modeling, pages 83-92, Vancouver, BC, Canada, October 2004.
112. Gregor Engels, Reiko Heckel, and Jochen M. Kuster. The consistency workbench: A tool for consistency management in UML-based development. In Perdita Stevens, Jon Whittle, and Grady Booch, editors, Proceedings UML 2003 - The Unified Modeling Language Model Languages and Applications 6th International Conference, San Francisco, CA, USA, volume 2863 of LNCS, pages 356-359. Springer, Berlin Heidelberg New York, 2003.
113. A. Eriksson. Model-based development of an airbag software. Master's thesis, Linkopings University, March 2004.
114. A. Kleppe et al. MDA Explained: The Model Driven Architecture Practice and Promise. Addison-Wesley, Reading, MA, 2004.
115. S.J. Mellor et al. MDA Distilled: Principles of Model-Driven Architecture. Addison- Wesley, Reading, MA, 2004.
116. Rational Software UML Summary. OMG document ad/97-08-03, 1997.
117. A. Evans, R. France, K. Lano, and B. Rumpe. The UML as a formal modeling notation. Computer Standards & Interfaces, 19(7):325-334, 1998.
118. M.E. Fagan. Advances in software inspections. IEEE Transactions on Software Engineering, 12:744-751, 1986.
119. H. Fahmy and R.C. Holt. Using graph rewriting to specify software architectural transformations. In Proceedings of the 15th IEEE International Conference on Automated Software Engineering (ASE), pages 187-196. 2000.
120. J.M. Favre. Towards a basic theory to model driven engineering. In M. Gogolla, P. Sammut, and J. Whittle, editors, Proceedings of UML 2004 Workshop in Software Model Engineering, Lisbon, Portugal, 2004.
121. M. Fayad, D. Schmidt, and R. Johnson, editors. Building Application Frameworks: Object-Oriented Foundations of Framework Design. Wiley, New York, 1999.
122. J. M. Fernandes. Functional and object-oriented modeling of embedded software. Technical Report 512, Turku Centre for Computer Science (TUCS), Turku, Finland, 2003.
123. J. M. Fernandes, R. J. Machado, and H. D. Santos. Modelling industrial embedded systems with UML. In Proceedings of CODES 2000, San Diego, CA, USA, 2000.
124. R. E. Filman, T. Elrad, S. Clarke, and M. Aksit. Aspect-Oriented Software Development. Addison-Wesley, Reading, MA, 2004.
125. A. Finkelstein, J. Kramer, B. Nuseibeh, L. Finkelstein, and M. Goedicke. Viewpoints: A framework for integrating multiple perspectives in system development. International Journal of Software Engineering and Knowledge Engineering, 2(1):31-58, 1992.
126. Thorsten Fischer, Jorg Niere, Lars Torunski, and Albert Zundorf. Story diagrams: A new graph rewrite language based on the Unified Modeling Language and Java. In Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT), volume 1764 of LNCS, pages 296-309. Springer, Berlin Heidelberg New York, November 1998.
127. Jacqueline Floch. Towards plug-and-play services: Design and validation using roles. PhD thesis, The Norwegian University of Science and Technology - NTNU, 2003.
128. Institute for Software Integrated Systems. The Generic Modeling Environment: GME 4 Users Manual. Vanderbilt University, 2004.
129. Formal Techniques in Software Engineering. Model driven, Template based, Model Transformer (MoTMoT). http://sourceforge.net/projects/motmot/, 2004.
130. Martin Fowler. Model Driven Architecture. http://www.martinfowler.com/ bliki/ModelDrivenArchitecture.html, February 2004.
131. Martin Fowler, Kent Beck, John Brant, William Opdyke, and Don Roberts. Refactoring: Improving the Design of Existing Code. Addison-Wesley, Reading, MA, 1999.
132. D. Fox, W. Burgard, and S. Thrun. The dynamic window approach to collision avoidance. IEEE Robotics & Automation Magazine, 4(1):25-40, March 1997.
133. R. France, A. Evans, K. Lano, and B. Rumpe. The UML as a formal modeling notation Computer Standards & Interfaces, 19:325-334, 1998.
134. Robert France, Sudipto Ghosh, Eunjee Song, and Dae-Kyoo Kim. A metamodeling approach to pattern-based model refactoring. IEEE Software, pages 52-58, September 2003.
135. David Frankel. Model Driven Architecture: Applying MDA to Enterprise Computing. Wiley, New York, 2003.
136. David S. Frankel. The MDA marketing message and the MDA reality. MDA Journal, a Business Process Trends Column, March 2004.
137. French National Institute for Research in Computer Science and Control (INRIA). Model Transformation Language (MTL). http://modelware.inria.fr/, January 2005.
138. I. Jacobsen G. Booch and J. Rumbaugh. The Unified Modeling Language User's Guide. Addison Wesley, Reading, MA, 1998.
139. Paolo Bottoni Gabriele Taentzer and Francesco Parisi Presicce. Specifying integrated refactoring with distributed graph transformations. In Proceedings of AGTIVE 2003, pages 227-242, 2003.
140. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns - Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
141. Erich Gamma and Kent Beck. Contributing to Eclipse: Principles, Patterns, and Plugins. Addison-Wesley, Reading, MA, 2003.
142. D. Garlan. Views for tools in integrated environments. In Reidar Conradi, Tor Didriksen, and Dag H. Wanvik, editors, Advanced Programming Environments, Proceedings of an International Workshop, Trondheim, Norway, June 16-18, 1986, volume 244 of LNCS, pages 314-343. Springer, Berlin Heidelberg New York, 1986.
143. Leif Geiger and Albert Zundorf. Graph based debugging with Fujaba. In Proceedings Workshop on Graph Based Tools, International Conference on Graph Transformations, 2002.
144. Leif Geiger and Albert Zundorf. Statechart modeling with Fujaba. In Graph Based Tools (GraBaTs), workshop at ICGT 2004, Rome, 2004.
145. Generative Model Transformer. http://www.eclipse.org/gmt/.
146. Gentleware corporation. http://www.gentleware.com, 2003.
147. Anna Gerber, Michael J. Lawley, Kerry Raymond, Jim Steel, and Andrew Wood. Transformation: The missing link ofMDA. In Proceedings of the 1st International Conference on Graph Transformation, ICGT'02, volume 2505 of LNCS, pages 90-105. Springer, Berlin Heidelberg New York, 2002.
148. N. Giambiasi, J.L. Paillet, and F. Chane. From timed automata to DEVS models. In Proceedings of the SCS Winter Simulation Conference, 2003.
149. M. Glandrup and M. Aksit. Design for composition: Extending patterns with a crosscut specification. www.win.tue.nl/ipa/archive/falldays2003/UT- ipapresentation.ppt, 2003.
150. E. Glinsky and G. Wainer. Definition of real-time simulation in the CD++ toolkit. In Proceedings of the SCS Summer Computer Simulation Conference, 2002.
151. E. Glinsky and G. Wainer. Performance analysis of real-time DEVS models. In Proceedings of the SCS Winter Simulation Conference, 2002.
152. E. Glinsky and G. Wainer. A benchmarking technique for studying performance of DEVS modeling and simulation environments. Technical Report SCE-05-01, Dept. of Systems and Computer Engineering. Carleton University, 2005.
153. Aniruddha Gokhale, Krishnakumar Balasubramanian, Jaiganesh Balasubramanian, Arvind S. Krishna, George T. Edwards, Gan Deng, Emre Turkay, Jeffrey Parsons, and Douglas C. Schmidt. Model driven middleware: A new paradigm for deploying and provisioning distributed real-time and embedded applications. The Journal of Science of Computer Programming: Special Issue on Model Driven Architecture, 2004.
154. Adele Goldberg and David Robson. Smalltalk-80: The Language and its Implementation. Addison-Wesley, Reading, MA, 1983.
155. Pieter VanGorp, Hans Stenten, Tom Mens, and Serge Demeyer. Towards automating source-consistent UML refactorings. In Proceedings of UML 2003 Conference, volume 2863 of LNCS, pages 144-158, San Francisco, CA, 2003. Springer, Berlin Heidelberg New York.
156. O.C.Z. Gotel and A.C.W. Finkelstein. An analysis of the requirements traceability problem. In Proceedings of the First International Conference on Requirements Engineering, pages 94-101. 1994.
157. L. Grady, J. Howard, and P. Anderson, editors. Safety-Critical Requirements Specfication and Analysis using SpecTRM. US Software Safety Working Group, February 2002.
158. A. Grahn. Code generation from high-level models of reactive and security-intrinsic systems. Master's thesis, Linkopings University, April 2004. LiTH-IDA-EX-04/030- SE.
159. Jeff Gray, Ted Bapty, Sandeep Neema, Douglas C. Schmidt, Aniruddha Gokhale, and Balachandran Natarajan. An approach for supporting aspect-oriented domain modeling. In Generative Programming and Component Engineering (GPCE 2003), volume 2830 of LNCS, pages 151-168, Erfurt, Germany, September 2003. Springer, Berlin Heidelberg New York.
160. Jeff Gray, Ted Bapty, Sandeep Neema, and James Tuck. Handling crosscutting constraints in domain-specific modeling. Communications of the ACM, pages 87-93, October 2001.
161. Jeffrey G. Gray. Aspect-Oriented Domain-Specific Modeling: A Generative Approach Using a Meta-weaver Framework. Phd, Vanderbilt University, 2002.
162. Jack Greenfield and Keith Short. Software factories: Assembling applications with patterns, models, frameworks and tools. OOPSLA 2003 Workshop on Generative Techniques in the context of Model Driven Architecture, October 2003.
163. Jack Greenfield, Keith Short, Steve Cook, and Stuart Kent. Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools. John Wiley & Sons, New York, 2004.
164. Object Management Group. Model-level testing and debugging rfp. OMG Document Number: realtime/03-01-12, 2001.
165. Object Management Group. MOF 2.0 Query/Views/Transformations RFP. OMG document ad/02-04-10. Available at http://www.omg.org/.
166. Object Management Group. OMG Meta-Object Facility (MOF). OMG Document formal/01-11-02. Available at http://www.omg.org/.
167. Object Management Group. OMG XML Metadata Interchange (XMI) Specification. OMG Document formal/00-11-02.
168. Object Management Group. Software Process Engineering Metamodel Specification (SPEM). OMG Document formal/02-11-14. Available at http://www.omg.org/.
169. Object Management Group. Object Constraint Language Specification, Available at http://www.omg.org/., September 1997.
170. Object Management Group. Interchange metamodel in xml.OMGdocument: formal/01- 02-15, 2001.
171. Object Management Group. Model driven architecture (mda) Technical Report ormsc/2001-07-01, OMG, July 2001.
172. Object Management Group. UML profile for enterprise distributed computing (EDOC). OMG document: ptc/02-02-05, 2002.
173. Object Management Group. Uml profile for enterprise distributed object computing specification. Technical Report OMG Adopted Specification ptc/02-02-05 OMG, February 2002.
174. Object Management Group. Mda guide version 1.0.1 Technical Report omg/2003-06- 01, OMG, July 2003.
175. Object Management Group. Unified Modeling Language: Diagram Interchange, September 2003. OMG document ptc/03-09-01. Available at http://www.omg.org.
176. Object Management Group. First OMG Model-Integrated Computing (MIC)Workshop. http://www.omg.org/news/meetings/mic2004/., October 2004.
177. Progres Group. PROGRES: Programmed graph rewriting system. http://www-i3.informatik.rwth-aachen.de/research/projects/progres/, 2004.
178. L. Grunske, B. Kaiser, and R. H. Ruessner. Embedded system development with components, chapter Specification and evaluation of safety properties in a component-based software engineering process. 2005. To Appear.
179. Lare Grunske. Automated software architecture evolution with hypergraph transformation. In 7th International IASTED on Conference Software Engineering and Application (SEA 03), IASTED Proceedings, pages 613-621, Marina del Ray, CA, USA, November 3-5 2003.
180. N. Guelfi. Flexible consistency in software development using contracts and refinements. 2nd International Workshop on Living With Inconsistency ICSE 2001, Toronto, Canada, May 2001.
181. Annegret Habel. Hyperedge replacement: grammars and languages, volume 643 of Lecture Notes in Computer Science. Springer, Berlin Heidelberg New York, New York, NY, USA, 1992.
182. Annegret Habel, Reiko Heckel, and Gabriele Taentzer. Graph grammars with negative application conditions. Fundamenta Informaticae, 26(3/4):287-313, 1996.
183. M. Hakala, J. Hautamaki, K. Koskimies, J. Paakki, A. Viljamaa, and J. Viljamaa. Generating application development environments for Java frameworks. In Proc. GCSE 2001, pages 163-176, Erfurt, Germany, September 2001. Springer, Berlin Heidelberg New York, LNCS 2186.
184. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous data-flow programming language LUSTRE. Proceedings of the IEEE, 79(9):1305-1320, September 1991.
185. D. Hamlet, D. Mason, and D.Woit. Theory of software reliability based on components. In ICSE '01: Proceedings of the 23rd International Conference on Software Engineering, pages 361-370. IEEE Computer Society, 2001.
186. J. Hammarberg and S. Nadjm-Tehrani. Development of safety-critical
187. J. Hammarberg and S. Nadjm-Tehrani. Formal verification of fault tolerance in safetycritical configurable modules. International Journal of Software Tools for Technology Transfer (STTT), December 2004. Springer, Berlin Heidelberg New York.
188. I. Hammouda, O. Guldogan, K. Koskimies, and T. Systa. Tool-supported customization of UML class diagrams for learning complex system models. In Proc. IWPC 2004, pages 24-33, Bari, Italy, 2004.
189. I. Hammouda and M. Harsu. Documenting maintenance tasks using maintenance patterns. In Proc. CSMR 2004, pages 37-47, Tampere, Finland, 2004.
190. I. Hammouda, J. Hautamaki, M. Pussinen, and K. Koskimies. Managing variability using heterogeneous feature variation patterns. In Proc. FASE 2005, pages 145-159, Edinburgh, Scotland, April 2005.
191. I. Hammouda, M. Katara, and K. Koskimies. A tool environment for aspectual patterns in UML. In Proc. WoDiSEE 2004, pages 58-65, Edinburgh, Scotland, May 2004.
192. I. Hammouda and K. Koskimies. A pattern-based J2EE application development. Nordic Journal of Computing (NJC), 9(3):248-260, Fall 2002.
193. I. Hammouda, J. Koskinen, M. Pussinen, M. Katara, and T. Mikkonen. Adaptable concern-based framework specialization in UML. In Proc. ASE 2004, pages 78-87, Linz, Austria, September 2004.
194. Stefan Hanenberg, Arno Schmidmeier, and Rainer Unland. AspectJ Idioms for Aspect- Oriented Software Construction. In Proceedings of the 8th European Conference on Pattern Languages of Programs EuroPLoP, Irsee, Germany, June 2003.
195. D. Harel and B. Rumpe. Modeling languages: Syntax, semantics and all that stuff - Part i: The basic stuff. Technical Report MCS00-16, Weizmann Institute of Science, Rehovot (Israel), 2000.
196. David Harel and Eran Gery. Executable Object Modeling with Statecharts. In Proceedings of the 18th International Conference on Software Engineering, pages 246-257. IEEE Computer Society Press, 1996.
197. Mary Jean Harrold. Testing: A road map. In Proceedings of the Future of Software Engineering, pages 61-82, Limerick, Ireland, May 2000.
198. John Hatcliff, Xinghua Deng, Matthew B. Dwyer, Georg Jung, and Venkatesh Prasad Ranganath. Cadena: An integrated development, analysis, and verification environment for component-based systems. In Proceedings of the 25th International Conference on Software Engineering, pages 160-173, Portland, Oregon, May 2003. IEEE Computer Society.
199. Les Hatton. Reexamining the fault density-component size connection. IEEE Softw., 14(2):89-97, 1997.
200. J.H. Hausmann, R. Heckel, and S. Sauer. Extended model relations with graphical consistency conditions. In L. Kuzniarz, G. Reggio, and J.L. Sourrouille, editors, Proceedings UML 2002 Workshop on Consistency Problems in UML-based Software Development, Dresden (Germany), 2002.
201. J. Hautamaki. Pattern-Based Tool Support for Frameworks: Towards Architecture- Oriented Software Development Environment. Publication 521, Tampere University of Technology, 2005.
202. K. Havelund and W. Visser. Program model checking as a new trend. International Journal of Software Tools for Technology Transfer (STTT), 4(1):8-20, 2002.
203. Susumu Hayashi, Pan YiBing, Masami Sato, Kenji Mori, Sul Sejeon, and Shuusuke Haruna. Test driven development of UML models with smart modeling system. In Proceedings of the UML 2004 Conference, volume 3237 of LNCS, pages 295-409, Lisbon, Portugal, 2004. Springer, Berlin Heidelberg New York.
204. R. Heckel, H. Ehrig, U. Wolter, and A. Corradini. Integrating the specification techniques of graph transformation and temporal logic. In Proceedings of Mathematical Foundations of Computer Science (MFCS'97), Slovakia, volume 1295 of LNCS, pages 219-228. Springer, Berlin Heidelberg New York, 1997.
205. Reiko Heckel. Compositional verification of reactive systems specified by graph transformation. In Proceedings of FASE: Fundamental Approaches to Software Engineering, volume 1382 of LNCS, pages 138-153. Springer, Berlin Heidelberg New York, 1998.
206. M.P.E. Heimdahl and N.G. Leveson. Completeness and consistency in hierarchical statebased requirements. Software Engineering, 22(6):363-377, 1996.
207. Dan Hirsh, Paola Inverardi, and Ugo Montanari. Modeling software architecures and styles with graph grammars and constraint solving. Proceedings of First Working IFIP Conference on Software Architecture (WICSA1), pages 127-144, 2000.
208. I.M. Holland. Specifying reusable components using contracts. In Proceedings of ECOOP 1992, pages 287-308, Utrecht, The Netherlands, 1992. Springer, Berlin Heidelberg New York. volume 615 of LNCS.
209. Richard C. Holt, Ahmed E. Hassan, Bruno Lague, Sebastien Lapierre, and Charles Leduc. E/R schema for the datrix C/C++/java exchange format. In Proceedings of the Seventh Working Conference on Reverse Engineering, page 284. IEEE Computer Society, 2000.
210. E. Holz. Strategien zur Unterstutzung der Modellkombination im Softwareentwicklungsprozess (Strategies for supporting combination of models in the software development process). In Metzger A and G. Zimmermann, editors, Modeling Reactive Systems: A Case-Study SFB 501 Report 08/03 University of Kaiserslautern, 2003.
211. G. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5):279-295, 1997.
212. F. Huber, B. Schatz, A. Schmidt, and K. Spies. AutoFocus: A tool for distributed systems specification. In B. Jonsson and J. Parrow, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium, FTRTFT'96, volume 1135 of LNCS, pages 467-470, Uppsala, Sweden, 1996. Springer, Berlin Heidelberg New York.
213. E.T. Hvannberg. Combining UML and Z in a software process. In J.L. Rash, editor, Formal Approaches to Agent-Based Systems, volume 1871 of LNCS, pages 47-52. Springer, Berlin Heidelberg New York, 2001.
214. IAR. http://www.iar.com/March 2004.
215. IBM. Rational Rose XDE Developer. http://www-306.ibm.com/software/ awdtools/developer/rosexde/, 2004.
216. ILogix. http://www.ilogix.com/March 2004.
217. Institute for Software Integrated Systems. Open Tool Integration Framework. www.isis.vanderbilt.edu/Projects/WOTIF/.
218. Interactive Objects Software GmbH. ArcStyler. http://www.io-software.com/ products/arcstyler-overview.jsp, January 2005.
219. International Organization for Standardization ISO 9126. Information technology - Software product evaluation - Quality characteristics and guidelines for their use, December 1991.
220. P. Inverardi, H. Muccini, and P. Pelliccione. Automated check of architectural models consistency using spin. In Proceedings of 16th IEEE International Confonference on Automated Software Engineering, pages 346-349, San Diego, CA, USA, 2001.
221. R. Iosif and R. Sisto. dSPIN: A dynamic extension of SPIN. In Proceedings of the 6th SPIN Workshop, volume 1680 of LNCS, pages 261-276. Springer, Berlin Heidelberg New York, 1999.
222. J. Isaksson, J. Lilius, and D. Truscan. A MOF-based metamodel for SA/RT. In Proceedings of the Rapid Integration of Software Engineering Techniques (RISE'04) Workshop, pages 97-106, November 2004.
223. ISIS. Model-Integrated Computing. http://www.isis.vanderbilt.edu/ Research/mic.html.
224. ITU-T. Basic Reference Model of Open Distributed Processing - Part 1: Overview. ITU-T, 1997. ITU-T Recommendation X.901, ISO/IEC IS 10746-1.
225. G. Booch J. Rumbaugh and I. Jacobsen. The Unified Modeling Language Reference Manual, Second Edition. Addison-Wesley, Reading, MA, 2004.
226. J2EE Enterprise JavaBeans technology. http://java.sun.com/products/ejb/, 2004.
227. D. Jackson and M. Rinard. Software analysis: A roadmap. In Proceedings of the 20th International Conference on Software Engineering (ICSE), pages 133-145. 2000.
228. C. Jacques and G. Wainer. Using the CD++ DEVS toolkit to develop petri nets. In Proceedings of the SCS Summer Computer Simulation Conference, 2002.
229. P. Jalote. An Integrated Approach to Software Engineering. Springer, Berlin Heidelberg New York, New York, second edition, 1997.
230. P.C. Janca. Pragmatic application of information agents. BIS Strategic Decisions, Norwell, MA, USA, 1995.
231. Java Community Process. Java Metadata Interface (JMI) Specification, June 2002. Java Specification Request, JSR#040. http://java.sun.com/products/jmi/.
232. JSR-000026, UML/EJB Mapping Specification. http://jcp.org/aboutJava/ communityprocess/review/jsr026/2001.
233. N.R. Jennings. On agent-based software engineering. Artificial Intelligence, 117:277- 296, 2000.
234. N.R. Jennings and M. Wooldridge. Agent Technology: Foundations, Applications And Markets. Springer, Berlin Heidelberg New York, 1998.
235. L. Jin and H. Zhu. Automatic generation of formal specification from requirements definition. In Proceedings of ICFEM'97, pages 243-251, Hiroshima, Japan, 1997.
236. C. Jones. Patterns of large software systems: Failure and success. Computer, 28(3):86- 87, 1995.
237. J. Jurjens. A UML statecharts semantics with message-passing. In Symposium of Applied Computing 2002, pages 1009-1013, Madrid, March 11-14 2002. ACM.
238. J. Jurjens. Formal Semantics for Interacting UML subsystems. In FMOODS 2002, pages 29-44. IFIP, Kluwer, 2002.
239. J. Jurjens. UMLsec: Extending UML for secure systems development. In J.-M. Jezequel, H. Hussmann, and S. Cook, editors, UML 2002 - The Unified Modeling Language, volume 2460 of LNCS, pages 412-425, Dresden, Sept. 30 - Oct. 4 2002. Springer, Berlin Heidelberg New York.
240. J. Jurjens. Secure Systems Development with UML. Springer, Berlin Heidelberg New York, 2004.
241. J. Jurjens and Pasha Shabalin. A foundation for tool-supported critical systems development with UML. In 11th Annual IEEE International Conference on the Engineering of Computer Based Systems (ECBS 2004), Brno, Czech Republic, May 2004.
242. Audris Kalnins, Janis Barzdins, and Edgars Celms. Model transformation language MOLA. In Proceedings of MDAFA 2004 (Model-Driven Architecture: Foundations and Applications 2004), pages 14-28, 2004.
243. Gabor Karsai, Aditya Agrawal, Feng Shi, and Jonathan Sprinkle. On the use of graph transformation in the formal specification of model interpreters. In Journal of Universal Computer Science 9, pages 1296-1321, 2003.
244. Gabor Karsai, Miklos Maroti, Akos Ledeczi, Jeff Gray, and Janos Sztipanovits. Type hierarchies and composition in modeling and meta-modeling languages. IEEE Transactions on Control System Technology, special issue on Computer Automated Multi- Paradigm Modeling Modeling, pages 263-278, March 2004.
245. Gabor Karsai, Sandeep Neema, Arpad Bakay, Akos Ledeczi, Feng Shi, and Aniruddha Gokhale. A model-based front-end to ACE/TAO: The embedded system modeling language. In Proceedings of the Second Annual TAO Workshop, Arlington, VA, USA, July 2002.
246. Gabor Karsai, Janos Sztipanovits, Akos Ledeczi, and Ted Bapty. Model-integrated development of embedded software. Proceedings of the IEEE, 91(1):145-164, January 2003.
247. M. Katara and S. Katz. Architectural views of aspects. In Proceedings of AOSD 2003, Boston, MA, USA, March 2003.
248. I. Khriss, M. Elkoutbi, and R. Keller. Automating the synthesis of UML statechart diagrams from multiple collaboration diagrams. In Proceedings of the Conference on the Unified Modeling Language, pages 132-147. 1998.
249. Samir Khuller and Balaji Raghavachari. Graph and network algorithms. ACM Computing Surveys, pages 43-45, March 1999.
250. G. Kiczales. Oriented programming (AOP). http://www.theserverside.com/ talks/videos/GregorKiczalesText/interview.tss, July 2003.
251. Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, and William Griswold. Getting started with AspectJ. Communications of the ACM, pages 59-65, October 2001.
252. Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, andWilliam G. Griswold. An overview of AspectJ. In Proceedings of the 15th European Conference on Object-Oriented Programming, ECOOP, volume 2072 of LNCS, pages 327-353, Budapest, Hungary, 2001. Springer, Berlin Heidelberg New York.
253. Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Videira Lopes, Jean-Marc Loingtier, and John Irwin. Aspect-oriented programming. In Proceedings of the 11th European Conference on Object-Oriented Programming, ECOOP, volume 1241 of LNCS, pages 220-242, Jyvaskyla, Finland, 1997. Springer, Berlin Heidelberg New York.
254. Michael Kifer, Georg Lausen, and James Wu. Logical foundations of object-oriented and frame-based languages. Journal of the ACM, 42(4):741-843, 1995.
255. J.-K. Kim, Y.G. Kim, and T.G. Kim. DHMIF: DEVS-based hardware model interchange format. In Proceedings of the European Simulation Symposium, 2001.
256. A. Kleppe and J.Warmer. Do MDA transformations preserve meaning? an investigation into preserving semantics. In A. Evans, P. Sammut, and J.S. Willans, editors, Proceedings of First International Workshop on Metamodelling for MDA, York, UK, 2003.
257. Sharath Kodase, Shige Wang, Zonghua Gu, and Kang G. Shin. Improving scalability of task allocation and scheduling in large distributed real-time systems using shared buffers. In Proceedings of the 9th Real-time/Embedded Technology and Applications Symposium (RTAS), Washington, DC, USA, May 2003.
258. K. Koskimies, T. Systa, J. Tuomi, and T. Mannisto. Automated support for modelling oo software. IEEE Software, 87-94, 1998.
259. Frank Alexander Kraemer. Telecom service engineering with Eclipse. Eclipse Technology Exchange, ECOOP, 2004.
260. Arvind S. Krishna, Emre Turkay, Aniruddha Gokhale, and Douglas C. Schmidt. Modeldriven techniques for evaluating the QoS of middleware configurations for DRE systems. In Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium, San Francisco, CA, USA, March 2005.
261. P. Kroll and P. Kruchten. The Rational Unified Process Made Easy: A Practitioner's Guide to the RUP. Addison-Wesley, Reading, MA, 2004.
262. P. Kruchten. The Rational Unified Process: An Introduction. Addison-Wesley, 1998.
263. V. Kulkarni and S. Reddy. Separation of concerns in model-driven development. IEEE Software, 20(5):64-69, October 2003.
264. Jochen M. Kuster, Shane Sendall, and Michael Wahler. Comparing two model transformation approaches. In Proceedings of Workshop on OCL and Model Driven Engineering, October 2004.
265. L. Kuzniarz, G. Reggio, J.L. Sourrouille, and Z. Huzar. Consistency problems in UML-based software development, Workshop Materials at UML'2002. Research report. Blekinge Institute of Technology., 2002.
266. J. H. Lala and R. E. Harper. Architectural principles for safety-critical real-time applications. Proceedings of the IEEE, 82(1):25-40, January 1994.
267. H. Ledang and J. Souquieres. Integrating UML and B specification techniques. In Proceedings of Informatik 2001, pages 641-648, Vienna University, Autria, 2001.
268. A. Ledeczi, J. Davis, S. Neema, and A. Agrawal. Modeling methodology for integrated simulation of embedded systems. Proceedings of 7th IEEE International Conference on Engineering of Computer Based Systems, 13(1):82-103, 2003.
269. Akos Ledeczi, Arpad Bakay, Miklos Maroti, Peter Volgyesi, Greg Nordstrom, Jonathan Sprinkle, and Gabor Karsai. Composing domain-specific design environments. IEEE Computer, pages 44-51, November 2001.
270. Timothy C. Lethbridge, Sander Tichelaar, and Erhard Ploedereder. The Dagstuhl Middle Metamodel: A schema for reverse engineering. In Proceedings of the International Workshop on Meta-Models and Schemas for Reverse Engineering (ateM 2003), volume 94 of LNCS, pages 7-18. Elsevier, Amsterdam, 2004.
271. N. Leveson. Intent specifications: An approach to building human-centered specifications. IEEE Transactions on Software Engineering, 26(1):15-35, January 2000.
272. N.G. Leveson and K.A. Weiss. Making embedded software reuse practical and safe. In SIGSOFT '04/FSE-12: Proceedings of the 12th ACM SIGSOFT Twelfth International Symposium on Foundations of Software Engineering, pages 171-178. ACM Press, New York, 2004.
273. L. Li, T. Pearce, and G. Wainer. Interfacing real-time DEVS models with a DSP platform. In Proceedings of the Industrial Simulation Symposium, 2003.
274. K. Lieberherr, D. Lorenz, and M. Mezini. Programming with aspectual components. Technical report, NU-CCS-99-01, College of Computer Science, Northeastern University, Boston, MA, March 1999.
275. K.J. Lieberherr, W.L. Hursch, and C. Xiao. Object-extending class transformations. Journal of Formal Aspects of Computing, 6:391-416, 1994.
276. J. Lilius and I. Porres. Formalising UML state machines for model checking. In R. France and B. Rumpe, editors, UML' 99, volume 1723 of LNCS, pages 430-445. Springer, Berlin Heidelberg New York, 1999.
277. Man Lin. Synthesis of control software in a layered architecture from hybrid automata. In Hybrid Systems: Computation and Control: Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 1999. volume 1569 of LNCS, pages 152-164. Springer, Berlin Heidelberg New York, 1999.
278. Martin Lippert. An AspectJ-enabled Eclipse core runtime platform. In Proceedings of the Poster Session at the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA, pages 322-323, Anaheim, CA, USA, October 2003. OOPSLA 2003 Companion, ACM Press, New York.
279. Martin Lippert. AspectJ-Enabled Eclipse Runtime. http://www. martinlippert.com/eclipse-aspectj-runtime/January 2005.
280. Log4J: Apache Logging Services. http://logging.apache.org/log4j/, December 2004.
281. J. Ludewig. Models in software engineering - An introduction. Software and Systems Modeling, 1(2):5-14, 2003.
282. P. MacSween and G. Wainer. On the construction of complex models using reusable components. In Proceedings of SISO Spring Interop-erability Workshop, 2004.
283. P. Maes. Agents that reduce work and information overload. Communications of the ACM, 37(7):31-40, 1994.
284. James Martin and Carma McClure. Software Maintenance. Prentice-Hall, Englewood Cliffs, NJ, 1983.
285. W.E. McUmber and B.H.C. Cheng. A general framework for formalizing uml with formal languages. In Proceedings of the 23rd International Conference on Software Engineering (ICSE), pages 433-442. 2001.
286. S. Mehta and G. Wainer. Modeling hybrid hardware description languages in DEVS. Technical Report SCE-05-02, Dept. of Systems and Computer Engineering. Carleton University, 2005.
287. Geir Melby and Rolv Brak. Delivery of convergent telecom services on j2ee platforms. In International Conference on Intelligence in Service Delivery Networks ICIN, Bordaux, France, October 2004.
288. S. Mellor, A. Clark, and T. Futagami. Model-driven development. IEEE Software, 20(5):14-18, September-October 2003.
289. Stephen J. Mellor and Marc J. Balcer. Executable UML: A Foundation for Model Driven Architecture. Addison-Wesley, Reading, MA, 2002.
290. Tom Mens, Serge Demeyer, and Dirk Janssens. Formalising behaviour preserving program transformations. In Graph Transformation.
291. Tom Mens and Tom Tourwe. A survey of software refactoring. IEEE Transactions on Software Engineering, pages 126-139, February 2004.
292. Microsoft, Inc., COM (Component Object Model), DCOM (Distributed COM), COM+. http://www.microsoft.com/com/, January 2005.
293. Microsoft, Inc. NET. http://www.microsoft.com/net/, January 2005.
294. J. Miller and J. Mukerji. Model driven architecture (MDA) guide. Technical Report omg/2003-06-01, Object Management Group (OMG), 2003.
295. A. Moukas. Amalthaea: Information discovery and filtering using a multi-agent evolving ecosystem. Journal of Applied 11(5):437-457, 1997.
296. Sandeep Neema, Ted Bapty, Jeff Gray, and Aniruddha Gokhale. Generators for synthesis of QoS adaptation in distributed real-time embedded systems. In First ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering (GPCE '02), volume 2487 of LNCS, pages 236-251, Pittsburgh, PA, USA, 2002. Springer, Berlin Heidelberg New York.
297. C. Nentwich, W. Emmerich, and A. Finkelstein. Static consistency check for distributed specifications. In Proceesings of 16th International Conference on Automated Software Engineering, pages 115-124, Coronado Island, CA, USA, 2001.
298. C. Nentwich, W. Emmerich, and A. Finkelstein. Flexible consistency check. ACM Transactions on Software Engineering and Methodology, 12(1):28-63, 2003.
299. Netbeans project Open source. http://mdr.netbeans.org/, 2003.
300. Looking Glass Networks, Optical Fiber Metropolitan Network. www.omg.org/mda/mda-files/LookingGlassN.pdf, January 2003.
301. Pat Niemeyer. Beanshell. http://www.beanshell.org/, 2004.
302. Novosoft NSUML project. http://nsuml.sourceforge.net/2003.
303. Telenor NTNU and Ericsson, The arts research project. http://www.pats.no, January 2005.
304. B. Nuseibeh, J. Kramer, and A. Finkelstein. A framework for expressing the relationships between multiple views in requirements specifications. Transactions on Software Engineering, 20(10):760-773, October 1994.
305. Scott Oaks and Henry Wong. Jini in a Nutshell. O'Reilly, Sebastopol, CA, 2000.
306. Object Management Group. MDA specifications.
307. Object Management Group. Model Integrated Computing PSIG. http://mic.omg.org.
308. Object Management Group. XML Metadata Interchange (XMI) Specification, November 2000.
309. Object Management Group. Model Driven Architecture (MDA), OMG Document ormsc/2001-07-01 edition, July 2001.
310. Object Management Group. Unified Modeling Language (UML), OMG Document formal/2001-09-67 edition, September 2001.
311. Object Management Group. CORBA Components, OMG Document formal/2002-06-65 edition, June 2002.
312. Object Management Group. Mof 1.4 specification. http://www.omg.org/ technology/documents/formal/mof.htm, April 2002.
313. Object Management Group. OMG XML Metadata Interchange (XMI) Specification. http://www.omg.org/cgi-bin/doc?formal/2002-01-01, January 2002.
314. Object Management Group. Real-Time CORBA Specification, 1.1 edition, August 2002.
315. Object Management Group. The Common Object Request Broker: Architecture and Specification, 3.0.2 edition, December 2002.
316. Object Management Group. Deployment and Configuration Adopted Submission, OMG Document ptc/03-07-08 edition, July 2003.
317. Object Management Group. MDA Guide Version 1.0.1, 2003. Version 1.0.1, OMG document omg/03-06-01.
318. Object Management Group. OMG Unified Modeling Language Specification v1.5: Revisions and recommendations, March 2003. Version 1.5. OMG Document formal/03- 03-01.
319. Object Management Group. Unified Modeling Language: OCL version 2.0 Final Adopted Specification, OMG Document ptc/03-10-14 edition, October 2003.
320. Object Management Group. XML Metadata Interchange (XMI) Specification, May 2003.
321. Object Management Group. Common Object Request Broker Architecture: Core Specification, March 2004.
322. Object Management Group. http://www.omg.org/January 2005.
323. Object Management Group. Committed Companies and Their Products. http://www.omg.org/mda/committed-products.htm, January 2005.
324. Object Management Group. Model Driven Architecture. http://www.omg.org/ mda/January 2005.
325. Object Technology International, Inc. Eclipse Platform Technical Overview, July 2001.
326. J. Odell, H.V.D. Parunak, and M. Fleischer. The role of roles. Journal of Object Technology, 2(1):39-51, 2002.
327. J. Odell and G. Ramackers. Martin/Odell Approach: A Formalization for OO, pages 121-129. CRC Press, Boca Raton, FL, 1999.
328. DARPA Information Exploitation Office. Model-Based Integration of Embedded Software (MoBIES). www.darpa.mil/ixo/mobies.asp.
329. Dirk Ohst, Michael Welle, and Udo Kelter. Differences between versions of uml diagrams. In European Software Engineering Conference/Foundations of Software Engineering, pages 227-236, Helsinki, Finland, September 2003.
330. A. Olsen, O. Faergemand, and B. Moeller-Pedersen. Systems Engineering Using SDL- 92. Elsevier Science, Amsterdam, 1994.
331. Object Management Group. Introduction to UML. http://www.omg.org/ gettingstarted/what-is-uml.htm, April 2003.
332. Object Management Group. UML 2.0 Diagram Interchange Specification. http://www.omg.org/docs/ptc/03-09-01.pdf, 2003.
333. Object Management Group. UML Specification. http://www.omg.org/uml, April 2003.
334. Catalog of OMG Modeling and Metadata Specifications. http://www.omg.org/ technology/documents/modeling-spec-catalog.htm, December 2004.
335. William F. Opdyke. Refactoring: A program restructuring aid in designing objectoriented application frameworks. Ph. d. thesis, University of Illinois at Urbana- Champaign, 1992.
336. Open SystemC Initiative. SystemC. http://www.systemc.org.
337. OptimalJ, Platform Independence. http://idevnews.com/IntegrationNews.asp? ID=76, June 2004.
338. A. Orso, L. Baresi, and M. Pezze. Introducing formal specification methods in industrial practice. In Proc. of ICSE'97, pages 56-66, Boston, USA, 1997.
339. G. Overgaard. A formal approach to relationships in the unified modeling language. In Proceedings of the Workshop on Precise Semantics for Software Modeling Techniques (PSMTS98), pages 91-108. 1998.
340. Ovum. Intelligent agents: The new revolution in software. Ovum. London: Ovum Publications, 1994.
341. R.F. Paige, J.S. Ostroff, and P.J. Brooke. Check the consistency of collaboration and class diagrams using pvs. In Proc. of 4th Workshop on Rigorous Object-Oriented Methods, London, 2002. British Computer Society.
342. Z.S. Pap, I. Majzikl, A. Pataricza, and A. Szegi. Completeness and consistency analysis of uml statechart specifications. In Proceedings of IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop, pages 83-90, 2001.
343. D.L. Parnas. On the criteria to be used in decomposing systems into modules. Communications of the ACM, 15(12):1053-1058, December 1972.
344. CWM Partners. Common Warehouse Metamodel specification. OMG documents: Ad/01-02-{01, 02, 03}, 2001.
345. H.A. Partsch. Specification and Transformation of Programs A Formal Approach to Software Development. Springer, Berlin Heidelberg New York, 1990.
346. J. Peckham and F. Maryanski. Semantic data models. ACM Computing Surveys, 20(3):154-189, 1988.
347. M. Peltier, J. Bezevin, and G. Guillaume. MTRANS: A general framework, based on XSLT for model transformations. In WTUML'01, Proceedings of the Workshop on Transformations in UML, Genova, Italy, 2001.
348. J. Peltonen and P. Selonen. An approach and a platform for building UML processing tools. In Proc. WoDiSEE 2004, pages 51-57, Edinburgh, Scotland, May 2004.
349. James Lyle Peterson. Petri nets. ACM Computing Surveys, pages 223-252, September 1977.
350. Thomas M. Pigoski. Practical Software Maintenance. John Wiley & Sons, New York, January 2000.
351. Ivan Porres. Model refactorings as rule-based update transformations. In Proceedings of UML 2003 Conference, volume 2863 of LNCS, pages 159-174, San Francisco, CA, USA, 2003. Springer, Berlin Heidelberg New York.
352. Terrence W. Pratt. Pair grammars, graph languages and string-to-graph translations. Journal of Computer and System Sciences, 5:560-595, 1971.
353. S. Queins. PROBAnD - eine Requirements-Engineering-Methode zur systematischen, domänenspezifischen Entwicklung reaktiver Systeme (A requirements engineering method for the systematic, domain-specific development of reactive systems). PhD thesis, University of Kaiserslautern, Kaiserslautern (Germany), 2002.
354. QVT-Partners. Revised submission for mof 2.0 query/views/transformations rfp. http://qvtp.org/downloads/1.1/qvtpartners1.1.pdf, 2003.
355. F.D. Racz and K. Koskimies. Tool-supported compression of uml class diagrams. In Proceedings of the 2nd International Conference on the Unified Modeling Language (UML), pages 172-187. 1999.
356. Austrian Railways. Success Story OBB. www.omg.org/mda/mda-files/ SuccessStory-OeBB.pdf/, January 2003.
357. A. Rashid, A. Moreira, and J. Araujo. Modularisation and composition of aspectual requirements. In Proceedings of AOSD 2003, pages 11-20, Boston, MA, USA, 2003.
358. G. Reggio, E. Astesiano, C. Choppy, and H. Husmann. Analysing UML active classes and associated state machines - A lightweight formal approach. In T. Maibaum, editor, Fundamental Approaches to Software Engineering (FASE2000), volume 1783 of LNCS, pages 127-146. Springer, Berlin Heidelberg New York, 2000.
359. W. Reisig. A Primer in Petri Net Design. Springer, Berlin Heidelberg New York, Berlin Heidelberg, 1992.
360. Arend Rensink. The GROOVE simulator: A tool for state space generation. In Applications of Graph Transformations with Industrial Relevance (AGTIVE).
361. Arend Rensink. Canonical graph shapes. In D. A. Schmidt, editor, Programming Languages and Systems - European Symposium on Programming (ESOP), volume 2986 of LNCS, pages 401-415. Springer, Berlin Heidelberg New York, 2004.
362. Arend Rensink, Akos Schmidt, and Daniel Varro. Model checking graph transformations: A comparison of two approaches. In Proceedings of ICGT 2004: Second International Conference on Graph Transformation, volume 3256 of LNCS, pages 226-241, Rome, Italy, 2004. Springer, Berlin Heidelberg New York.
363. C.W. Reynolds. Steering behaviors for autonomous characters. http://www.red.com/cwr/steer/gdc99, December 2000.
364. J. Robbins, D. Hilbert, and D. Redmiles. Software architecture critics in argo. In The 1998 International Conference on Intelligent User Interfaces, San Francisco, CA, USA, January.
365. Donald Bradley Roberts. Practical Analysis for Refactoring. Phd, University of Illinois at Urbana-Champaign, 1999.
366. Wendy Roll. Towards model-based and CCM-based applications for real-time systems. In Proceedings of the International Symposium on Object-Oriented Real-time Distributed Computing (ISORC).
367. Knut-Eilif Husa, Rolv Brak and Geir Melby. Serviceframe whitepaper. Technical report, Ericsson NORARC, 2001.
368. Rational Rose http://www.rational.com/products/rose/index.jsp, 2004.
369. M. Rosen. Which MDA tools are right for you? In Proceedings of MDA Implementers' Workshop Succeeding with Model Driven Systems, Orlando, FL, USA, May 2003.
370. Richard Sanders. Implementing from sdl. Telektronikk.
371. P. Sargent. Back to school for a brand new abc, (12):28, March 1992.
372. Stephen Schach. Object-Oriented and Classical Software Engineering. McGraw-Hill, 6th edition edition, 2004.
373. Stephen R. Schach. Testing: Principles and practice. ACM Computing Surveys, pages 277-279, March 1996.
374. T. Schafer, A. Knapp, and S. Merz. Model checking UML state machines and collaborations. In S.D. Stoller and W. Visser, editors, Workshop on Software Model Checking, volume 55 of ENTCS. Elsevier, Amsterdam, 2001.
375. Richard E. Schantz and Douglas C. Schmidt. Middleware for distributed systems: Evolving the common structure for network-centric applications. In John Marciniak and George Telecki, editors, Encyclopedia of Software Engineering.Wiley, New York, 2002.
376. Hans Schippers, Pieter VanGorp, and Dirk Janssens. Leveraging UML profiles to generate plugins from visual model transformations. In Proceedings Int'l Workshop Software Evolution through Transformations (SETra), Electronic Notes in Theoretical Computer Science, 2004.
377. Akos Schmidt and Daniel Varro. CheckVML: A tool for model checking visual modeling languages. In Perdita Stevens, Jon Whittle, and Grady Booch, editors, Proceedings UML 2003: 6th International Conference on the Unified Modeling Language, volume 2863 of LNCS, pages 92-95, San Francisco, CA, USA, October 20-24 2003. Springer, Berlin Heidelberg New York.
378. Douglas C. Schmidt, David L. Levine, and Sumedh Mungee. The design and performance of real-time object request brokers. Computer Communications, 21(4):294-324, April 1998.
379. H. Schmidt. Trustworthy components-compositionality and prediction. Journal of System Software, 65(3):215-225, 2003.
380. S. Schonberger, R.K. Keller, and I. Khriss. Algorithmic support for model transformation in object-oriented software development. Concurrency and Computation: Practice and Experience, 13:351-383, 2001.
381. S. Schulz, T.C. Ewing, and J.W. Rozenblit. Discrete event system specification (DEVS) and statemate statecharts equivalence for embedded systems modeling. In Proceedings of 7th IEEE International Conference on Engineering of Computer Based Systems, 2000.
382. Andy Schurr. Specification of graph translators with triple graph grammars. In Proceedings of 20th Workshop on Graph-Theoretic Concepts in Computer Science, pages 151-163, 1994.
383. Andy Schurr, Andreas J. Winter, and Albert Zundorf. Graph grammar engineering with PROGRES. In Proceedings of 5th European Software Engineering Conference ESEC, volume LNCS 989, pages 219-234. Springer, Berlin Heidelberg New York, 1995.
384. E. Seidewitz. What models mean. IEEE Software, 21(5):26-32, 2003.
385. Tilman Seifert, Gerd Beneken, and Niko Baehr. Engineering long-lived applications using MDA. In International Conference on Software Engineering and Applications, Cambridge, MA, USA, November 2004.
386. B. Selic. The pragmatics of model-driven development. IEEE Software, 20(5):19-25, September-October 2003.
387. S. Sendall, G. Perrouin, N. Guelfi, and O. Biberstein. Supporting model-to-model transformations: The VMT approach.
388. Shane Sendall and Wojtek Kozaczynski. Model transformation: The heart and soul of model-driven software development. IEEE Software, 20 (5):42-45, 2003.
389. L. Shan and H. Zhu. Camle: A caste-centric agent-oriented modelling language and environment. In Proceedings of SELMAS'04 at ICSE'94, pages 66-73, Edinburgh, Scotland, 2004.
390. L. Shan and H. Zhu. Consistency check in modelling multi-agent systems. In Proceedings of COMPSAC'04, pages 114-119, Hong Kong, 2004.
391. David C. Sharp and Wendy C. Roll. Model-based integration of reusable componentbased avionics system. In Proceedings of the Workshop on Model-Driven Embedded Systems in RTAS 2003, May 2003.
392. M. Sheeran and G. Stalmarck. A tutorial on Stalmarck's proof procedure for propositional logic. In G. Gopalakrishnan and P. Windley, editors, Proceedings of 2nd International Conference on Formal Methods in Computer-Aided Design, FMCAD'98, volume 1522 of LNCS, pages 82-99. Springer, Berlin Heidelberg New York, Palo Alto, CA, USA, 1998.
393. M. Siikarla, K. Koskimies, and T. Systa. Open MDA using transformational patterns. In Proceedings of MDAFA 2004, pages 92-106, Linkoping, Sweden, June 2004.
394. Raul Silaghi, Frederic Fondement, and Alfred Strohmeier. Towards an MDA-oriented UML profile for distribution. In Proceedings of the 8th IEEE International Enterprise Distributed Object Computing Conference, EDOC, Monterey, CA, USA.
395. Raul Silaghi and Alfred Strohmeier. Integrating CBSE, SoC, MDA, and AOP in a software development method. In Proceedings of the 7th IEEE International Enterprise Distributed Object Computing Conference, EDOC, Brisbane, Queensland, Australia.
396. M.P. Singh. A semantics for speech acts. Annals of Mathematics and Artificial Intelligence, 8(2):47-71, 1993.
397. M.P. Singh. Agent communication languages: Rethinking the principles. IEEE Computer, 31(12):40-47, December 1998.
398. G. Snelting and F. Tip. Reengineering class hierarchies using concept analysis. In Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 99-110. 1998.
399. C. Snook and M. Butler. Using a graphical design tool for formal specification. In G. Kadoda, editor, The 13th Workshop of the Psychology of Programming Interest Group, pages 311-321, Bournemouth, UK, 2001.
400. IBM Rational Software. Rational XDE. http://www.rational.com/products/ xde/index.jsp, 2004.
401. Software Engineering Laboratory at the Swiss Federal Institute of Technology in Lausanne. The Parallax Project. http://parallax-lgl.epfl.ch/, January 2005.
402. Z. Somogyi, F. Henderson, and T. Conway. Mercury: An efficient purely declarative logic programming language. In Proceedings of the Australian Computer Science Conference.
403. John A. Stankovic, Ruiqing Zhu, Ramasubramaniam Poornalingam, Chenyang Lu, Zhendong Yu, Marty Humphrey, and Brian Ellis. VEST: An aspect-based composition tool for real-time systems. In Proceedings of the IEEE Real-time Applications Symposium, Washington, DC, USA, May 2003.
404. P. Stevens. Small-scale XMI programming: A revolution in UML tool use? Automated Software Engineering, 10(1):7-21, January 2003.
405. Giancarlo Succi and Michele Marchesi. Extreme Programming Examined. Addison- Wesley, Reading, MA, 2001.
406. Sun Microsystems, Inc., Java Remote Method Invocation Specification, Revision 1.7, http://java.sun.com/j2se/1.3/docs/guide/rmi/December 1999.
407. Sun Microsystems, Inc., Java 2 Platform, Enterprise Edition Specification, November 2003.
408. Sun Microsystems, Inc. Jini Network Technology. http://www.sun.com/jini/ January 2005.
409. Sun Microsystems, Inc., NetBeans Metadata Repository (MDR). http://mdr.netbeans.org/, January 2005.
410. Sun Microsystems. EJB 2.1 Specification Final Release. http://java.sun.com/products/ejb/docs.html, 2003.
411. Gerson Sunye, Damien Pollet, Yves Le Traon, and Jean-Marc Jezequel. Refactoring uml models. In Proceedings of UML 2001 Conference, volume 2185 of LNCS, pages 138-148, Toronto, Canada, 2001. Springer, Berlin Heidelberg New York.
412. M. Svahnberg and J. Bosch. Issues concerning variability in software product lines. In Frank van der Linden, editor, Software Architectures for Product Families, International Workshop IW-SAPF-3, volume 1951 of LNCS, pages 146-157. Springer, Berlin Heidelberg New York, 2000.
413. E.B. Swanson and E. Dans. System life expectancy and the maintenance effort: Exploring their equilibration. MIS Quarterly, 24(2):277-297, 2000.
414. Janos Sztipanovits. Generative programming for embedded systems. In Keynote Address: Generative Programming and Component Engineering (GPCE), volume 2487 of LNCS, pages 32-49, Pittsburgh, PA, USA, 2002. Springer, Berlin Heidelberg New York.
415. Janos Sztipanovits and Gabor Karsai. Model-Integrated Computing. IEEE Computer, 30(4):110-112, April 1997.
416. C. Szyperski. Component Software: Beyond Object-Oriented Programming. Addison- Wesley, Reading, MA, second edition, 2002.
417. CCITT Recommendation T.81. Information technology - digital compression and coding of continuous-tone still images, September 1992.
418. Gabi Taentzer. AGG: The attributed graph grammar system. http://tfs.cs.tu-berlin.de/agg/2003.
419. P. Tarr, H. Osher, W. Harrison, and S.M.Jr. Sutton. N degrees of separation: Multidimensional separation of concerns. In Proceedings of the 21st International Conference on Software Engineering (ICSE 21), Los Angeles, CA, pages 107-119. 1999.
420. Esterel Technologies. http://www.esterel-technologies.com/October 2003.
421. Telelogic. http://www.telelogic.com, December 2003.
422. A. Tesanovic, S. Nadjm-Tehrani, and J. Hansson. In Embedded System Development with Components, Modular verification of reconfigurable components. Springer, Berlin Heidelberg New York, 2005.
423. A. Tesanovic, D. Nystrom, J. Hansson, and C. Norstrom. Aspects and components in real-time system development: Towards reconfigurable and reusable software. Journal of Embedded Computing, 1(1), October 2004.
424. Dave Thomas. MDA: Revenge of the modelers or UML utopia? IEEE Software, 21(3):15-17, May 2004.
425. Sander Tichelaar, Stephane Ducasse, Serge Demeyer, and Oscar Nierstrasz. A metamodel for language-independent refactoring. In Proceedings of International Symposium on Principles of Software Evolution (ISPSE 2000), pages 157-169, Kanazawa, Japan, 2000. IEEE Computer Society Press, Silver Spring, MD.
426. D. Truscan. A model-driven approach to TTA-based processor configuration. In Forum on specification and Design Languages (FDL'04), 2004.
427. D. Truscan. A UML profile for the TACO protocol processing framework. In Proceedings of the 22nd Norchip Conference, pages 225-228, November 2004.
428. D. Truscan, J. M. Fernandes, and J. Lilius. Tool support for DFD to UML model-based transformations. Technical Report 519, Turku Centre for Computer Science (TUCS), Turku, Finland, 2003.
429. D. Truscan, J.M. Fernandes, and J. Lilius. Tool support for DFD-UML model-based transformations. In 11th International Conference and Workshop on the Engineering of Computer Based Systems (ECBS'04), May 2004.
430. A. Tsiolakis and H. Ehrig. Consistency analysis of uml class and sequence diagrams using attributed graph grammars. In Proceedings of GRATRA 2000.
431. UML Revision Task Force. OMG UML Specification. OMG Document ad/01- 09-67. http://www.omg.org/uml, 2001.
432. Pieter Van Gorp, Dirk Janssens, and Tracy Gardner. Write once, deploy N: A performance oriented mda case study. In Proceedings of the 8th IEEE International Enterprise Distributed Object Computing Conference, September 2004.
433. Pieter Van Gorp, Niels Van Eetvelde, and Dirk Janssens. Implementing refactorings as graph rewrite rules on a platform independent meta model. In Proceedings of Fujaba Days 2003, 2003.
434. R. vanOmmering, F. vanderLinden, J. Kramer, and J. Magee. The koala component model for consumer electronics software. Computer, 33(3):78-85, March 2000.
435. D. Varro and A. Pataricza. Generic and meta-transformations for model transformation engineering. In Proceedings of the UML 2004 Conference, volume 3237 of LNCS, pages 290-304, Lisbon, Portugal, October 2004. Springer, Berlin Heidelberg New York.
436. D. Varro, G. Varro, and A. Pataricza. Designing the automatic transformation of visual languages. Science of Computer Programming, pages 205-227, 2002.
437. Daniel Varro. Towards symbolic analysis of visual modelling languages. In Paolo Bottoni and Mark Minas, editors, Proceedings of GT-VMT 2002: International Workshop on Graph Transformation and Visual Modelling Techniques, volume 72 of LNCS, pages 57-70, Barcelona, Spain, October 2002. Elsevier, Amsterdam.
438. Daniel Varro. Automated formal verification of visual modeling languages by model checking. Journal of Software and Systems Modeling, 3(2):85-113, May 2004.
439. Daniel Varro and Andras Pataricza. Automated formal verification of model transformations. In Jan Jurjens, Bernhard Rumpe, Robert France, and Eduardo B. Fernandez, editors, CSDUML 2003: Critical Systems Development in UML Proceedings of the UML'03 Workshop, pages 63-78, 2003.
440. Gergely Varro, Katalin Friedl, and Daniel Varro. Graph transformations in relational databases. In Proceedings GraBaTs 2004: International Workshop on Graph Based Tools, Elsevier, Amsterdam, 2004. To appear.
441. Gergely Varro and Daniel Varro. Graph transformation with incremental updates. In Proceedings of GT-VMT 2004, International Workshop on Graph Transformation and Visual Modelling Techniques. Elsevier, Amsterdam, March 2004. To appear.
442. Velocity. http://jakarta.apache.org/velocity/, December 2004.
443. S. Virtanen, J. Lilius, T. Nurmi, and T. Westerlund. TACO: Rapid design space exploration for protocol processors. In The Ninth IEEE/DATC Electronic Design Processes Workshop Notes, Monterey, CA, USA, April 2002.
444. S. Virtanen, T. Lundstrom, and J. Lilius. A processor design tool for the TACO framework. In Proceedings of 2002 IEEE Norchip Conference, November 2002.
445. S. Virtanen, D. Truscan, and J. Lilius. TACO IPv6 Router - A case study in protocol processor design. Technical Report 528, Turku Centre for Computer Science, April 2003.
446. Eelco Visser. A survey of rewriting strategies in program transformation systems. In B. Gramlich and S. Lucas, editors, Proceedings of Workshop on Reduction Strategies in Rewriting and Programming, volume 57 of LNCS. Elsevier, May 2001.
447. W. Visser, K. Havelund, G. Brat, and S. Park. Model checking programs. In ASE'00: Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, page 3, 2000.
448. Attila Vizhanyo, Aditya Agrawal, and Feng Shi. Towards generation of highperformance transformations. In Generative Programming and Component Engineering: Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings, volume 3286 of LNCS, pages 298-316. Springer, Berlin Heidelberg New York, 2004.
449. G. Wainer. CD++: A toolkit to develop DEVS models. Software - Practice and Experience, 32:1261-1302, 2002.
450. G. Wainer, G. Christen, and A. Dobniewski. Defining DEVS models with the CD++ toolkit. In Proceedings of the European Simulation Symposium, 2001.
451. G.Wainer, E. Glinsky, and Peter MacSween. A model-driven technique for development of embedded systems based on the devs formalism. Technical Report SCE-05-03, Dept. of Systems and Computer Engineering. Carleton University, 2005.
452. Nanbor Wang, Chris Gill, Douglas C. Schmidt, and Venkita Subramonian. Configuring real-time aspects in component middleware. In Proceedings of the International Symposium on Distributed Objects and Applications (DOA'04), Agia Napa, Cyprus, October 2004.
453. Nanbor Wang and Christopher Gill. Improving real-time system configuration via a QoS-aware CORBA component model. In Hawaii International Conference on System Sciences, Software Technology Track, Distributed Object and Component-based Software Systems Minitrack, HICSS 2003.
454. Nanbor Wang, Douglas C. Schmidt, Aniruddha Gokhale, Craig Rodrigues, Balachandran Natarajan, Joseph P. Loyall, Richard E. Schantz, and Christopher D. Gill. QoSenabled middleware. In Qusay Mahmoud, editor, Middleware for Communications. Wiley, New York, 2003.
455. Yuan Wang, David J. DeWitt, and Jin-Yi Cai. X -diff: An effective change detection algorithm for xml documents. In Proceedings of the 19th International Conference on Data Engineering, pages 519-530, Bangalore, India, March 2003.
456. Jos Warmer and Anneke Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, Reading, MA, 1998.
457. Jos Warmer and Anneke Kleppe. The Object Constraint Language: Getting Your Models Ready for MDA, Second Edition. Addison-Wesley, Reading, MA, 2003.
458. R. Wieringa. A survey of structured and object-oriented software specification methods and techniques. ACM Computing Surveys, 30(4):459-527, 1998.
459. E.D.Willink. UMLX: A graphical transformation language forMDA. In A. Rensink, editor, Model Driven Architecture: Foundations and Applications Workshop Proceedings, pages 15-22, June 2003. http://trese.cs.utwente.nl/ mdafa2003/proceedings.pdf.
460. World Wide Web Consortium. The extensible stylesheet language transformations specification. http://www.w3.org/TR/1999/REC-xslt-19991116, 1999.
461. World Wide Web Consortium. http://www.w3.org/2002/ws/, January 2005.
462. Weidong Xia and Gwanhoo Lee. Grasping the complexity of is development projects. Communications of the ACM, 47(5):68-74, 2004.
463. J. Xu, L. Jin, and H. Zhu. Tool support of orderly transition from informal to formal descriptions in requirements engineering. In N. Terashima and E. Altman, editors, Proceedings of IFIP'96: Advanced IT Tools, pages 199-206. Chapman and Hall, London, 1996.
464. L. Yilmaz. Verification and validation: Automated object-flow testing of dynamic process interaction models. In Proceedings of the 33rd Conference on Winter Simulation, pages 586-594, Arlington, VA, USA, 2001.
465. Bernard P. Zeigler, Tag Gon Kim, and Herbert Praehofer. Theory of Modeling and Simulation. Academic Press, 2000.
466. T. Zheng and G. Wainer. Implementing finite state machines using the CD++ toolkit. In Proceedings of the SCS Summer Computer Simulation Conference, 2003.
467. H. Zhu. The role of caste in formal specification of mas. In S.T. Yuan and M. Yokoo, editors, Intelligent Agents: Specification, Modeling and Application, volume 2132 of LNCS, pages 1-15. Springer, Berlin Heidelberg New York, 2001.
468. H. Zhu. Slabs: A formal specification language for agent-based systems. Journal of Software Engineering and Knowledge Engineering, 11(5):529-558, 2001.
469. H. Zhu. Formal specification of evolutionary software agents. In C. George and H. Miao, editors, Formal Methods and Software Engineering, volume 2495 of LNCS, pages 249- 261. Springer, Berlin Heidelberg New York, 2002.
470. H. Zhu. A formal specification language for agent-oriented software engineering. In Proc. of AAMAS'2003, pages 1174-1175, Melbourne, Australia, 2003.
471. H. Zhu and D. Lightfoot. Caste: A step beyond object orientation. In L. Boszormenyi and P. Schojer, editors, Modular Programming Languages, Proceedings of JMLC'2003, volume 2789 of LNCS, pages 59-62. Springer, Berlin Heidelberg New York, 2003.
472. H. Zhu, B. Zhou, X. Mao, L. Shan, and D. Duce. Agent-oriented formal specification of web services. In GCC Workshops 2004, pages 633-641, 2004.
473. Hong Zhu, Patrick Hall, and John May. Software unit test coverage and adequacy. ACM Computing Surveys, pages 367-427, December 1997.
474. Albert Zundorf. Graph pattern matching in PROGRES. In Proceedings of 5th International Workshop on Graph-Grammars and their Application to Computer Science, volume 1073 of LNCS. Springer, Berlin Heidelberg New York, 1996.
475. Albert Zundorf. The Fujaba Toolsuite. http://www.fujaba.de/1999.
476. Albert Zundorf. Rigorous object oriented software development. Habilitation thesis, University of Paderborn, 2001.