Building code generators with genesys: A tutorial introduction

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

Volumn 6491 LNCS, Issue , 2011, Pages 364-385

  Jörges, Sven ^a   Steffen, Bernhard ^a   Margaria, Tiziana ^b  

^a TU DORTMUND UNIVERSITY   (Germany)

^b UNIVERSITY OF POTSDAM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC CODE GENERATIONS; CODE GENERATION; CODE GENERATORS; CONSTRUCTING CODES; GENESYS; KEY FEATURE; MODEL DRIVEN APPROACH; MODEL-DRIVEN; SERVICE ORIENTED;

BUILDING CODES; FORMAL METHODS; NETWORK COMPONENTS; PROFITABILITY; PROGRAM COMPILERS; SYSTEMS ANALYSIS; CODES (SYMBOLS); EDUCATION; SOFTWARE ENGINEERING;

AUTOMATIC PROGRAMMING;

EID: 79251582835     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-18023-1_10     Document Type: Conference Paper

References (27)

1. Jörges, 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)
2. Steffen, B., Margaria, T., Nagel, R., Jörges, 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)
3. Margaria, T., Steffen, B.: Service Engineering: Linking Business and IT. IEEE Computer 39(10), 45-55 (2006)
4. Technische Universität Dortmund: jABC Website (2009), http://www.jabc.de
5. Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2001)
6. Margaria, T., Steffen, B.: Agile IT: Thinking in User-Centric Models. In: Proc. ISoLA 2008. CCIS, vol. 17, pp. 493-505. Springer, Heidelberg (2008)
7. Object Management Group: Model Driven Architecture, http://www.omg.org/ mda/
8. Technische Universität Dortmund: Common SIBs Website (2010), http://www.jabc.de/sib
9. Terence Parr: StringTemplate Website (2009), http://www.stringtemplate. org/
10. Technische Universität Dortmund: jABC SIBs Website (2009), http://www.jabc.de/sib
11. Oracle: JAX-WS Reference Implementation (2010), https://jax-ws.dev.java. net/
12. Eclipse Foundation: JET, part of Eclipses Model To Text (M2T) component (2010), http://www.eclipse.org/modeling/m2t/?project=jet#jet
13. Rose, L.M., Paige, R.F., Kolovos, D.S., Polack, F.: The Epsilon Generation Language. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol. 5095, pp. 1-16. Springer, Heidelberg (2008)
14. Oldevik, J., Neple, T., Grønmo, R., Aagedal, J.Ø., Berre, A.J.: Toward Standardised Model to Text Transformations. In: Hartman, A., Kreische, D. (eds.) ECMDAFA 2005. LNCS, vol. 3748, pp. 239-253. Springer, Heidelberg (2005)
15. Apache Software Foundation: Velocity Website (2007), http://velocity. apache.org/
16. openArchitecureWare Team: openArchitectureWare Website (2009), http://www.openarchitectureware.org/
17. AndroMDA Team: AndroMDA Website (2009), http://www.andromda.org/
18. Eclipse Foundation: XPand, part of Eclipses Model To Text (M2T) component (2010), http://www.eclipse.org/modeling/m2t/?project=xpand#xpand
19. Apache Software Foundation: Apache Ant Project (2010), http://ant.apache.org/
20. Hoare, C.A.R.: The Verifying Compiler: A Grand Challenge for Computing Research. J. ACM 50(1), 63-69 (2003)
21. Necula, G.C.: Proof-Carrying Code. In: Proc. POPL 1997, pp. 106-119. ACM Press, New York (1997)
22. Denney, E., Fischer, B.: Extending Source Code Generators for Evidence-based Software Certification. In: Proc. ISOLA 2006, pp. 138-145 (2006)
23. Goos, G., Zimmermann, W.: Verification of Compilers. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design. LNCS, vol. 1710, pp. 201-230. Springer, Heidelberg (1999)
24. Necula, G.C.: Translation Validation for an Optimizing Compiler. ACM SIGPLAN Notices 35(5), 83-94 (2000)
25. Stürmer, I., Weinberg, D., Conrad, M.: Overview of existing safeguarding techniques for automatically generated code. In: Proc. SEAS 2005, pp. 1-6. ACM Press, New York (2005)
26. Coglio, A., Green, C.: A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card Applets. In: Meyer, B., Woodcock, J. (eds.) VSTTE 2005. LNCS, vol. 4171, pp. 57-63. Springer, Heidelberg (2008)
27. Eclipse Foundation: Eclipse Modeling Project (2009), http://www.eclipse. org/modeling/