Especificacao Requisitos
Mostrando 13-24 de 166 artigos, teses e dissertações.
-
13. Proposta de metodologia para verificação e validação software de equipamentos eletromédicos / Proposed methodology for verification and validation of medical electrical equipment
Hoje boa parte dos equipamentos eletromedicos (EEM) possui algum tipo de controle realizado por software; esse controle pode ser restrito a um ou mais subsistemas do equipamento, ou ainda ser total. A partir do momento em que o software representa papel fundamental no controle de EEM ele deixa de ser um risco intrinseco do equipamento e deve ser analisado co
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 16/12/2011
-
14. SOLIMVA: A methodology for generating model-based test cases from natural language requirements and detecting incompleteness in software specifications / SOLIMVA: Uma metodologia para geração de casos de testes baseados em modelos a partir de requisitos em linguagem natural e detecção de não completude em especificações de software
Em maior ou menor extensão, a Linguagem Natural (LN) é ainda amplamente usada para elaborar especificações de requisitos de software ou outros artefatos criados para a documentação de requisitos. Entretanto, fornecimentos elaborados em LN apresentam ambiguidade, inconsistência e não completude. Esta tese de doutorado apresenta uma metodologia, SOLIMV
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/12/2011
-
15. Um Processo Ágil para Especificação de Requisitos em Programas Interativos com foco em Roteiros de TV
A adição de software aos programas de TV através da implantação do Sistema Brasileiro de TV Digital impulsionou a integração dessas duas grandes indústrias: software e TV. Essas duas linhas de trabalho possuem diferentes pensamentos e formas de trabalhar, contudo, com a chegada da TV Digital estes dois perfis profissionais, comunicação e informáti
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 21/11/2011
-
16. Joker: um realizador de desenhos animados para linguagens formais
Usando métodos formais, o desenvolvedor pode aumentar a confiabilidade e corretude do software. Além disso, o desenvolvedor pode concentrar-se mais nos requisitos funcionais. Porém há muita resistência em se adotar essa abordagem de desenvolvimento de software. A razão principal e a escassez de suporte ferramental adequado, útil e de fácil utilizaç�
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 31/08/2011
-
17. UMA ABORDAGEM PARA O REUSO DE REQUISITOS BASEADA EM PADRÕES E RASTREABILIDADE / AN APPROACH FOR THE REUSE OF REQUIREMENTS BASED ON PATTERNS AND TRACEABILITY
O processo de Engenharia de Requisitos é complexo e envolve trabalho desde a captação dos requisitos até a sua documentação e validação. Diversos problemas de projetos de desenvolvimento de software estão relacionados à atividade de elicitação de requisitos. Existem diferentes metodologias e técnicas para realização da tarefa de elicitação d
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 24/08/2011
-
18. Especificação do micronúcleo FreeRTOS utilizando o método B
Este trabalho apresenta uma contribuição para o esforço internacional do Verified Software Repository através da especificação formal da biblioteca de sistema de tempo real FreeRTOS. Tal especificação foi realizada de forma abstrata utilizando o método B. Para isso, propriedades disponibilizadas por essa biblioteca foram elencadas e selecionadas com
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 16/08/2011
-
19. Estratégia de Especificação de Requisitos de Usabilidade para Sistemas de Realidade Aumentada
Nos últimos anos, uma proliferação de novas tecnologias vem surgindo para melhorar/ facilitar a assimilação das informações. Uma dessas tecnologias é a Realidade Aumentada - RA que é o enriquecimento do ambiente real com textos, imagens, gráficos, sons e objetos virtuais, usando algum dispositivo tecnológico e funcionando em tempo real. Ela aprese
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/08/2011
-
20. Processo de especificação de arquitetura ODP aplicado no gerenciamento de facilidades. / Process specification of ODP architecture applied in facilities management.
O Gerenciamento de Facilidades é considerado por muitos autores como um campo interdisciplinar dedicado a garantir a funcionalidade do ambiente construído através da integração de pessoas, lugar, processos e tecnologia. Para desenvolver um modelo arquitetônico que possa ser usado para lidar com a Gerência Facilidades (GF), é primeiramente necessário
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 08/08/2011
-
21. A aplicação de planejamento estatístico multivariado no desenvolvimento de componentes do motor Diesel / The application of multivariate statistical planning in the development of diesel engine components
O processo de desenvolvimento de motores Diesel vem sendo cada vez mais estudado e aprimorado dentro da Indústria. A busca por ferramentas que possam reduzir o tempo de desenvolvimento e também otimizar o trabalho para atingir requisitos de desempenho, redução de consumo de combustível e limites de emissões cada vez mais restritivos é muito importante
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 28/06/2011
-
22. Projeto para produção de vedações verticais em alvenaria em uma ferramenta CAD-BIM. / Masonry design for production in a BIM-CAD tool.
Este trabalho propõe uma metodologia para representar o PPVVA (Projeto para Produção de Vedações Verticais em Alvenaria) em ferramentas CAD-BIM de maneira a não degradar significativamente o desempenho de manipulação do modelo BIM devido à grande quantidade de componentes. Ao mesmo tempo, propõe uma linguagem computacional para descrever modulaçõ
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 04/05/2011
-
23. Estudo de requisitos e especificações para a tolerância a falha simples do sistema de controle de atitude da plataforma multimissão / A study of requirements and specifications for single fault-tolerance of the multi-mission platform attitude control system
Em muitas aplicações de engenharia, a Confiabilidade é uma das mais importantes características. Os aspectos em torno da Confiabilidade desempenham um papel essencial em projetos de aeronaves, espaçonaves, automóveis, sistemas médicos e bancários, etc., evitando perdas de vidas e propriedade. Os sistemas altamente confiáveis são projetados para ope
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 01/04/2011
-
24. Aplicação de teorias do erro humano no processo da engenharia de requisitos.
Muitos projetos de software falham devido à má estruturação e execução do processo de Engenharia de Requisitos (ER) e na maioria dos casos o fator humano inserido nesta atividade é crucial para a falha, pois são atividades essencialmente humanas e subjetivas. Com o intuito de auxiliar o ser humano na execução e contribuir para a melhora do processo
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 01/04/2011