Especificações de casos de
Geração de casos de teste a partir de especificações B
... gera casos de teste independentes de ...seja, casos que quebrariam o funcionamento correto da ...de especificações B, mas sem que estas especificações fossem refinadas até a geração de ...
100
NLForSpec : uma ferramenta para geração de especificações formais a partir de casos de teste em linguagem natural
... 50 casos de teste acrescidos para esse experimento foram retirados da mesma feature que os 50 do experimento anterior, a grande maioria das entidades já estava armazenada nas bases de conhecimento, pois a variação ...
110
Especificações de Casos de Uso UC04 Cadastro de Funcionários
... [P02] Os dados dos campos da tela que o ator esta vendo, serão substituídos pelos dados do primeiro resultado da pesquisa. [P02] Os dados dos campos da tela que o ator esta vendo, serão[r] ...
14
SpecNL : uma ferramenta para gerar descrições em linguagem natural a partir de especificações de casos de teste
... Foi desenvolvida uma interface gráfica bem simples para facilitar a manipulação dos casos de teste em CSP, e das descrições geradas durante os experimentos realizados na ferramenta. Algumas outras ferramentas ...
144
Enraizamento de estacas: especificações técnicas para construção do módulo de propagação
... Poderão ser usados em locais onde a pressão d’água não consiga acionar os bicos nebulizadores satisfatoriamente ou, em casos de reparos na linha mestre, funcionando como uma alternativa para que o suprimento de ...
9
Da fixação das especificações técnicas no caderno de encargos
... as especificações técnicas por referência a um conjunto bem definido de normas, quer europeias, quer internacionais ...em especificações técnicas nacionais em matéria de conceção, de cálculo e de realização ...
45
Desenvolvimento de uma sistematica para a obtenção das especificações de projetos de produtos industriais
... Do ponto de vista social e em uma sociedade como a atual "o indivíduo começa a valer pelo que possui e não pelo que é", FROMM [37], Explorando essa realidade, a indústria começou um processo acelerado de ...
149
Projeto de controladores robustos com especificações temporais.
... domínio do tempo visando ao acompanhamento do sinal de referência e a rejeição de distúrbios é discutido neste ar- tigo do ponto de vista freqüencial. As condições de projeto são obtidas em função de modelos de ...
11
Geração de especificações executáveis para o projeto de módulos para sistemas em "Chips"
... A especifica¸c˜ao comportamental em UML, em alto n´ıvel, geralmente se inicia a partir da identifica¸c˜ao dos casos de uso para um sistema e dos atores envolvidos. Estes s˜ao denominados Diagramas de Casos ...
120
Geração automática de testes a partir de especificações algébricas
... Na figura 4.5 , na definição da operação push deixa de ser usado o one, que no contexto significa que a operação existe em todos os estados que possam ser atingidos, passando-se a usar o lone, que indica que a operação ...
60
Os componentes para a estimação do custo de capital : impacto de especificações alternativas
... os casos, a elasticidade se encontra próxima do meio do intervalo compreendido entre 0 e 1, a variação verificada será superior à que existiria se houvesse uma variação de 1% na taxa risk ...
69
Gerando modelos SCADE a partir de especificações descritas em SCR
... O presente trabalho propõe uma estratégia de tradução automática que transforma especi- ficações SCR em modelos SCADE através do uso de regras de tradução. O trabalho inclui a construção de uma ferramenta tradutora com a ...
112
Especificações técnicas para redes húmidas de combate a incêndios
... Relativamente ao tema propriamente dito, a regulamentação existente em Portugal de redes húmidas de combate a incêndios em edifícios, contém informação avulsa e necessita de uma coordenação e clarificação mais adequadas. ...
109
Especificações de turbinas hidráulicas
... Comporta – destina-se a abrir ou fechar a admissão da água nos condutos. Equipadas em geral com sistema de fechamento rápido para casos e emergência. Além das comportas existe, em geral, um sistema de vigas de ...
72
Sistematização das especificações metrologicas em sistemas automatizados de aquisição de sinais
... Amplificam a tensão de entrada do sinal analógico, uma vez que os sinais produzidos pela maioria dos transdutores são de baixa tensão ou nível de potência, e favorecem a relação de impedâncias adequada entre os circuitos ...
136
Especificações de Classe - Composição e Usos
... Uma característica de trabalho que se relaciona tanto com dificuldade como com responsabilidade é a maneira pela qual o supervisor controla o trabalho do funcionário, conforme o res pectivo setor. Em alguns ...
13
Especificações de Formatos Publicitários
... Página 12 Não é permitido fundo transparente. De modo a evitar a elegibilidade das peças, pedimos atenção especial para materiais cujo fundo coincida com a cor de fundo da página. Recomendamos que nesses casos, ...
34
Geração mecanizada de abstrações seguras para especificações CSP
... αs == Binding ↔ Binding Como a Defini¸ca˜o 3.1.1 abstra¸c˜ao segura necessita uma rela¸c˜ao de abstra¸ca˜o para cada vari´avel e a rela¸c˜ao resultante da estrat´egia exibida nessa disse[r] ...
106
Publicações do PESC SATyrus2: Compilando Especificações de Raciocínio Lógico
... Os objetivos deste trabalho são a concepção e o desenvolvimento de uma plataforma de resolução de problemas de otimização denominada SATyrus2. A plataforma é composta por um compilador capaz de traduzir ...
108
Especificações de projeto e desenvolvimento de plataforma para array processing
... FIGURA 23 Placa de circuito impresso gerada para funcionamento e amplificac¸˜ao do sinal dos microfones.. 47 –.[r] ...
64