Code Generation
Mostrando 25-36 de 109 artigos, teses e dissertações.
-
25. MDAONTO: um processo MDA de desenvolvimento de software com foco em ontologias
Model Driven Architecture (MDA) software development standard follows a set of guidelines, which can promote substantial benefits in design of a new system. In this sense, using tools of this paradigm and the automated generation code, in several programming languages, it is possible to augment productivity, lower cost and increase quality. Despite these ben
Publicado em: 2009
-
26. Guides for CCS to UML-RT and UML-RT to CCS conversions.
CCS (Communicating and Concurrent Systems) is the process algebra to specify and verify concurrent and communicating systems. This work proposes a transformation guide of the CCS equations into to the UML-RT (Unified Modeling Language for Real-Time) model and a transformation guide of the UML-RT model into a set of CCS equations. The UML-RT model is a softwa
Publicado em: 2009
-
27. Emulação e co-simulação do sistema de controle de atitude da PMM e do sistema eletro-hidráulico de uma aeronave usando FPGAs / Emulation and co-simulation of PMM attitude control system and aircraft electro-hydraulic system using FPGAs
This work addresses the different development processes that leads to the implementation of simulation and control algorithms into a FPGA. As case study two applications were selected: first, the three axis stabilization of an artificial satelite with fine pointing, in its Nominal operational mode; and second, the position control loop of an electro-hydrauli
Publicado em: 2009
-
28. Uma abordagem para analise e projeto de IPcores com geraÃÃo automÃtica de interfaces utilizando UML 2.0
Equipamentos cada vez mais sofisticados, capazes de agregar informaÃÃo, comunicaÃÃo e entretenimento em pequenos espaÃos e em qualquer lugar a um custo cada vez mais baixo tÃm alavancado o mercado de dispositivos microeletrÃnicos. Contudo, esta sofisticaÃÃo trouxe um aumento da complexidade dos projetos e um maior tempo para o desenvolvimento dos me
Publicado em: 2009
-
29. CONSTRUÇÃO AUTOMATIZADA DE CASOS DE TESTE USANDO ENGENHARIA DIRIGIDA POR MODELOS / CONSTRUCTION OF AUTOMATIC TEST CASES USING ENGINEERING ADDRESSED BY MODEL
The emergence of model driven approaches provides a new alternative for managing the complexity involved in the creation of test cases, for enhancing the automation of software testing and for promoting the broad reuse of models developed during the analysis of requirements and design of software. In addition, it reduces the injection of errors and software
Publicado em: 2009
-
30. Proposta de especificação formal em SDL de uma rede de comunicação automotiva baseada no protocolo FlexRay com geração automatica de codigo java / A proposal for a formal specification using SDL of an invehicle network based on the FlexRay protocol with automatic Java code generation
Este trabalho apresenta uma proposta de especificação formal em SDL de uma rede de comunicação intraveicular baseada no protocolo de comunicação FlexRay com geração automática de código Java. O modelo proposto se baseia naquele apresentado na especificação padrão do protocolo FlexRay, porém algumas contribuições foram feitas a fim de gerar um
Publicado em: 2009
-
31. Revelando os Brasis : o objeto assumindo o papel do sujeito em um projeto de inclusão audiovisual / Revealing the Brazils : the object assmes the role of the subject in this public project of video production as a way of inclusion
Express themselves through the audiovisual media has been a strong feature of the contemporary. Access to new technologies, which each day are cheaper and easier to handle, works to encourage the use of this code of communication in diverse situations. It is within this reality that appears, in 2004, Revelando os Brasis, a project of the Ministry of the Cult
Publicado em: 2009
-
32. Software synthesis for energy-constrained hard real-time embedded systems
A grande expansão do mercado de dispositivos digitais tem forçado empresas desenvolvedoras de sistemas embarcados em lidar com diversos desafios para prover sistemas complexos nesse nicho de mercado. Um dos desafios prominentes está relacionado ao consumo de energia, principalmente, devido aos seguintes fatores: (i) mobilidade; (ii) problemas ambientais;
Publicado em: 2009
-
33. Metodologia para modelagem, validação e programação de controladores lógicos industriais usando statecharts básicos
Com o advento da informática industrial muitos esforços têm sido realizados para o desenvolvimento de notações e semânticas usadas para classificar e descrever diferentes tipos de sistemas, sobretudo na fase de modelagem. Tais esforços fornecem a infraestrutura necessária para a solução de alguns problemas reais de engenharia e a construção de si
Publicado em: 2009
-
34. An aspect-oriented model-driven engineering approach for distributed embedded real-time systems / Uma abordagem de engenharia guiada por modelos para o projeto de sistemas tempo-real embarcados e distribuídos
Atualmente, o projeto de sistemas tempo-real embarcados e distribuídos está crescendo em complexidade devido à sua natureza heterogênea e ao crescente número e diversidade de funções que um único sistema desempenha. Sistemas de automação industrial, sistemas eletrônicos em automóveis e veículos aéreos, equipamentos médicos, entre outros, são
Publicado em: 2009
-
35. New analyses of double-bang events in the atmosphere
We use CORSIKA+Herwig simulation code to produce ultra-high energy neutrino interactions in the atmosphere. Our aim is to reproduce extensive air showers originated by extragalactic tau-neutrinos. For charged current tau-neutrino interactions in the atmosphere, beside the air shower originated from the neutrino interaction, it is expected that a tau is creat
Brazilian Journal of Physics. Publicado em: 2008-06
-
36. Partial generation of Java code from Z formal specifications. / Geração parcial de código Java a partir de especificações formais Z.
Especificações formais são úteis para descrever o que um sistema deve fazer sem definir como, e, em virtude da sua natureza formal e da possibilidade de abstração, é possível analisá-las sistematicamente. No entanto, o uso de especificações formais como parte do desenvolvimento de software não constitui prática comum. Isso se dá, em parte, pelo
Publicado em: 2008