Verifying Code Generation Tools for the B-Method Using Tests: A Case Study

2015 ◽  
pp. 76-91 ◽  
Author(s):  
Anamaria M. Moreira ◽  
Cleverton Hentz ◽  
David Déharbe ◽  
Ernesto C. B. de Matos ◽  
João B. Souza Neto ◽  
...  
Keyword(s):  
Code Generation ◽  
B Method

The INGENIAS Methodology and Tools

2011 ◽  
pp. 236-276 ◽  
Author(s):  
Juan Pavon ◽  
Jorge J. Gomez-Sanz ◽  
Rubén Fuentes
Keyword(s):  
Code Generation ◽  
Development Process ◽  
Business Case ◽  
Multi Agent Systems ◽  
Agent Based ◽  
Support Tools ◽  
Business Case Study ◽  
Multi Agent ◽  
Automated Code Generation

INGENIAS provides a notation for modeling multi-agent systems (MAS) and a well-defined collection of activities to guide the development process of an MAS in the tasks of analysis, design, verification, and code generation, supported by an integrated set of tools—the INGENIAS Development Kit (IDK). These tools, as well as the INGENIAS notation, are based on five meta-models that define the different views and concepts from which a multi-agent system can be described. Using meta-models has the advantage of flexibility for evolving the methodology and adopting changes to the notation. In fact, one of the purposes in the conception of this methodology is to integrate progressive advances in agent technology, towards a standard for agent-based systems modeling that could facilitate the adoption of the agent approach by the software industry. The chapter presents a summary of the INGENIAS notation, development process, and support tools. The use of INGENIAS is demonstrated in an e-business case study. This case study includes concerns about the development process, modeling with agent concepts, and implementation with automated code generation facilities.

On the Efficiency of Transactional Code Generation: A GCC Case Study

2018 ◽  
Author(s):  
Bruno Chinelato Honorio ◽  
Joao Paulo Labegalini de Carvalho ◽  
Alexandro Jose Baldassin
Keyword(s):  
Code Generation

The Effects of Bytecode Generation in XSLT and XQuery

2011 ◽  
Author(s):  
O'Neil Davion Delpratt ◽  
Michael Kay
Keyword(s):  
Open Source ◽  
Code Generation ◽  
Experimental Evaluation ◽  
Query Rewriting ◽  
Relative Importance ◽  
Development Team ◽  
Java Bytecode ◽  
High Level ◽  
Performance Gains

This paper attempts to analyze the performance benefits that are achievable by adding a code generation phase to an XSLT or XQuery engine. This is not done in isolation, but in comparison with the benefits delivered by high-level query rewriting. The two techniques are complementary and independent, but can compete for resources in the development team, so it is useful to understand their relative importance. We use the Saxon XSLT/XQuery processor as a case study, where we can now translate the logic of queries into Java bytecode. We provide an experimental evaluation of the performance of Saxon with the addition of this feature compared to the existing Saxon product. Saxon's Enterprise Edition already delivers a performance benefit over the open source product using the join optimizer and other features. What can we learn from these to achieve further performance gains through direct byte code generation?

Automatic Code Generation and Platform Based Design Methodology: An Engine Management System Design Case Study

2005 ◽  
Author(s):  
Alberto Ferrari ◽  
Giovanni Gaviani ◽  
Giacomo Gentile ◽  
Monti Stefano ◽  
Luigi Romagnoli ◽  
...  
Keyword(s):  
System Design ◽  
Code Generation ◽  
Management System ◽  
Design Methodology ◽  
Engine Management System ◽  
Automatic Code Generation ◽  
Design Case ◽  
Design Case Study ◽  
Automatic Code

Effective Code Generation for Distributed and Ping-Pong Register Files: A Case Study on PAC VLIW DSP Cores

2007 ◽  
Vol 51 (3) ◽  
pp. 269-288 ◽  
Author(s):  
Yung-Chia Lin ◽  
Chia Han Lu ◽  
Chung-Ju Wu ◽  
Chung-Lin Tang ◽  
Yi-Ping You ◽  
...  
Keyword(s):  
Code Generation ◽  
Ping Pong ◽  
Register Files ◽  
Vliw Dsp
Sign in / Sign up

Export Citation Format

Share Document