代码大模型 / AI 编程

Programmatic and Direct Manipulation, Together at Last

Ravi Chugh, Brian Hempel, Mitchell Spradlin, Jacob Albers

专题命中 代码生成 ：program synthesis(abstract)；分类 cs.PL

Comments PLDI 2016 Paper + Supplementary Appendices

High-level GPU programming in Julia

Tim Besard, Pieter Verstraete, Bjorn De Sutter

专题命中 代码生成 ：code generation(abstract)；分类 cs.PL

Prodirect Manipulation: Bidirectional Programming for the Masses

Ravi Chugh

专题命中 代码生成 ：program synthesis(abstract)；分类 cs.SE

Comments ICSE 2016 Companion Proceedings (Visions of 2025 Track), May 14-22, 2016, Austin, TX, USA

Automatic Generation of Formula Simplifiers based on Conditional Rewrite Rules

Rohit Singh, Armando Solar-Lezama

专题命中 代码生成 ：program synthesis(abstract)；分类 cs.PL

Comments Submitted for peer reviewed conference

A Model-Driven Engineering Approach for ROS using Ontological Semantics

Stefan Zander, Georg Heppner, Georg Neugschwandtner, Ramez Awad, Marc Essinger, Nadia Ahmed

专题命中 代码生成 ：code generation(abstract)；分类 cs.SE

Comments Presented at DSLRob 2015 (arXiv:1601.00877), Stefan Zander, Georg Heppner, Georg Neugschwandtner, Ramez Awad, Marc Essinger and Nadia Ahmed: A Model-Driven Engineering Approach for ROS using Ontological Semantics

Cyclus Archetypes

Anthony M. Scopatz, Matthew J. Gidden, Robert W. Carlsen, Robert R. Flanagan, Kathryn D. Huff, Meghan B. McGarry, Arrielle C. Opotowsky, Olzhas Rakhimov, Zach Welch, Paul P. H. Wilson

专题命中 代码生成 ：code generation(abstract)；分类 cs.SE

Transforming Platform-Independent to Platform-Specific Component and Connector Software Architecture Models

Jan O. Ringert, Bernhard Rumpe, Andreas Wortmann

专题命中 代码生成 ：code generation(abstract)；分类 cs.SE

Comments 6 pages, 4 figures, 2 listings 2nd International Workshop on Model-Driven Engineering for Component-Based Software Systems (ModComp)

Architecture and Behavior Modeling of Cyber-Physical Systems with MontiArcAutomaton

Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann

专题命中 代码生成 ：code generation(abstract)；分类 cs.SE

Comments 89 pages, 10 figures, 36 listings. Shaker Verlag, ISBN 978-3-8440-3120-1. Aachener Informatik-Berichte, Software Engineering, Band 20. 2014

Journal ref Shaker Verlag, ISBN 978-3-8440-3120-1. Aachener Informatik-Berichte, Software Engineering, Band 20. 2014

A Comparison of Mechanisms for Integrating Handwritten and Generated Code for Object-Oriented Programming Languages

Timo Greifenberg, Katrin Hölldobler, Carsten Kolassa, Markus Look, Pedram Mir Seyed Nazari, Klaus Müller, Antonio Navarro Perez, Dimitri Plotnikov, Dirk Reiss, Alexander Roth, Bernhard Rumpe, Martin Schindler, Andreas Wortmann

专题命中 代码生成 ：code generation(abstract)；分类 cs.SE

Comments 12 pages, 7 figures, 1 table, Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development. Angers, Loire Valley, France, pp. 74-85, 2015

Journal ref Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development. Angers, Loire Valley, France, pp. 74-85, 2015

Towards Product Lining Model-Driven Development Code Generators

Alexander Roth, Bernhard Rumpe

专题命中 代码生成 ：code generation(abstract)；分类 cs.SE

Comments 6 pages, 1 figure, Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, pp. 539-545, Angers, France, SciTePress, 2015

Journal ref Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, pp. 539-545, Angers, France, SciTePress, 2015

Synthesis through Unification

Rajeev Alur, Pavol Cerny, Arjun Radhakrishna

专题命中 代码生成 ：program synthesis(abstract)；分类 cs.PL

Model based Software Develeopment: Issues & Challenges

N Md Jubair basha, Salman Abdul Moiz, Mohammed Rizwanullah

专题命中 代码生成 ：code generation(abstract)；分类 cs.SE

Comments 6 pages, 1 figure, NCRTCST-12

Journal ref Special Issue of International Journal of Computer Science & Informatics (IJCSI), ISSN (PRINT) : 2231--5292, 2012 Vol.- II, Issue-1, 2

Enabling High-Level Application Development for the Internet of Things

Pankesh Patel, Damien Cassou

专题命中 代码生成 ：code generation(abstract)；分类 cs.SE

Journal ref Journal of Systems and Software, Elsevier, 2015, pp.1 - 26

Integrating Heterogeneous Building and Periphery Data Models at the District Level: The NIM Approach

Timo Greifenberg, Markus Look, Bernhard Rumpe

专题命中 代码生成 ：code generation(abstract)；分类 cs.SE

Comments 8 pages, 4 figures

Journal ref Proceedings of the 10th European Conference on Product and Process Modelling (ECPPM 2014) ECPPM 2014 - eWork and eBusiness in Architecture, Engineering and Construction, pages 821-828, Vienna, Austria, September 2014. CRC Press

An exploratory study of the suitability of UML-based aspect modeling techniques with respect to their integration into Model-Driven Engineering context

Abid Mehmood, Dayang N. A. Jawawi

专题命中 代码生成 ：code generation(abstract)；分类 cs.SE

BMW-ROOM An Object-Oriented Method for ASCET

Max Fuchs, Dieter Nazareth, Dirk Daniel, Bernhard Rumpe

专题命中 代码生成 ：code generation(abstract)；分类 cs.SE

Comments 11 pages, 12 figures

Journal ref SAE'98, Cobo Center (Detroit, Michigan, USA), Society of Automotive Engineers, 1998

MontiCore: A Framework for the Development of Textual Domain Specific Languages

Hans Grönninger, Holger Krahn, Bernhard Rumpe, Martin Schindler, Steven Völkel

专题命中 代码生成 ：code generation(abstract)；分类 cs.SE

Comments 2 pages, 1 figures, 30th International Conference on Software Engineering (ICSE). Companion Volume. (2008)

Techniques Enabling Generator Refactoring

Holger Krahn, Bernhard Rumpe

专题命中 代码生成 ：code generation(abstract)；分类 cs.SE

Comments 2 pages, 5 figures, Technical Report, TR-CCTC/DI-36 Centro de Ciencias e Tecnologias de Computacao, Departamento de Informatica Universidade do Minho, Braga, Portugal, Juli 2005

Black-box Integration of Heterogeneous Modeling Languages for Cyber-Physical Systems

Markus Look, Antonio Navarro Perez, Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann

专题命中 代码生成 ：code generation(abstract)；分类 cs.SE

Comments 6 pages, 4 figures. GEMOC Workshop 2013 - International Workshop on The Globalization of Modeling Languages, Miami, Florida (USA), Volume 1102 of CEUR Workshop Proceedings, CEUR-WS.org, 2013

MontiWeb - Modular Development of Web Information Systems

Michael Dukaczewski, Dirk Reiss, Mark Stein, Bernhard Rumpe

专题命中 代码生成 ：code generation(abstract)；分类 cs.SE

Comments 6 pages, 6 figures. Proceedings of the 9th OOPSLA Workshop on Domain-Specific Modeling (DSM' 09). Helsinki School of Economics. TR no B-108. Orlando, Florida, USA, October 2009

Generative Software Development

Bernhard Rumpe, Martin Schindler, Steven Völkel, Ingo Weisemöller

专题命中 代码生成 ：code generation(abstract)；分类 cs.SE

Comments 2 pages, 8 figures

Journal ref Proceedings of the 32nd International Conference on Software Engineering (ICSE 2010), Volume 2, pp. 473-474 (tutorial summary), Cape Town, South Africa, May 2010. ACM, 2010

ADDiff: Semantic Differencing for Activity Diagrams

Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe

专题命中 代码生成 ：code generation(abstract)；分类 cs.SE

Comments 11 pages, 9 figures

Journal ref Proc. Euro. Soft. Eng. Conf. and SIGSOFT Symp. on the Foundations of Soft. Eng. (ESEC/FSE'11), pp. 179-189, ACM, 2011

MontiArcAutomaton: Modeling Architecture and Behavior of Robotic Systems

Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann

专题命中 代码生成 ：code generation(abstract)；分类 cs.SE

Comments 3 pages, 4 figures. Workshops and Tutorials Proceedings of the 2013 IEEE International Conference on Robotics and Automation (ICRA), May 6-10, 2013, Karlsruhe, Germany

Dynamic Component Composition

Efim Grinkrug

专题命中 代码生成 ：code generation(abstract)；分类 cs.SE

Comments 19 pages

Journal ref International Journal of Software Engineering & Applications (IJSEA), Vol.5, No.4, July 2014, pp. 83 - 101

Synthesis of Component and Connector Models from Crosscutting Structural Views

Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe

专题命中 代码生成 ：code generation(abstract)；分类 cs.SE

Comments 11 pages, 10 figures

Journal ref Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'13), Eds.: B. Meyer, L. Baresi, M. Mezini, pages 444-454, ACM New York, 2013

From Software Architecture Structure and Behavior Modeling to Implementations of Cyber-Physical Systems

Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann

专题命中 代码生成 ：code generation(abstract)；分类 cs.SE

Comments 16 pages, 7 figures

Journal ref Software Engineering 2013 Workshopband, LNI P-215, pages 155-170. GI, Köllen Druck+Verlag GmbH, Bonn, 2013

Towards an Efficient Prolog System by Code Introspection

George Souza Oliveira, Anderson Faustino da Silva

专题命中 代码生成 ：code generation(abstract)；分类 cs.PL

Comments 10 pages

Experiences in Developing Time-Critical Systems - The Case Study "Production Cell"

Jochen Burghardt

专题命中 代码生成 ：program synthesis(abstract)；分类 cs.SE

Comments 13 pages; 11 figures

Journal ref T. Lindner and C. Lewerentz (eds.), Formal development of reactive systems - Case study production cell, Springer LNCS, Vol.891, p.297-311, 1995

Survey on Instruction Selection: An Extensive and Modern Literature Review

Gabriel S. Hjort Blindell

专题命中 代码生成 ：code generation(abstract)；分类 cs.PL

Comments Major changes: - Merged simulation chapter with macro expansion chapter - Addressed misunderstandings of several approaches - Completely rewrote many parts of the chapters; strengthened the discussion of many approaches - Revised the drawing of all trees and graphs to put the root at the top instead of at the bottom - Added appendix for listing the approaches in a table See doc for more info

Model-driven engineering approach to design and implementation of robot control system

Piotr Trojanek

专题命中 代码生成 ：code generation(abstract)；分类 cs.SE

Comments Presented at DSLRob 2011 (arXiv:cs/1212.3308)