Search
Now showing items 31-40 of 2836
Geração automática de hardware a partir de especificações formais: estendendo uma abordagem de tradução
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2012-04-27)
Removing inconsistencies in a project is a less expensive activity when done in the
early steps of design. The use of formal methods improves the understanding of systems.
They have various techniques such as formal ...
Reevaluating the role of public sector banks as a countercyclical policy tool: Evidence of the credit channel in Latin America, 2000-2010
(Universidad Alberto Hurtado, 2015)
Uma ferramenta de apoio ao teste de regressão
([s.n.], 1997)
Herramientas que apoyan gestión de las expropiaciones de bienes inmuebles en proyectos viales
(Instituto Tecnológico de Costa Rica, 2016)
The main purpose of this Project was to develop tools that could support the management in expropriations of real estate goods in vial projects. As we know, the issue of expropriations makes one of the main obstacles so ...
“Creación de empresa: Empresa dedicada a proyectos de desarrollo de sistemas para el soporte de decisiones del sector de energía eléctrica”"Business plan: Company dedicated to provide services and to design, develop and implement information systems in order to support the decision-making process in energy sector"
(Universidad EANFacultad de PostgradosEspecialización en Gerencia de Proyectos, 2012)