Conformance
Mostrando 1-12 de 30 artigos, teses e dissertações.
-
1. Dutch translation and adaptation of the Barkley Deficits in Executive Functioning Scale (BDEFS)
Abstract Background Based on his model of self-regulation and executive functions, Barkley developed a self- and other-report questionnaire (the Barkley Deficits in Executive Functioning Scale – BDEFS). The BDEFS measures deficits in executive functions as expressed in daily life activities like self-management of time, self-organization, self-restraint,
Arch. Clin. Psychiatry (São Paulo). Publicado em: 29/08/2019
-
2. A New Simplified Approach for Design of Dual-Band Wilkinson Power Divider with Two and Three Transmission Line Sections Using Only Even-Mode Analysis
Abstract In this paper, design of dual-band equal-split Wilkinson power divider (WPD) with two and three transmission line (TL) sections is tackled from the perspective of a new simplified mathematical approach as compared to the previously presented work. It is mathematically proven and experimentally verified that only even-mode circuit analysis suffices f
J. Microw. Optoelectron. Electromagn. Appl.. Publicado em: 2016-12
-
3. FSM-Based Test Case Generation Methods Applied to Test the Communication Software on Board the ITASAT University Satellite: A Case Study
ABSTRACT: The software in satellite applications has become increasingly larger, more complex and more integrated, so its verification and validation require exploration of new approaches. In this paper we present a Model-Based Testing (MBT) approach applied to the Communication Module of the ITASAT-1 university satellite. The models are Finite State Machine
J. Aerosp. Technol. Manag.. Publicado em: 2014-12
-
4. Contribuições do model checking e da metodologia CoFi para o software embarcado espacial.
A crescente participação do software embarcado nas causas dos últimos acidentes espaciais evidencia a importância dos processos e técnicas de verificação e validação no desenvolvimento do software embarcado espacial. Neste contexto, este trabalho investiga a contribuição de duas técnicas de verificação para aplicações espaciais. A primeira t�
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 11/02/2011
-
5. Contribuições do model checking e da metodologia CoFi para o software embarcado espacial.
A crescente participação do software embarcado nas causas dos últimos acidentes espaciais evidencia a importância dos processos e técnicas de verificação e validação no desenvolvimento do software embarcado espacial. Neste contexto, este trabalho investiga a contribuição de duas técnicas de verificação para aplicações espaciais. A primeira t�
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 11/02/2011
-
6. A influência dos parâmetros de Análise por Semântica Latente aplicada a localização de defeitos de software
During its life cycle, software systems must pass through continuous change to have bugs fixed and get a reasonable conformance between user requirements and implemented software functions. The necessary effort to execute such changes that occur in the software maintenance phase is considerable and is influenced by the developer software comprehension level.
Publicado em: 2011
-
7. Messejana da Educação: a ação educacional da Igreja Católica na produção espacial (século XX). / Messejana Education: educational action of the Catholic Church in the production space (twentieth century).
The Catholic Church, throughout its history, has outlined projects that enable the maintenance of its political, cultural and economic power. Among its actions, there is the formation of intellectuals, whose goal is to defend the ideals of this institution. Since the nineteenth century, the Church has been concerned with the formation of a conservative Catho
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/04/2010
-
8. Proposta de um método para coleta, processamento e análise de dados da qualidade em obras de habitação de interesse social por parte de um agente externo à produção
The difficulties of understanding concepts related to quality, its implementation, and measurement in the construction industry have been pointed out in several studies, despite the wide dissemination of certified quality management systems, based on ISO9001 and, in the case of Brazil, on the Brazilian Program for Quality and Productivity in the Habitat (PBQ
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 2010
-
9. Gungnir uma ferramenta para geração e execução automática de testes de conformidade utilizando autômatos temporizados. / Gungnir A tool for executing and generating conformance tests using timed automatas.
Oobjetivo neste trabalho é aumentar a confiança no funcionamento de sistemas da automação através do uso de uma ferramenta de geração e execução automática de testes de conformidade. A ferramenta desenvolvida chama-se Gungnir e utiliza modelos formais, cujo padrão utilizado é o formalismo de Autômato Temporizado (AT). Os sistemas de controle sã
Publicado em: 2010
-
10. Valores pessoais e de sentido de vida: um estudo com participantes de um programa de mobilização social
This descriptive-explanatory present study uses quantitative method and its objective is looking for difference in importance for personal values and meaning of life to the employees in a financial institution, related to their participation in many steps of the institution for social mobilization on behalf of children created by their company. Personal valu
Publicado em: 2010
-
11. Auxílio à leitura de textos em português facilitado: questões de acessibilidade / Reading assistance for texts in facilitated portuguese: accessibility issues
The large capacity of Web for providing information leads to multiple possibilities and opportunities for users. The development of high performance networks and ubiquitous devices allow users to retrieve content from any location and in different scenarios or situations they might face in their lives. Unfortunately the possibilities offered by the Web are n
Publicado em: 2010
-
12. Implementação da ferramenta Boas Práticas de Fabricação na produção de polpas de fruta. / Implementation of the tool Good Manufacturing Practices in fruit pulp production.
This work has been developed in a fruit pulp industry, in Espírito Santo, since the beginning of its activities. Diagnoses were realized in order to evaluate the industry adequation level related to Good Manufacturing Practices and to allow the planning of necessary actions to implement this tool of food safety. The first diagnosis occured in April/2008. A
Publicado em: 2009