Erros De Especificacao
Mostrando 1-12 de 51 artigos, teses e dissertações.
-
1. Medida da aliança parental: validação portuguesa e construção de uma versão reduzida
OBJETIVO: A Medida de Aliança Parental (PAM) avalia a qualidade da relação interparental na prestação de cuidados da criança. O presente artigo apresenta a validação de uma versão portuguesa da medida, bem como examina as qualidades psicométricas de uma versão reduzida com 6 itens do instrumento (PAM-R). MÉTODO: A amostra foi constituída por 182
Arch. Clin. Psychiatry (São Paulo). Publicado em: 2013
-
2. Um método orientado a processo para elicitação de requisitos em sistemas computadorizados
Este trabalho de pesquisa propõe um método orientado a processo para elicitação de requisitos, visando melhorar a compreensão de negócios e reduzir informações erradas ou omitidas, bem como os conflitos de visões e propagações de erros no desenvolvimento de Sistemas Computadorizados (SCs). O método proposto encontra-se estruturado em duas fases:
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 16/08/2012
-
3. Uso do padrão AMQP para transporte de mensagens entre atores remotos / Usage of the AMQP standard to transport messages among remote actors
O modelo de atores tem sido visto como uma abordagem alternativa à programação concorrente convencional, baseada em travas e variáveis de condição. Atores são agentes computacionais que se comunicam por troca de mensagens e que possuem uma caixa de correio e um comportamento. As mensagens destinadas a um ator são armazenadas na caixa de correio do at
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 08/05/2012
-
4. 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
-
5. 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
-
6. Determinação quantitativa da homogeneidade da distribuição de urânio em combustiveis nucleares tipo placa / Quantitative determination of uranium distribution homogeneity in MTR fuel type plates
O IPEN-CNEN/SP produz o combustível para suprir o seu reator nuclear de pesquisas IEA-R1. O combustível é montado a partir de placas combustíveis contendo um núcleo do compósito U3Si2-Al. Uma boa homogeneidade na distribuição de urânio no núcleo da placa combustível é essencial, pois garante um bom desempenho sob irradiação. Considerando a baix
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 03/05/2011
-
7. 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
-
8. 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
-
9. 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
-
10. 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
-
11. Fator estocástico de desconto: as cotas de variância, métricas de distância e suas extensões
O conceito de fator estocástico de desconto permeia a Teoria Moderna de Apreçamento de Ativos. A princípio, tal objeto permite homogeneização na discussão sobre modelos de apreçamento. No entanto, Hansen e Jagannathan mostraram que há mais a ser extraído desse poderoso conceito subjacente aos modelos. A partir de dados, estudam limites do comportame
Publicado em: 30/09/2010
-
12. Larch : uma alternativa para especificação formal
Pesquisas recentes na área de especificação são enfáticas no use pratico de especificações formais no projeto de programas. Uma maneira de satisfazer isto, e providenciando linguagens de especificação que sejam acessíveis simultaneamente a projetistas, a especificadores e a programadores. A abordagem Larch esta orientada a especificação de módul
Publicado em: 2010