Use Case Specification
Mostrando 1-12 de 34 artigos, teses e dissertações.
-
1. Modelagem de processos de negócio: efeito do método de notação no nível de ambiguidade
Resumo A proposta deste estudo experimental controlado e aleatorizado foi analisar a especificação de requisitos funcionais. Avaliaram-se os possíveis impactos do método de notação de modelagem de processo no nível de ambiguidade presente na especificação em linguagem natural. As notações foram utilizadas como instrumento para manifestar as nece
Gest. Prod.. Publicado em: 18/03/2019
-
2. State of the art: integrating services for mega events
This paper describes the state of the art of a simplified model for integration of services in mega events. The project context, which was financed by the National Research Council – CNPq, is divided into six major areas or functional groups: Urban Mobility, Tourism, Airports, Security, Energy and Telecommunications. The proposal is described in layers, as
JISTEM J.Inf.Syst. Technol. Manag.. Publicado em: 2014-05
-
3. Metodologia para implementação de controle supervisório modular local em controladores lógicos programáveis / Methodology for implementation of supervisory control local modular in programmable logic control
Currently, manufacturing automation has assumed an increasingly important role within the industry and the problems of automated control systems have become increasingly complex. Thus, the traditional use of empirical methods heavily base on the experience of the programmer can lead to inappropriate or ineffective solutions. In this case, the Supervisory Con
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 29/07/2011
-
4. Geração de cenários de teste com base em casos de uso
Around 37% of unsuccessfully software projects have their cause related to issues on how to software requirements are collected and manipulated. Requirement Management activities help on getting this scenario better, however it is necessary to validate the software under construction on its right meaning frequently. Thus, Software Quality Assurance (SQA) act
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 25/02/2011
-
5. A importância do controle financeiro em um sistema de informações gerenciais numa fazenda.
RESUMO: A necessidade de dados para avaliação financeira e econômica de tecnologias agropecuárias e de aperfeiçoamento de procedimentos gerenciais de fazendas, por meio de recursos de informática, levou a Embrapa Cerrados à proposição de um sistema de informações gerenciais para fazendas em parceria com dois produtores familiares e um agrônomo au
Planaltina. Publicado em: 2011
-
6. Análise da especificação de materiais e componentes construtivos no processo de projeto de construções metálicas
The current scenario of high competitiveness in civil construction, coupled with increasing client demands, has lead to a constant tightening of deadlines, improvement of efficiency, an increase in productivity and better quality of projects. The adoption of new technologies and the implementation of constructive rationalization through the use of steel cons
Publicado em: 2010
-
7. Combinação de modelos de campos aleatórios markovianos para classificação contextual de imagens multiespectrais / Combining markov random field models for multispectral image contextual classification
This work presents a novel MAP-MRF approach for multispectral image contextual classification by combining higher-order Markov Random Field models. The statistical modeling follows the Bayesian paradigm, with the definition of a multispectral Gaussian Markov Random Field model for the observations and a Potts MRF model to represent the a priori knowledge. In
Publicado em: 2010
-
8. Uma abordagem arquitetural para o desenvolvimento rigoroso de sistemas confiáveis baseados em componentes / A rigorous architectural approach to development component-based software systems
The incorporation of fault tolerance into systems normally increases their complexity, which consequently makes their analysis more difficult. Moreover, the use of exception handling mechanisms to develop robust software systems in a non-systematic manner can be a source of many design faults. This thesis presents a rigorous and architecture-centric developm
Publicado em: 2009
-
9. Automated formal specification generation and refinement from requirement documents
The automatic generation of formal specifications from requirements suppresses the complexity of formal models manual creation and reveals the immediate benefits of its usage, such as the possibility to carry out refinements, and property verification, which contributes to project cost reduction and quality improvement. This paper proposes a Controlled Natur
Journal of the Brazilian Computer Society. Publicado em: 2008-03
-
10. Função de produção agregada e crescimento econômico de longo prazo dos estados brasileiros no período de 1980-2002: uma análise empírica com dados em painel / Aggregate production function and long run economic growth of the Brazilian states over the period 1980-2002: an empirical analysis with panel data
New "stylized facts" on long run economic growth are putting in doubt the conventional use of the Cobb-Douglas specification, as representative of the aggregate production technology in the analysis, theoretical and empirical, on economic growth. In this context, a possible alternative would be the use of a more general specification as, for instance, the CE
Publicado em: 2008
-
11. SPECIFICATION OF A MULTI-AGENT SYSTEM RECOMMENDATION FOR ACTION IN CASE OF FAILURES OF SYSTEMS AUTOMATION IN CONTROL / ESPECIFICAÇÃO DE UM SISTEMA MULTIAGENTE DE RECOMENDAÇÃO DE AÇÕES EM CASO DE FALHAS DE SISTEMAS DE AUTOMAÇÃO E CONTROLE
When equipment failure occur in complex industrial plants, the automation and control system generates a great amount of alarms that can confuse the operators and lead them to take wrong decisions - the time for decision taking is very short and the amount of generated information is higher, being impossible for the operator read all of them before taking th
Publicado em: 2008
-
12. VISTREE: uma linguagem visual para análise de padrões arborescentes e para especificação de restrições em um ambiente de mineração de árvores
The frequent pattern mining in data represented by more complex structures like trees and graphs are growing lately. Among the reasons for this improvement is the fact that the tree and graph patterns has more information than sequential patterns, besides there is the possibility of usage of this type of mining in several areas like XML Mining,Web Mining and
Publicado em: 2008