Evolucao De Produto De Software
Mostrando 13-23 de 23 artigos, teses e dissertações.
-
13. Aplicação do método B ao projeto formal de software embarcado
Este trabalho apresenta um método de projeto proposta para vericação formal do modelo funcional do software até o nível da linguagem assembly. Esse método é fundamentada no método B, o qual foi desenvolvido com o apoio e interesse da multinacional do setor de petróleo e gás British Petroleum (BP). A evolução dessa metodologia tem como objetivo co
Publicado em: 2009
-
14. Geração de conjuntos de teste para sistemas reativos, de tempo-real, e com transformações de contexto / Generating test suites for reactive and real-time systems, with context transformations
O objetivo deste trabalho é prover métodos eficientes de geração de casos de teste para sistemas reativos críticos. Sistemas dessa natureza compreendem sistemas de tempo real e com transformações de contexto. Uma das técnicas mais usadas na geração de conjuntos de teste tem sido a abordagem baseada em modelos formais. Neste caso, os formalismos for
Publicado em: 2009
-
15. A reutilização de modelos de requisitos de sistemas por analogia : experimentação e conclusões / Systems requirements reuse by analogy: examination and conclusions
A exemplo de qualquer outra atividade que se destine a produzir um produto, a engenharia de software necessariamente passa por um fase inicial, onde necessário definir o que será produzido. A análise de requisitos é esta fase inicial, e o produto dela resultante é a especificação do sistema a ser construído. As duas atividades básicas durante a anal
Publicado em: 2009
-
16. Dealing with radiation induced long duration transient faults in future technologies / Lidando com falhas transitórias de longa duração provocadas por radiação em tecnologias futuras
Com a evolução da tecnologia, dispositivos menores e mais rápidos ficam disponíveis para a fabricação de circuitos que, embora sejam mais eficientes, são mais sensíveis aos efeitos da radiação. A alta densidade, ao reduzir a distância entre dispositivos vizinhos, torna possível a ocorrência de múltiplas perturbações como resultado da colisão
Publicado em: 2009
-
17. Study of a convective situation (growth-dissipation) using data from Doppler meteorological radar in Manaus / Estudo de uma situação convectiva (iniciação-dissipação) utilizando dados do radar meteorológico doppler de Manaus
Os Sistemas Convectivos de Mesoescala (SCM) são sistemas característicos da região amazônica, esta região possui fatores favoráveis a formação da atividade convectiva, ou seja, elevados valores de temperatura e umidade do ar. Estes sistemas normalmente ocasionam ventos fortes, descargas elétricas atmosféricas e ocasionalmente, granizo, além de exp
Publicado em: 2009
-
18. Definição de perfil de capacidade de processo para empresa dirigida a evolução de produto de software
The Software Process Improvement (SPI) has shown, in practice, a feasible and efficient approach for organizations improvement. However, the SPI involves innumerable challenges and difficulties, which contribute to that many SPI adoption initiatives end failing. A model based software process improvement with fixed levels of maturity, do not take care of the
Publicado em: 2008
-
19. Method for software system maintenance using architectural techniques. / Método para manutenção de sistema de software utilizando técnicas arquiteturais.
Diversos negócios hoje são suportados por sistemas de software. Acredita-se que o uso de Arquitetura de Software é fundamental para atingir alcançar as metas de negócio e qualidade. Visto que o conjunto de requisitos que levou à construção de uma determinada arquitetura pode mudar, tal arquitetura pode tornar-se inadequada. Em diversas situações é
Publicado em: 2008
-
20. Otimização do setor de prensagem por meio de planejamento de produção em uma industria de papel / Optimization and production programming of the press section in a paper industry
A seção de prensagem é uma importante parte da máquina de papel, afetando as propriedades do produto, bem como interferindo no custo final de fabricação. O setor de prensagem é responsável pela retirada da água da folha, através de ação mecânica no NIP (zona de contato entre por dois rolos). Baixa eficiência deste setor acarreta inconveniente c
Publicado em: 2008
-
21. Desenvolvimento de um sistema para estimativa de bem-estara aprtir de dados de vocalização de suinos / Development of a system to estimate of wefare from data vocalization of pigs
As atuais tendências de mercado e exigências dos consumidores, juntamente com regulamentações de normas e padronizações relacionadas ao bem-estar animal têm provocado um forte impacto sobre a produção suinícola brasileira e podem afetar as exportações. Na mesma medida, a preocupação com a produção de alimentos está cada vez mais voltada para
Publicado em: 2008
-
22. Um modelo de dados temporal orientado a objetos para gerenciar configurações de software / A temporal object-oriented data model to manage software configurations
Gerência de Configuração de Software é a disciplina que define conceitos e métodos baseados nos quais engenheiros de software conseguem manter sob controle a evolução de complexos produtos de software. Todos os princípios básicos da GCS foram implementados com sucesso em diversas ferramentas comerciais, mas as abordagens mais avançadas propostas no
Publicado em: 2007
-
23. ETIERP - estrategia de testes para implantação de sistemas ERP
O teste de software é uma atividade crítica na garantia da qualidade do produto. Os seres humanos são passíveis de erros e a atividade de testes é essencial para diminuir estes possíveis erros que possam ser encontrados. Com a evolução das ferramentas para desenvolvimento de software, estes vão se tornando cada vez mais complexos e abrangentes. Os s
Publicado em: 2003