Construction and evolution of code generators: A model-driven and service-oriented approach

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7747, Issue , 2013, Pages 1-265

  Jörges, Sven ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

AGILE DEVELOPMENT; AUTOMATIC CODE GENERATIONS; BUILDING BLOCKES; CODE GENERATION; CODE GENERATORS; DOMAIN SPECIFIC; FORMAL VERIFICATION METHODS; GENERAL APPROACH; GENESYS; GRAPHICAL DEVELOPMENT; LANGUAGE DEVELOPMENT; META LEVELS; MODEL DRIVEN APPROACH; MODEL DRIVEN DEVELOPMENT; MODEL-DRIVEN; REFERENCE IMPLEMENTATION; RELIABILITY AND ROBUSTNESS; REUSE AND INTEGRATIONS; RULE-BASED TRANSFORMATION; SERVICE-ORIENTED APPROACHES; SOFTWARE SYSTEMS; TARGET LANGUAGE;

COMPUTER PROGRAMMING LANGUAGES; MODEL CHECKING; SOFTWARE ENGINEERING; SPECIFICATIONS; SYSTEMS ANALYSIS;

BUILDING CODES;

EID: 84874502400     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (309)

1. van der Aalst, W.M.P., Lassen, K.B.: Translating unstructured workflow processes to readable BPEL: Theory and implementation. Information and Software Technology 50(3), 131-159 (2008
2. Abran, A., et al.: Guide to the Software Engineering Body of Knowledge-SWEBOK. 2004 version. IEEE Press (2004) ISBN: 0769510000
3. Aho, A.V., et al.: Compilers: Principles, Techniques, and Tools, 2nd edn. Addison Wesley (2006) ISBN: 0321486811
4. Atkinson, C., Kne, T.: Rearchitecting the UML infrastructure. ACM Transactions on Modeling and Computer Simulation (TOMACS) 12(4), 290-321 (2002
5. Atkinson, C., Kne, T.: Model-Driven Development: A Metamodeling Foundation. IEEE Software 20(5), 36-41 (2003
6. Appel, A.W.: Modern Compiler Implementation in Java. Cambridge University Press (1998) ISBN: 0521583888
7. Beck, K., Andres, C.: Extreme Programming Explained: Embrace Change, 2nd edn. Addison-Wesley (2004) ISBN: 0321278658
8. Backus, J.W., et al.: Revised report on the algorithm language ALGOL 60. Communications of the ACM 6(1), 1-17 (1963); Ed. by Peter Naur
9. Bagnall, B.: Core Lego MindstormsTM Programming. Prentice Hall PTR (2002) ISBN: 0130093645
10. Bahlo, T., et al.: PG 494 L2EE: Lightweight Process Coordination & J2EE. Final Report. In German, TU Dortmund, Chair of Programming Systems (2007), https://eldorado.tu-dortmund.de/bitstream/2003/24525/1/PG494-Endbericht.pdf
11. Bakera, M., et al.: Property-driven functional healing: Playing against undesired behavior. In: Proceedings of the Business Process Engineering, CONQUEST 2007, pp. 363-372, dpunkt (2007
12. Bakera, M., et al.: Tool-supported enhancement of diagnosis in modeldriven verification. Innovations in Systems and Software Engineering 5(3), 211-228 (2009
13. Bakera, M., et al.: Extracting Component-Oriented Behaviour for Self-Healing Enabling. In: IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe), pp. 152-161 (2010
14. Ben-Ari, M., Pnueli, A., Manna, Z.: The temporal logic of branching time. Acta Informatica 20(3), 207-226 (1983
15. Blair, G., Bencomo, N., France, R.B.: Models@ run.time. Computer 42, 22-27 (2009
16. Broy, M., Cengarle, M.V.: UML formal semantics: lessons learned. In: Software and Systems Modeling, pp. 1-6 (2011
17. Beck, K.: Test Driven Development: By Example. Addison-Wesley (2002) ISBN: 0321146530
18. Beck, K.: JUnit Pocket Guide (2004) ISBN: 0596007434
19. Bentmann, B.: Eine UML-Perspektive f jABC mit Anbindung an Standard-UML-Tools. Diploma Thesis. TU Dortmund, Chair of Programming Systems (2008) (in German
20. Beulshausen, B.: Automatisches Generieren von Perl Code aus grafischen Prozessmodellen. Diploma Thesis, TU Dortmund, Chair of Programming Systems (2010) (in German
21. Bivin, J., Gerb O.: Towards a Precise Definition of the OMG/MDA Framework. In: Proceedings of the 16th IEEE International Conference on Automated Software Engineering, ASE 2001, pp. 273-280. IEEE Computer Society (2001
22. Blech, J.O., Glesner, S., Leitner, J.: Formal Verification of Java Code Generation from UML Models. Fujaba Days (2005
23. Bakera, M., Jges, S., Margaria, T.: Test your Strategy: Graphical Construction of Strategies for Connect-Four. In: Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, pp. 172-181. IEEE Computer Society (2009
24. Blackwell, A.F.: Pictorial Representation and Metaphor in Visual Language Design. Journal of Visual Languages & Computing, 223-252 (2001 (Pubitemid 33652031)
25. Blackwell, A.F.: Metacognitive Theories of Visual Programming: What do we think we are doing In: Proceedings of the 1996 IEEE Symposium on Visual Languages, pp. 240-246. IEEE Computer Society (1996
26. Bajohr, M., Margaria, T.: MaTRICS: A servicebased management tool for remote intelligent configuration of systems. Innovations in Systems and Software Engineering 2(2), 99-111 (2006 (Pubitemid 44178083)
27. Bajohr, M., Margaria, T.: High Service Availability in MaTRICS for the OCS. In: Margaria, T., Steffen, B. (eds.) ISoLA 2008. CCIS, vol. 17, pp. 572-586. Springer, Heidelberg (2008
28. Bravenboer, M., et al.: Stratego/XT 0.17. A language and toolset for program transformation. Science of Computer Programming 72(1-2), 52-70 (2008
29. Beust, C., Suleiman, H.: Next Generation Java Testing: TestNG and Advanced Concepts. Addison-Wesley (2007) ISBN: 0321503104
30. Burdy, L., et al.: An overview of JML tools and applications. International Journal on Software Tools for Technology Transfer (STTT) 7(3), 212-232 (2005 (Pubitemid 41349063)
31. Bzivin, J.: On the unification power of models. Software and System Modeling 4(2), 171-188 (2005
32. Bivin, J., Jouault, F., Rosenthal, P., Valduriez, P.: Modeling in the Large and Modeling in the Small. In: Amann, U., Akit, M., Rensink, A. (eds.) MDAFA 2003. LNCS, vol. 3599, pp. 33-46. Springer, Heidelberg (2005
33. Bivin, J., et al.: Bridging the MS/DSL Tools and the Eclipse Modeling Framework. In: Proceedings of the International Workshop on Software Factories at OOPSLA 2005 (2005
34. Can, M., et al.: PG 513 DoPAC: Dortmund Online Public Access Catalog. Final Report. TU Dortmund, Chair of Programming Systems (2008) (in German
35. Czarnecki, K., Eisenecker, U.W.: Generative programming-methods, tools and applications. Addison-Wesley (2000) ISBN: 9780201309775
36. Clarke, E.M., Allen Emerson, E.: Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic. In: Engeler, E. (ed.) Logic of Programs 1979. LNCS, vol. 125, pp. 52-71. Springer, Heidelberg (1981
37. Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press (1999) ISBN: 9780262032704
38. Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Systems Journal 45(3), 621-645 (2006 (Pubitemid 44323030)
39. Chalin, P., Kiniry, J.R., Leavens, G.T., Poll, E.: Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2005. LNCS, vol. 4111, pp. 342-363. Springer, Heidelberg (2006 (Pubitemid 44543293)
40. Charette, R.N.: Why Software Fails. IEEE Spectrum 42(9), 42-49 (2005
41. Czarnecki, K., Helsen, S., Eisenecker, U.: Staged Configuration Using Feature Models. In: Nord, R.L. (ed.) SPLC 2004. LNCS, vol. 3154, pp. 266-283. Springer, Heidelberg (2004
42. Cheon, Y., Leavens, G.T.: A runtime assertion checker for the Java Modeling Language (JML). In: Proceedings of the International Conference on Software Engineering Research and Practice (SERP 2002), pp. 322-328. CSREA Press (2002
43. Clarke, D., Diakov, N., Hnle, R., Johnsen, E.B., Schaefer, I., Scher, J., Schlatte, R., Wong, P.Y.H.: Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol. 6659, pp. 417-457. Springer, Heidelberg (2011
44. Clements, P.C., Northrop, L.: Software Product Lines: Practices and Patterns. SEI Series in Software Engineering. Addison-Wesley (2001) ISBN: 978201703320
45. Chen, M., Nunamaker Jr., J.F., Sue Weber, E.: Computer-aided software engineering: present status and future directions. SIGMIS Database 20(1), 7-13 (1989
46. Cook, S., et al.: Domain Specific Development with Visual Studio DSL Tools. Addison-Wesley (2007) ISBN: 9780321398208
47. Cerpa, N., Verner, J.M.: Why did your project fail Communications of the ACM 52(12), 130-134 (2009) ISSN: 0001-0782
48. Czarnecki, K.: Overview of Generative Software Development. In: Banre, J.-P., Fradet, P., Giavitto, J.-L., Michel, O. (eds.) UPP 2004. LNCS, vol. 3566, pp. 326-341. Springer, Heidelberg (2005 (Pubitemid 41430307)
49. Czarnecki, K., sterbye, K., Vter, M.: Generative Programming. In: Herndez, J., Moreira, A. (eds.) ECOOP 2002 Workshops. LNCS, vol. 2548, pp. 15-29. Springer, Heidelberg (2002 (Pubitemid 36079798)
50. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in Property Specifications for Finite-State Verification. In: Proceedings of the 21st International Conference on Software Engineering, ICSE 1999, pp. 411-420. IEEE CS Press (1999
51. Dalal, S.R., et al.: Model-based testing in practice. In: Proceedings of the 21st International Conference on Software Engineering, ICSE 1999, pp. 285-294. ACM (1999
52. Denney, E., Fischer, B.: Extending Source Code Generators for Evidence-Based Software Certification. In: Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), pp. 138-145. IEEE Computer Society (2006
53. Dumas, M., Garc-Baelos, L., Polyvyanyy, A.: Unraveling Unstructured Process Models. In: Mendling, J., Weidlich, M., Weske, M. (eds.) BPMN 2010. LNBIP, vol. 67, pp. 1-7. Springer, Heidelberg (2010
54. Doedt, M.: Erweiterung der jABC-Framework Bibliothek um eine modular anpassbare Ausfrungsschicht. Diploma Thesis. TU Dortmund, Chair of Programming Systems (2006) (in German
55. Drazek, M.: jABC Plugin zur Konvertierung von SIB-Graph Modellen in jABC unabhgige Klassen. Diploma Thesis. TU Dortmund, Chair of Programming Systems (2006) (in German
56. van Deursen, A., Visser, E., Warmer, J.: Model-Driven Software Evolution: A Research Agenda. In: CSMR Workshop on Model-Driven Software Evolution (MoDSE 2007), pp. 41-49 (2007), http://swerl.tudelft.nl/twiki/pub/Main/ TechnicalReports/TUD-SERG-2007-006.pdf
57. Engels, G., Hking, R., Sauer, S., Wagner, A.: UML Collaboration Diagrams and Their Transformation to Java. In: France, R.B. (ed.) UML 1999. LNCS, vol. 1723, pp. 473-488. Springer, Heidelberg (1999
58. Engeler, E.: Structure and Meaning of Elementary Programs. In: Symposium on Semantics of Algorithmic Languages. Lect. Notes in Mathematics, vol. 188. Springer (1971
59. Favre, J.-M.: Towards a Basic Theory to Model Driven Engineering. In: Workshop on Software Model Engineering, WISME 2004, Joint Event with UML 2004 (2004
60. Fischbach, A.: JML-basierte Validierung von Design-by-Contract- Beschreibungen in jABC. Diploma Thesis, TU Dortmund, Chair of Programming Systems (2009) (in German
61. Flanagan, D.: JavaScript: The Definitive Guide. O'Reilly (2006) ISBN: 0596101996
62. Flanagan, D., Matsumoto, Y.: The Ruby Programming Language, 1st edn. O'Reilly (2008) ISBN: 9780596516178
63. Fowler, M.: Patterns of Enterprise Application Architecture. Addison-Wesley (2002) ISBN: 0321127420
64. Fowler, M.: Domain Specific Languages, 1st edn. Addison-Wesley (2010) ISBN: 9780321712943
65. Frank, S., et al.: Safety of Compilers and Translation Techniques-Status quo of Technology and Science. In: Automotive-Safety & Security 2008. Shaker Verlag (2008
66. Frankel, D.: Model Driven Architecture: Applying MDA to Enterprise Computing. John Wiley & Sons (2002) ISBN: 0471319201
67. Frakes, W., Terry, C.: Software reuse: metrics and models. ACM Computing Surveys (CSUR) 28(2), 415-435 (1996 (Pubitemid 126627762)
68. Fehnker, A., Vaandrager, F., Zhang, M.: Modeling and Verifying a Lego Car Using Hybrid I/O Automata. In: Proceedings of the Third International Conference on Quality Software, QSIC 2003, pp. 280-289 (2003
69. Gaeb, J.: Entwicklung eines BPEL-Plugins f das JavaABCFramework. Diploma Thesis. TU Dortmund, Chair of Programming Systems (2007) (in German
70. Gamma, E., et al.: Design patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley (1995) ISBN: 9780201633610
71. Garc-Baelos, L.: Pattern Identification and Classification in the Translation from BPMN to BPEL. In: Meersman, R., Tari, Z. (eds.) OTM 2008, Part I. LNCS, vol. 5331, pp. 436-444. Springer, Heidelberg (2008
72. Gosling, J., et al.: The Java Language Specification, 3rd edn. Addison-Wesley (2005) ISBN: 0321246780
73. Goldberg, A., Robson, D.: Smalltalk-80, The language and its implementation. Addison-Wesley (1983) ISBN: 0201113716
74. Greenfield, J., et al.: Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools. John Wiley & Sons (2004) ISBN: 0471202843
75. Grosso, W.: Java RMI. O'Reilly (2001) ISBN: 9781565924529
76. Gronback, R.C.: Eclipse Modeling Project: A Domain-Specific Language (DSL) Toolkit. Addison-Wesley (2009) ISBN: 9780321534071
77. Geiger, L., Schneider, C., Reckord, C.: Templateand modelbased code generation for MDA-Tools. In: 3rd International Fujaba Days (2005
78. Goos, G., Zimmermann, W.: Verification of Compilers. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design. LNCS, vol. 1710, p. 201230. Springer, Heidelberg (1999
79. Hagerer, A., Hungar, H., Margaria, T., Niese, O., Steffen, B., Ide, H.-D.: Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 336-340. Springer, Heidelberg (2002
80. Hagerer, A., Hungar, H.: Model Generation by Moderated Regular Extrapolation. In: Kutsche, R.-D.,Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 80-95. Springer, Heidelberg (2002
81. Hansen, J.C.: Lego MindstormsTM NXTTM Power Programming: Robotics in C. Variant Press (2007) ISBN: 0973864923
82. Hemel, Z., et al.: Code generation by model transformation: a case study in transformation modularity. Software and System Modeling 9(3), 375-402 (2010
83. Herrington, J.: Code Generation in Action. Manning Publications Co. (2003) ISBN: 1930110979
84. Hartmeier, S., Krer, J., Giegerich, R.: Webservices and Workflows on the Bielefeld Bioinformatics Server: Practices and Problems. In: Proceedings of NETTAB 2007 Workshop: A Semantic Web for Bioinformatics (2007
85. Hettel, T., Lawley, M., Raymond, K.: Model Synchronisation: Definitions for Round-Trip Engineering. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 31-45. Springer, Heidelberg (2008
86. Heckel, R., Lohmann, M., The, S.: Towards a UML Profile for Service-Oriented Architectures. In: Proceedings of the Workshop on Model Driven Architecture: Foundations and Applications (MDAFA 2003). CTIT Technical Report. University of Twente, pp. 115-120 (2003
87. Hennessy, M., Milner, R.: Algebraic laws for nondeterminism and concurrency. Journal of the ACM 32(1), 137-161 (1985
88. Hungar, H., Margaria, T., Steffen, B.: Test-Based Model Generation For Legacy Systems. In: Proceedings of the International Test Conference, ITC 2003, pp. 971-980 (2003
89. Hoare, T.: The verifying compiler: A grand challenge for computing research. Journal of the ACM 50(1), 63-69 (2003
90. Hoare, C.A.R.: An axiomatic basis for computer programming. Communications of the ACM 12(10), 576-580 (1969
91. Huth, M., Ryan, M.D.: Logic in computer science-modelling and reasoning about systems, 2nd edn. Cambridge University Press (2004) ISBN: 9780521543101
92. Hunter, R.: The Design and Construction of Compilers. John Wiley & Sons (1990) ISBN: 0471280542
93. Hmann, M., et al.: The jABC Approach to Rigorous Collaborative Development of SCM Applications. In: Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2008, pp. 724-737 (2008
94. Hel, S.: Entwicklung eines Plug-ins f das jABC-Framework zur Integration von.NET mittels C#. Diploma Thesis. University of Potsdam, Chair for Service and Software Engineering (2008) (in German
95. Telecommunication Standardization Sector of ITU (ITU-T). General Recommendations on Telephone Switching and Signalling-Intelligent Network: Introduction to Intelligent Network Capability Set 1, Recommendation Q.1211. Tech. rep. International Telecommunication Union, ITU (1993)
96. Telecommunication Standardization Sector of ITU (ITU-T). Recommendation I.329/Q.120: Intelligent Network-Global Functional Plane Architecture, 2nd edn. International Telecommunication Union, ITU (1997
97. Iversen, T.K., et al.: Model-checking real-time control programs: verifying Lego-MindstormsTM system using UPPAAL. In: Proceedings of the 12th Euromicro Conference on Real-Time Systems, Euromicro-RTS 2000, pp. 147-155. IEEE Computer Society (2000
98. Jouault, F., Kurtev, I.: Transforming Models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 128-138. Springer, Heidelberg (2006 (Pubitemid 43971467)
99. Jges, S., Margaria, T., Steffen, B.: FormulaBuilder: A Tool for Graph-Based Modelling and Generation of Formulae. In: Proceedings of the 28th International Conference on Software engineering, ICSE 2006, pp. 815-818. ACM (2006 (Pubitemid 46600994)
100. Jges, S., Margaria, T., Steffen, B.: Genesys: service-oriented construction of property conform code generators. Innovations in Systems and Software Engineering 4(4), 361-384 (2008
101. Jges, S., Margaria, T., Steffen, B.: Assuring property conformance of code generators via model checking. Formal Aspects of Computing 23(5), 589-606 (2011
102. Jjens, J., Shabalin, P.: Automated Verification of UMLsec Models for Security Requirements. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol. 3273, pp. 365-379. Springer, Heidelberg (2004 (Pubitemid 39737648)
103. Jges, S., Steffen, B.: Leveraging Service-Orientation for Combining Code Generation Frameworks. In: Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, pp. 198-207. IEEE Computer Society (2011
104. Jges, S., Steffen, B., Margaria, T.: Building Code Generators with Genesys: A Tutorial Introduction. In: Fernandes, J.M., Lmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2011. LNCS, vol. 6491, pp. 364-385. Springer, Heidelberg (2011
105. Jges, S., et al.: Model Driven Design of Reliable Robot Control Programs Using the jABC. In: Proceedings of the 4th IEEE International Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2007, pp. 137-148. IEEE Computer Society (2007
106. Kahn, G.: Natural Semantics. In: Brandenburg, F.J., Wirsing, M., Vidal-Naquet, G. (eds.) STACS 1987. LNCS, vol. 247, pp. 22-39. Springer, Heidelberg (1987
107. Kiepuszewski, B., ter Hofstede, A.H.M., Bussler, C.J.: On Structured Workflow Modelling. In: Wangler, B., Bergman, L.D. (eds.) CAiSE 2000. LNCS, vol. 1789, pp. 431-445. Springer, Heidelberg (2000
108. Kiczales, G., et al.: Aspect-Oriented Programming. In: Akit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220-242. Springer, Heidelberg (1997 (Pubitemid 127083932)
109. Klein, M., et al.: DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimization. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol. 1055, pp. 422-426. Springer, Heidelberg (1996
110. Kleppe, A.: Software Language Engineering: Creating Domain-Specific Languages Using Metamodels, 1st edn. Addison-Wesley (2008) ISBN: 9780321553454
111. Kelly, S., Lyytinen, K., Rossi, M.: MetaEdit+: A Fully Configurable Multi-User and Multi-Tool CASE and CAME Environment. In: Constantopoulos, P., Vassiliou, Y., Mylopoulos, J. (eds.) CAiSE 1996. LNCS, vol. 1080, pp. 1-21. Springer, Heidelberg (1996 (Pubitemid 126070794)
112. Karusseit, M., Margaria, T.: Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service. Electronic Notes in Theoretical Computer Science 157(2), 101-118 (2006
113. Kochan, S.: Programming in Objective-C 2.0, 2nd edn. Addison-Wesley (2009) ISBN: 9780321566157
114. Koloch, R.: Genesys und open ArchitectureWare: Ein praktischer Vergleich. Diploma Thesis, TU Dortmund, Chair of Programming Systems (2010) (in German
115. Kozen, D.: Results on the Propositional μ-Calculus. Theoretical Computer Science 27, 333-354 (1983
116. Kossatchev, A.S., Posypkin,M.A.: Survey of compiler testing methods. Programming and Computer Software 31(1), 10-19 (2005 (Pubitemid 40329579)
117. Kelly, S., Pohjonen, R.: Worst Practices for Domain-Specific Modeling. IEEE Software 26, 22-29 (2009
118. Klint, P., van der Storm, T., Vinju, J.: RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation. In: Proceedings of the 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, pp. 168-177. IEEE Computer Society (2009
119. Kelly, S., Tolvanen, J.-P.: Domain-Specific Modeling: Enabling Full Code Generation. John Wiley & Sons (2008) ISBN: 0470036664
120. Kubczak, C., et al.: Service-oriented Mediation with jABC/-jETI. In: Semantic Web Services Challenge. Semantic Web and Beyond, vol. 8, pp. 71-99. Springer (2009
121. Kats, L.C.L., Visser, E.: The Spoofax Language Workbench. Rules for Declarative Specification of Languages and IDEs. In: Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, pp. 444-463. ACM (2010
122. Kne, T.: Matters of (Meta-)Modeling. Software and System Modeling 5(4), 369-385 (2006
123. Labarga, A., et al.: Web Services at the European Bioinformatics Institute. Nucleic Acids Research 35( Web-Server-Issue), 6-11 (2007
124. Lamprecht, A.-L., et al.: Synthesis-Based Loose Programming. In: Proceedings of the 7th International Conference on the Quality of Information and Communications Technology, QUATIC, pp. 262-267. IEEE Computer Society (2010
125. Laroussinie, F.: About the expressive power of CTL combinators. Information Processing Letters 54(6), 343-345 (1995
126. Ledeczi, A., et al.: The Generic Modeling Environment. In: Workshop on Intelligent Signal Processing, WISP 2001, vol. 17. IEEE (2001
127. Lemcke, J., et al.: Advances in Solving the Mediator Scenario with jABC and jABC/GEM. In: Semantic Web Services Challenge: Proceedings of the 2008 Workshops, LG-2009-01, pp. 89-102 (2009), http://logic.stanford.edu/reports/LG- 2009-01.pdf
128. Lenzner, N.: Einbindung von UML-Modellierungs-und Codegenerierungstools in das Genesys-Framework. Bachelor Thesis. TU Dortmund, Chair of Programming Systems (2009) (in German
129. Leroy, X.: Formal certification of a compiler back-end or: programming a compiler with a proof assistant. In: Conference Record of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, pp. 42-54. ACM (2006
130. Levine, J., Mason, T., Brown, D.: lex & yacc, 2nd edn. (A Nutshell Handbook). O'Reilly (1992) ISBN: 1565920007
131. Latella, D., Majzik, I., Massink, M.: Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Modelchecker. Formal Aspects of Computing 11(6), 637-664 (1999 (Pubitemid 129556008)
132. Lamprecht, A.-L., Margaria, T., Steffen, B.: Data-Flow Analysis as Model Checking Within the jABC. In: Mycroft, A., Zeller, A. (eds.) CC 2006. LNCS, vol. 3923, pp. 101-104. Springer, Heidelberg (2006 (Pubitemid 44019645)
133. Lamprecht, A.-L., Margaria, T., Steffen, B.: Seven Variations of an Alignment Workflow-An Illustration of Agile Process Design and Management in Bio-jETI. In: Mndoiu, I., Wang, S.-L., Zelikovsky, A. (eds.) ISBRA 2008. LNCS (LNBI), vol. 4983, pp. 445-456. Springer, Heidelberg (2008
134. Lamprecht, A.-L., Margaria, T., Steffen, B.: From Bio-jETI Process Models to Native Code. In: Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, pp. 95-101. IEEE Computer Society (2009
135. Lecarme, O., Peyrolle-Thomas, M.-C.: Self-compiling Compilers: An Appraisal of their Implementation and Portability. Software-Practice and Experience 8(2), 149-170 (1978 (Pubitemid 8612764)
136. Lez-Sanz, M., et al.: Modelling of Service-Oriented Architectures with UML. Electronic Notes in Theoretical Computer Science 194(4) (2008); Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2007, pp. 23-37 (2007
137. Lindholm, T., Yellin, F.: The Java Virtual Machine Specification, 2nd edn. Addison-Wesley (1999) ISBN: 0201432943
138. Mellor, S.J., Balcer, M.: Executable UML: A Foundation for Model-Driven Architectures. Addison-Wesley (2002) ISBN: 0201748045
139. McCarthy, J.: Recursive functions of symbolic expressions and their computation by machine, Part I. Communications of the ACM 3(4), 184-195 (1960
140. Medvidovic, N., Egyed, A.F., Rosenblum, D.S.: Round-Trip Software Engineering Using UML: From Architecture to Design and Back. In: Proceedings of the 2nd Workshop on Object-Oriented Reengineering, WOOR 1999 (1999
141. Meyer, B.: Applying 'Design by Contract'. Computer 25(10), 40-51 (1992
142. Milner, R.: Communication and Concurrency. Prentice-Hall (1989) ISBN: 9780131150072
143. Margaria, T., Kubczak, C., Steffen, B.: Bio-jETI: a service integration, design, and provisioning platform for orchestrated bioinformatics processes. BMC Bioinformatics 9(S-4), 1-17 (2008
144. Margaria, T., Niese, O., Steffen, B.: Demonstration of an Automated Integrated Test Environment for Web-Based Applications. In: Bošnaki, D., Leue, S. (eds.) SPIN 2002. LNCS, vol. 2318, pp. 250-253. Springer, Heidelberg (2002
145. Mler-Olm, M.: Modular Compiler Verification. LNCS, vol. 1283. Springer, Heidelberg (1997
146. Moody, D.: The 'Physics' of Notations: Toward a Scientific Basis for Constructing Visual Notations in Software Engineering. IEEE Transactions on Software Engineering 35(6), 756-779 (2009
147. Morimoto, S.: A Survey of Formal Verification for Business Process Modeling. In: Bubak, M., van Albada, G.D., Dongarra, J., Sloot, P.M.A. (eds.) ICCS 2008, Part II. LNCS, vol. 5102, pp. 514-522. Springer, Heidelberg (2008
148. Mler-Olm, M., Schmidt, D.A., Steffen, B.: Model-Checking: A Tutorial Introduction. In: Cortesi, A., Fil G. (eds.) SAS 1999. LNCS, vol. 1694, pp. 330-354. Springer, Heidelberg (1999
149. Mler-Olm, M., Yoo, H.: MetaGame: An Animation Tool for Model-Checking Games. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988, pp. 163-167. Springer, Heidelberg (2004
150. Margaria, T., Rhing, O., Steffen, B.: ViDoC-Visual Design of Optimizing Compilers. In: Reps, T., Sagiv, M., Bauer, J. (eds.) Wilhelm Festschrift. LNCS, vol. 4444, pp. 145-159. Springer, Heidelberg (2007
151. Margaria, T., Steffen, B.: Lightweight coarsegrained coordination: a scalable system-level approach. International Journal on Software Tools for Technology Transfer (STTT) 5(2), 107-123 (2004
152. Margaria, T., Steffen, B.: Service Engineering: Linking Business and IT. IEEE Computer 39(10), 45-55 (2006 (Pubitemid 44593690)
153. Margaria, T., Steffen, B.: Agile IT: Thinking in User-Centric Models. In: Margaria, T., Steffen, B. (eds.) ISoLA 2008. CCIS, vol. 17, pp. 490-502. Springer, Heidelberg (2008
154. Margaria, T., Steffen, B.: Business Process Modelling in the jABC: The One-Thing Approach. In: Handbook of Research on Business Process Modeling, pp. 1-26. IGI Global (2009
155. Margaria, T., Steffen, B.: Continuous Model-Driven Engineering. IEEE Computer 42(10), 106-109 (2009
156. Margaria, T., Steffen, B., Reitenspiess, M.: Service-Oriented Design: The Roots. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 450-464. Springer, Heidelberg (2005 (Pubitemid 43856204)
157. Nagel, R.: Technische Herausforderungen modellgetriebener Beherrschung von Prozesslebenszyklen aus der Fachperspektive: Von der Anforderungsanalyse zur Realisierung. PhD thesis, TU Dortmund, Chair Programming Systems (2009) (in German
158. Naujokat, S.: Automatische Generierung von Prozessen im jABC. Diploma Thesis, TU Dortmund, Chair of Programming Systems (2009) (in German
159. Necula, G.C.: Translation validation for an optimizing compiler. In: Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation, PLDI 2000, pp. 83-94. ACM (2000 (Pubitemid 32394085)
160. Necula, G.C.: Proof-carrying code. In: Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1997, pp. 106-119. ACM (1997
161. Neubauer, J.: LocalChecker Plugin for the jABC. Student Research Project Report. TU Dortmund, Chair of Programming Systems (2007
162. Niese, O., et al.: Automated Regression Testing of CTI-Systems. In: Proceedings of the IEEE European Test Workshop, ETW 2001, pp. 51-57. IEEE Computer Society (2001
163. Niese, O., Steffen, B., Margaria, T., Hagerer, A., Brune, G., Ide, H.-D.: Library-Based Design and Consistency Checking of System-Level Industrial Test Cases. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol. 2029, pp. 233-248. Springer, Heidelberg (2001 (Pubitemid 33256477)
164. Naujokat, S., Lamprecht, A.-L., Steffen, B.: Tailoring Process Synthesis to Domain Characteristics. In: Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, pp. 167-175. IEEE Computer Society (2011
165. Neubauer, J., Margaria, T., Steffen, B.: Design for Verifiability: The OCS Case Study. In: Formal Methods for Industrial Critical Systems: A Survey of Applications. John Wiley & Sons (2011) (in print) ISBN: 9780470876183
166. Oldevik, J., Neple, T., Grmo, R., Aagedal, J., Berre, A.-J.: Toward Standardised Model to Text Transformations. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, vol. 3748, pp. 239-253. Springer, Heidelberg (2005
167. Oulsnam, G.: Unravelling Unstructured Programs. The Computer Journal 25(3), 379-387 (1982
168. Ouyang, C., et al.: From BPMN Process Models to BPEL Web Services. In: Proceedings of the IEEE International Conference on Web Services, pp. 285-292. IEEE Computer Society (2006 (Pubitemid 351209864)
169. Papazoglou, M.P.: Web Services: Principles and Technology. Pearson, Prentice Hall (2008) ISBN: 9780321155559
170. Parr, T.: Enforcing strict model-view separation in template engines. In: Proceedings of the 13th International Conference on World Wide Web, WWW 2004, pp. 224-233. ACM (2004 (Pubitemid 40752757)
171. Pohl, K., Bkle, G., van der Linden, F.J.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer (2005) ISBN: 3540243720
172. Plotkin, G.D.: A Structural Approach to Operational Semantics. Tech. rep. DAIMI FN-19. Computer Science Department, Aarhus University (1981
173. Polanski, A.: Sequence Alignment. In: Bioinformatics, pp. 155-156. Springer (2007
174. Parr, T., Quong, R.: ANTLR: A Predicated-LL(k) Parser Generator. Software-Practice and Experience 25(7), 789-810 (1995
175. Pnueli, A., Siegel, M., Singerman, E.: Translation Validation. In: Steffen, B. (ed.) TACAS 1998. LNCS, vol. 1384, pp. 151-166. Springer, Heidelberg (1998 (Pubitemid 128055542)
176. Queille, J.-P., Sifakis, J.: Specification and Verification of Concurrent Systems in CESAR. In: Dezani-Ciancaglini, M., Montanari, U. (eds.) Programming 1982. LNCS, vol. 137, pp. 337-351. Springer, Heidelberg (1982 (Pubitemid 13564444)
177. Raffelt, H., et al.: Hybrid test of web applications with webtest. In: Proceedings of the 2008 Workshop on Testing, Analysis, and Verification of Web Services and Applications, TAVWEB 2008, pp. 1-7. ACM (2008
178. Raffelt, H., et al.: Dynamic testing via automata learning. International Journal on Software Tools for Technology Transfer (STTT) 11(4), 307-324 (2009
179. Raistrick, C., et al.: Model Driven Architecture with Executable UML. Cambridge University Press (2004) ISBN: 0521537711
180. Ryabtsev, M., Strichman, O.: Translation Validation: From Simulink to C. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 696-701. Springer, Heidelberg (2009
181. Rugina, A.-E., et al.: Gene-Auto: Automatic Software Code Generation for Real-Time Embedded Systems. In: Data Systems in Aerospace, DASIA 2008. European Space Agency (2008
182. Schwaber, K., Beedle, M.: Agile Software Development with Scrum. Prentice Hall PTR (2001) ISBN: 9780130676344
183. Stmer, I., Conrad, M.: Code Generator Testing in Practice. In: INFORMATIK 2004,-Informatik verbindet, Band 2, Beitre der 34. Jahrestagung der Gesellschaft f Informatik e.V (GI), pp. 33-37. GI (2004
184. Schinz, I., et al.: The Rhapsody UML Verification Environment. In: Proceedings of the Second International Conference on Software Engineering and Formal Methods, SEFM 2004, pp. 174-183. IEEE Computer Society Press (2004 (Pubitemid 40456419)
185. Schaefer, I., Bettini, L., Bono, V., Damiani, F., Tanzarella, N.: Delta-Oriented Programming of Software Product Lines. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol. 6287, pp. 77-91. Springer, Heidelberg (2010
186. Schmidt, D.C.: Guest Editor's Introduction: Model-Driven Engineering. Computer 39, 25-31 (2006
187. Schulte, B.E.: Modellgetriebene Steuerung eingebetteter Systeme und ihrer Anwendung f Lego NXT. Diploma Thesis, TU Dortmund, Chair of Programming Systems (2007) (in German
188. Schmidt, D.A.: Denotational semantics: a methodology for language development. William C. Brown Publishers (1986) ISBN: 0697068492
189. Seidewitz, E.: What Models Mean. IEEE Software 20(5), 26-32 (2003
190. Selic, B.: The Pragmatics of Model-Driven Development. IEEE Software 20, 19-25 (2003
191. Selic, B.: The Theory and Practice of Modeling Language Design for Model-Based Software Engineering-A Personal Perspective. In: Fernandes, J.M., Lmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2009. LNCS, vol. 6491, pp. 290-321. Springer, Heidelberg (2011
192. Shehory, O.: SHADOWS: Self-healing complex software systems. In: 23rd IEEE/ACM International Conference on Automated Software Engineering-Workshop Proceedings (ASE Workshops 2008), pp. 71-76. IEEE (2008
193. Steffen, B., Ingfsdtir, A.: Characteristic formulae for processes with divergence. Information and Computation 110(1), 149-163 (1994
194. Sendall, S., Kozaczynski, W.: Model Transformation: The Heart and Soul of Model-Driven Software Development. IEEE Software 20(5), 42-45 (2003
195. Sztipanovits, J., Karsai, G.: Model-integrated computing. Computer 30(4), 110-111 (1997
196. Steffen, B., Margaria, T.: METAFrame in Practice: Design of Intelligent Network Services. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design. LNCS, vol. 1710, pp. 390-415. Springer, Heidelberg (1999
197. Steffen, B., Margaria, T., Nagel, R.: Remote Integration and Coordination of Verification Tools in jETI. In: Proceedings of 12th IEEE International Conference on the Engineering of Computer Based Systems, ECBS 2005, pp. 431-436. IEEE Computer Society Press (2005 (Pubitemid 41718888)
198. Smolinski, M.: Modellbasierte Entwicklung und Generierung von Test-Suiten: Eine Fallstudie anhand von Genesys & JUnit. Diploma Thesis, TU Dortmund, Chair of Programming Systems (2010) (in German
199. Steffen, B., Margaria, T., Wagner, C.: Round-Trip Engineering. In: Encyclopedia of Software Engineering, pp. 1044-1055. Taylor & Francis (2010
200. Steffen, B., Narayan, P.: Full Life-Cycle Support for End-to-End Processes. IEEE Computer 40(11), 64-73 (2007
201. Spitzer, D.: Modellbasierte Entwicklung von Code-Generatoren f stark eingeschrkte Ausfrungsumgebungen am Beispiel der iPhone-Plattform. Diploma Thesis, TU Dortmund, Chair of Programming Systems (2009) (in German
202. Schmidt, D.A., Steffen, B.: Program Analysis as Model Checking of Abstract Interpretations. In: Levi, G. (ed.) SAS 1998. LNCS, vol. 1503, pp. 351-380. Springer, Heidelberg (1998 (Pubitemid 128135891)
203. Stahl, T., et al.: Modellgetriebene Softwareentwicklung: Techniken, Engineering, Management, 2nd edn., dpunkt (2007) (in German) ISBN: 978-3-89864-448-8
204. Stachowiak, H.: Allgemeine Modelltheorie. Springer (1973) (in German) ISBN: 9783211811061
205. Steffen, B., Margaria, T., Nagel, R., Jges, S., Kubczak, C.: Model-Driven Development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol. 4383, pp. 92-108. Springer, Heidelberg (2007
206. Steinberg, D., et al.: EMF: Eclipse Modeling Framework 2.0, 2nd edn. Addison-Wesley (2009) ISBN: 0321331885
207. Steffen, B., et al.: Intelligent Software Synthesis in the Da-Capo Environment. In: Proceedings of the 6th NordicWorkshop on Programming Theory. BRICS Report N. 94/6 (December 1994
208. Steffen, B., et al.: Incremental Formalization: A Key to Industrial Success. Software-Concepts and Tools 17(2), 78-91 (1996
209. Steffen, B., et al.: Hierarchical Service Definition. Annual Review of Communication, 847-856 (1997
210. Steffen, B.: Characteristic Formulae. In: Ronchi Della Rocca, S., Ausiello, G., Dezani-Ciancaglini, M. (eds.) ICALP 1989. LNCS, vol. 372, pp. 723-732. Springer, Heidelberg (1989
211. Steffen, B.: Data Flow Analysis as Model Checking. In: Ito, T., Meyer, A.R. (eds.) TACS 1991. LNCS, vol. 526, pp. 346-365. Springer, Heidelberg (1991
212. Storz, D.: Intuitive und experimentelle Modellierung von Strategien am Beispiel von Robocode. Diploma Thesis, TU Dortmund, Chair of Programming Systems (2010) (in German
213. Strecker, M.: Formal Verification of a Java Compiler in Isabelle. In: Voronkov, A. (ed.) CADE-18. LNCS (LNAI), vol. 2392, pp. 63-77. Springer, Heidelberg (2002
214. Stmer, I., et al.: Systematic Testing of Model-Based Code Generators. IEEE Transactions on Software Engineering 33(9), 622-634 (2007
215. Stmer, I.,Weinberg, D., Conrad, M.: Overview of existing safeguarding techniques for automatically generated code. In: Proceedings of the Second International Workshop on Software Engineering for Automotive Systems, SEAS 2005, pp. 1-6. ACM (2005
216. Thompson, J.D., Higgins, D.G., Gibson, T.J.: CLUSTAL W: improving the sensitivity of progressive multiple sequence alignment through sequence weighting, pŠositionspecific gap penalties and weight matrix choice. Nucleic Acids Research 22(22), 4673-4680 (1994 (Pubitemid 24354800)
217. Thomas, D.: MDA: Revenge of the Modelers or UML Utopia IEEE Software 21(3), 15-17 (2004
218. Tolvanen, J.-P., Kelly, S.: MetaEdit+: defining and using integrated domain-specific modeling languages. In: Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, pp. 819-820. ACM (2009
219. Tolmatcev, O.: Erprobung und Evaluierung der Anwendbarkeit von XSLT im Code-Generator-Framework Genesys. Diploma Thesis, TU Dortmund, Chair of Programming Systems (2011) (in German
220. Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers (2006) ISBN: 0123725011
221. Vter, M.: A Catalog of Patterns for Program Generation. In: Proceedings of the 8th European Conference on Pattern Languages of Programs, EuroPLoP 2003, UVK (2003
222. Vassev, E.I.: Towards a framework for specification and code generation of automatic systems. PhD thesis. Concordia University (2008
223. Van Der Aalst, W.M.P., et al.: Workflow Patterns. Distributed and Parallel Databases 14(1), 5-51 (2003
224. Vlissides, J.: Pattern hatching: design patterns applied. Addison-Wesley (1998) ISBN: 0201432935
225. Vouk, M.A.: Back-to-back testing. Information and Software Technology 32(1), 34-45 (1990 (Pubitemid 20674039)
226. Vter, M., Visser, E.: Language extension and composition with language workbenches. In: Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, SPLASH/OOPSLA 2010, pp. 301-304. ACM (2010
227. Vanhatalo, J., Vzer, H., Koehler, J.: The Refined Process Structure Tree. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 100-115. Springer, Heidelberg (2008
228. Vter, M.: MD* Best Practices. Journal of Object Technology 8(6), 79-102 (2009
229. Wagner, C.: Modellgetriebene Software-Migration. PhD thesis. University of Potsdam, Chair of Service and Software Engineering (2012) (in German
230. Wall, L.: Programming Perl, 3rd edn. O'Reilly (2000) ISBN: 0596000278
231. Ward, M.P.: Language-Oriented Programming. Software-Concepts and Tools 15(4), 147-161 (1994
232. Watt, D.A.: Programming Language Processors: Compilers and Interpreters. Prentice Hall (1993) ISBN: 9780137201297
233. Whitley, K.N.: Visual Programming Languages and the Empirical Evidence For and Against. Journal of Visual Languages & Computing 8(1), 109-142 (1997 (Pubitemid 127175795)
234. HowardWilliams, M.: Generating Structured Flow Diagrams: The Nature of Unstructuredness. The Computer Journal 20(1), 45-50 (1977
235. Winkler, C.: Entwicklung eines jABC-Plugins zum Design von JDBCkompatiblen Datenbankschemata. Diploma Thesis, TU Dortmund, Chair of Programming Systems (2006) (in German
236. Wagner, C., Margaria, T., Pagendarm, H.-G.: Analysis and Code Model Extraction for C/C++ Source Code. In: Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, pp. 110-119. IEEE Computer Society (2009
237. Yoo, H.: Fehlerdiagnose beim Model-Checking durch animierte Strategie-Synthese. PhD thesis, TU Dortmund, Chair Programming Systems (2007) (in German
238. Apple. iOS Technology Overview (2011), http://developer.apple.com/ technologies/ios/
239. Boocock, P.: The Jamda Project (2003), http://jamda.sourceforge.net/
240. JRuby Community. JRuby.org (2011), http://www.jruby.org
241. Dmitriev, S.: Language Oriented Programming: The Next Programming Paradigm (2004), http://www.onboard.jetbrains.com/is1/articles/04/10/lop/mps.pdf
242. Fowler, M.: Language Workbenches: The Killer-App for Domain Specific Languages (2005), http://martinfowler.com/articles/languageWorkbench.html
243. DNA Data Bank of Japan (DDBJ). Web API for Biology (WABI) (2010), http://xml.nig.ac.jp/index.html
244. JetBrains. Meta Programming System (2011), http://www.jetbrains.com/mps/
245. Jges, S.: Genesys SIBs Website (2010), http://jabc.cs.tu-dortmund.de/ genesys/genesys-lib/sibdocs/index.html
246. Larsen, F.N.: Robocode Home (2011), http://robocode.sourceforge.net/
247. Ley, M.: DBLP Computer Science Bibliography (2011), http://dblp.uni- trier.de/
248. Microsoft. Microsoft .NET Framework (2011), http://www.microsoft.com/net
249. Oracle. Enterprise JavaBeans Technology (2011), http://www.oracle.com/ technetwork/java/javaee/ejb
250. Oracle. Java Enterprise Edition Website (2011), http://www.oracle.com/ technetwork/java/javaee
251. Oracle. Java ME (2011), http://www.oracle.com/technetwork/java/javame
252. Oracle. JavaBeans Specification (2011), http://www.oracle.com/ technetwork/java/javase/documentation/spec-136004.html
253. TU Dortmund, Chair for Programming Systems. jABC Common SIBs Website (2010), http://www.jabc.de/sib
254. Active Endpoints. ActiveVOS BPMS (2011), http://activevos.com/
255. Activiti Team. Activiti (2011), http://www.activiti.org/
256. Altova. Altova UModel (2011), http://www.altova.com/umodel.html
257. AndroMDA Team. AndroMDA (2011), http://www.andromda.org/
258. Apache Foundation. Apache Velocity (2010), http://velocity.apache.org
259. Apache Foundation. Apache Ant (2011), http://ant.apache.org/
260. Apache Foundation. Apache Maven (2011), http://maven.apache.org
261. Apache Foundation. Apache ODE (2011), http://ode.apache.org/
262. Apache Software Foundation. Apache Struts (2011), http://struts.apache. org/
263. Apache Software Foundation. Apache Subversion (2011), http://subversion.apache.org/
264. Borland. Together (2011), http://www.borland.com/us/products/together/
265. Schwennicke, C., Gallert, S.: XCoder (2011), http://xcoder.sf.net
266. Eclipse Foundation. EMF Developer Guide (2005), http://help.eclipse.org/ helios/index.jsptopic=/org.eclipse.emf.doc/references/overview/EMF.html
267. Eclipse Foundation. Eclipse Graphical Modeling Framework (GMF) (2011), http://www.eclipse.org/gmf/
268. Eclipse Foundation. Eclipse Model Development Tools (MDT): UML2 (2011),http://www.eclipse.org/modeling/mdt/project=uml2
269. Eclipse Foundation. Eclipse Model Development Tools (MDT): UML2 Tools (2011), http://www.eclipse.org/modeling/mdt/project=uml2tools
270. Eclipse Foundation. JET (2011), http://www.eclipse.org/modeling/m2t/ project=jet#jet
271. Eclipse Foundation. SWT: The Standard Widget Toolkit (2011), http://www.eclipse.org/swt/
272. Eclipse Foundation. Xpand (2011), http://www.eclipse.org/modeling/m2t/ project=xpand
273. Eclipse Foundation. Xtend 2 (2011), http://www.eclipse.org/Xtext/#xtend2
274. Eclipse Foundation. Xtext (2011), http://www.eclipse.org/Xtext/
275. Free Software Foundation. GNU 'make' (2011) http://www.gnu.org/software/ make/manual/make.html
276. FreeMarker Project. FreeMarker: Java Template Engine Library (2011), http://freemarker.org/
277. ISO. The ANSI C standard (C99). Tech. rep. WG14 N1124. ISO/IEC (2005), http://www.open-std.org/JTC1/SC22/WG14/www/docs/n1124.pdf
278. Java Community Process. JSR 40: The tadata Interface (JMI) Specification (2002), http://www.jcp.org/en/jsr/detailid=40
279. Java Community Process. JSR 52: A Standard Tag Library for JavaServer Pages (2006), http://www.jcp.org/en/jsr/detailid=52
280. Java Community Process. JSR 139: Connected Limited Device Configuration 1.1 (2007), http://www.jcp.org/en/jsr/detailid=139
281. Java Community Process. JSR 222: Java Architecture for XML Binding (JAXB) 2.0 (2009), http://www.jcp.org/en/jsr/detailid=222
282. Java Community Process. JSR 245: JavaServer Pages 2.1 (2009), http://www.jcp.org/en/jsr/detailid=245
283. Java Community Process. JSR 271: Mobile Information Device Profile 3 (2009), http://www.jcp.org/en/jsr/detailid=271
284. Java Community Process. JSR 224: Java API for XML-Based Web Services (JAX-WS) 2.0 (2011), http://jcp.org/en/jsr/detailid=224
285. Java Community Process. JSR 315: Java Servlet 3.0 Specification (2011), http://www.jcp.org/en/jsr/detailid=315
286. Kennedy-Carter. UML ASL Reference Guide, ASL Language Level 2.5 (2003), http://www.ooatool.com/docs/ASL03.pdf
287. Microsoft. Official Microsoft ASP.NET Site (2011), http://www.asp.net/
288. OASIS. Web Services Business Process Execution Language Version 2.0 (2007), http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.pdf
289. Obeo. Acceleo-MDA generator (2011), http://www.acceleo.org
290. Object Management Group. Common Warehouse Metamodel (CWM) Specification, Version 1.1. formal/03-03-02 (2003), http://www.omg.org/spec/CWM/1.1/
291. Object Management Group. Model Driven Architecture (MDA) Guide Version 1.0.1. omg/2003-06-01 (2003), http://www.omg.org/cgi-bin/docomg/03-06-01
292. Object Management Group. Human-Usable Textual Notation (HUTN) Specification. formal/2004-08-01, http://www.omg.org/spec/HUTN/1.0/
293. Object Management Group. MOF 2.0/XMI Mapping, Version 2.1.1. formal/2007-12-01 (2007), http://www.omg.org/spec/XMI/2.1.1/
294. Object Management Group. MOF Model to Text Transformation Language, Version 1.0. formal/2008-01-16 (2008), http://www.omg.org/spec/MOFM2T/1.0/
295. Object Management Group. OMG Unified Modeling LanguageTM (OMG UML), Infrastructure, Version 2.3. formal/2010-05-03 (2010), http://www.omg.org/spec/ UML/2.3/
296. Object Management Group. OMG Unified Modeling LanguageTM (OMG UML), Superstructure, Version 2.3. formal/2010-05-05 (2010), http://www.omg.org/spec/ UML/2.3/
297. Object Management Group. OMG Unified Modeling LanguageTM (OMG UML), Superstructure, Version 2.3. formal/2010-05-05 (2010), http://www.omg.org/spec/ UML/2.3/
298. Object Management Group. Common Object Request Broker Architecture, CORBA (2011), http://www.omg.org/spec/CORBA/
299. Object Management Group. Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification, Version 1.1. formal/2011-01-01 (2011), http://www.omg.org/spec/QVT/1.1/
300. Object Management Group. Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification, Version 1.1. formal/2011-01-01 (2011), http://www.omg.org/spec/QVT/1.1/
301. Red Hat. JBoss Application Server (2011), http://www.jboss.org/jbossas/
302. Red Hat. jBPM (2011), http://www.jboss.org/jbpm
303. Springer Science+Business Media. Springer-International Publisher Science, Technology, Medicine 2011 http://www.springer.com/
304. Spring Source. Spring Framework (2011), http://www.springsource.org/
305. The MathWorks. Simulink-Simulation and Model-Based Design (2011), http://www.mathworks.co.uk/products/simulink/
306. The MathWorks. Simulink-Simulation and Model-Based Design (2011), http://www.mathworks.co.uk/products/simulink/
307. The MathWorks. Simulink-Simulation and Model-Based Design (2011), http://www.mathworks.co.uk/products/simulink/
308. W3C. W3C Document Object Model (2009), http://www.w3.org/DOM/
309. W3C. W3C XML Schema (2011), http://www.w3.org/XML/Schema