Semantically configurable code generation

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

Volumn 5301 LNCS, Issue , 2008, Pages 705-720

  Prout, Adam ^a   Atlee, Joanne M ^a   Day, Nancy A ^a   Shaker, Pourya ^a  

^a UNIVERSITY OF WATERLOO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC PROGRAMMING; CODES (SYMBOLS); COMPUTER SOFTWARE; FORMAL METHODS; INFORMATION THEORY; JAVA PROGRAMMING LANGUAGE; LINGUISTICS; NETWORK COMPONENTS; PROGRAM COMPILERS; SEMANTICS; SOFTWARE ENGINEERING; SYSTEMS ANALYSIS;

ANALYSIS TOOLS; CODE GENERATIONS; CODE GENERATORS; CONFIGURABLE; FORMAL DESCRIPTIONS; MODEL-BASED; PARAMETER VALUES; SOFTWARE ARTIFACTS; SOFTWARE DEVELOPMENTS; SOFTWARE SYSTEMS;

MODELS;

EID: 56649124452     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87875-9_49     Document Type: Conference Paper

References (29)

1. ApeSoft. Smartstate v4.1.0 (2008), http://www.smartstatestudio.com
2. Appel, A.W.: Semantics-directed code generation. In: Proc. ACM Sym. on Prin. Prog. Lang (POPL 1985), pp. 315-324. ACM Press, New York (1985)
3. Batory, D., O'Malley, S.: The design and implementation of hierarchical software systems with reusable components. ACM Trans. Soft. Eng. Meth. 1(4), 355-398 (1992)
4. Cleaveland, C.: Program Generators with XML and Java. Prentice-Hall, Englewood Cliffs (2001)
5. Czarnecki, K., Eisenecker, U.W.: Generative programming: methods, tools, and applications. ACM Press/Addison-Wesley Publishing Co., New York (2000)
6. Harel, D., et al.: STATEMATE: A working environment for the development of complex reactive systems. IEEE Trans. on Soft. Eng. 16(4), 403-414 (1990)
7. D'Ambrogio, A.: A model transformation framework for the automated building of performance models from uml models. In: Proc. Intl. Work. on Soft. and Perf (WOSP 2005), pp. 75-86. ACM Press, New York (2005)
8. Diehl, S.: Natural semantics-directed generation of compilers and abstract machines. Form. Asps. of Comp. 12(2), 71-99 (2000)
9. G.S.S., et al.: Clearwater: extensible, flexible, modular code generation. In: Proc. IEEE/ACM Intl. Conf. on Aut. Soft. Eng(ASE 2005), pp. 144-153. ACM Press, New York (2005)
10. Floch, J.: Supporting evolution and maintenance by using a flexible automatic code generator. In: Proc. Intl. Conf. on Soft. Eng (ICSE 1995), pp. 211-219. ACM Press, New York (1995)
11. Grundy, J., et al.: Generating Domain-Specific Visual Language Editors from High-level Tool Specifications. In: Auto. Soft. Eng. (ASE), pp. 25-36 (2006)
12. Hannan, J.: Operational semantics-directed compilers and machine architectures. ACM Trans. Prog. Lang. Sys. 16(4), 1215-1247 (1994)
13. Hannan, J., Miller, D.: From operational semantics to abstract machines. Math. Struct. Comp. Sci. 2(4), 415-459 (1992)
14. Harel, D.: On the formal semantics of statecharts. Symp. on Logic in Comp. Sci., 54-64 (1987)
15. IBM Rational. Rational Rose RealTime v7.0.0 (2005), http://www.ibm.com/ rational
16. Jones, N.: Semantics-Directed Compiler Generation. LNCS, vol. 94. Springer, Heidelberg (1980)
17. Knaack, J.L.: An algebraic approach to language translation. PhD thesis, University of Iowa (1995)
18. Königs, A., Schürr, A.: Tool integration with triple graph grammars - a survey. Elect. Notes in Theor. Comp. Sci. 148(1), 113-150 (2006)
19. Lu, Y., Atlee, J.M., Day, N.A., Niu, J.: Mapping template semantics to SMV. In: Proc. of Auto. Soft. Eng. (ASE 2004), pp. 320-325 (2004)
20. McMillan, K.: Symbolic Model Checking: An Approach to the State Explosion Problem. Kluwer Academic Publishers, Dordrecht (1993)
21. Niu, J., Atlee, J.M., Day, N.A.: Template Semantics for Model-Based Notations. IEEE Trans. on Soft. Eng. 29(10), 866-882 (2003)
22. Object Management Group. Revised submission for MOF 2.0 Query/View/Transformation RFP, http://www.omg.org/docs/ad/05-03-02.pdf
23. Object Management Group. Meta Object Facility Core Specification, Formal/06-01-01 (2006)
24. Paulson, L.: A semantics-directed compiler generator. In: Proc. ACM Sym. on Prin. of Prog. Lang (POPL 1982), pp. 224-233. ACM Press, New York (1982)
25. Prout, A.: Parameterized Code Generation From Template Semantics. Master's thesis, School of Computer Science, University of Waterloo (2005)
26. Taleghani, A., Atlee, J.M.: Semantic variations among UML statemachines. In: ACM/IEEE Int. Conf. on Mod. Driven Eng. Lang. and Sys., pp. 245-259 (2006)
27. Telelogic. Telelogic TAU SDL Suite, http://www.telelogic.com/corp/ products/tau/sdl/index.cfm
28. Telelogic. Rhapsody in J v7.1.1.0 (2007), http://modeling.telelogic.com/ products/rhapsody/index.cfm
29. Yavuz-Kahveci, T., Bultan, T.: Specification, verification, and synthesis of concurrency control components. In: Proc. Intl. Symp. on Soft. Test. and Anal (ISSTA 2002), pp. 169-179. ACM Press, New York (2002)