Requirements Verification
Mostrando 13-24 de 27 artigos, teses e dissertações.
-
13. Formulação da estratégia competitiva pelo modelo de campos e armas da competição: verificação da validade para um fabricante de autopeças / Formularization of the competitive strategy for the model De Campos and weapons of the competition: verification of the validity for a manufacturer of auto parts
This work objective to verify if the formulation process of competitive business strategy and competitive operational strategy prescribed by the model field and weapons of the competition is capable to consider strategies that can generate competitive advantage to a company of the sector of auto parts. Although the model field and weapons of the competition
Publicado em: 2009
-
14. 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
-
15. Um modelo de confiança aplicado aos processos de gestão da tecnologia da informação / A trust model applyed to information technology management processes
This dissertation presents a model of trust in the management of the information technology. It presents relevant aspects on the use of trust on the Information Technology (IT) Management. It comments on the definitions of trust relates the contemporary business environment to crescent risks, as far as trust is concerned, based on the complexity deriving fro
Publicado em: 2008
-
16. VERIFICAÇÃO E VALIDAÇÃO EM REQUISITOS: PROCESSAMENTO DA LINGUAGEM NATURAL E AGENTES / REQUIREMENTS VERIFICATION AND VALIDATION: NATURAL LANGUAGE PROCESSING AND SOFTWARE AGENTS
No processo de desenvolvimento do software, atividades relacionadas ao Processo de Requisitos envolvem elicitação, modelagem, verificação e validação dos requisitos. O uso da linguagem natural no registro dos requisitos facilita a comunicação entre os participantes do processo, além de possibilitar que clientes e usuários validem requisitos sem nec
Publicado em: 2007
-
17. Proposição de uma estrutura referencial para tratamento de não conformidades em componentes produtivos do setor automotivo
Quality has deeply evolved in the last decades and organization focus on understanding and achieve its requirements. Even though products running under process control, programs like zero defect, TQC, Six Sigma and Lean manufacturing support the quality evolution, nonconformance products arrive in automotive industry or final customer. When it happens, inter
Publicado em: 2007
-
18. Uma análise de prestações de contas de candidatos majoritários no pleito de 2004 nos municípios da região metropolitana do Recife à luz das características qualitativas da informação contábil / Uma análise de prestações de contas de candidatos majoritários no pleito de 2004 nos municípios da região metropolitana do Recife à luz das características qualitativas da informação contábil
The Accountancy tries to supply its several users with the useful information that needs to be covered by some characteristics which give quality to the decisions taken. This study aims to proceed a documentary verification to analyze if the information is according to the elected candidates billings and the second chosen to the town councils of the metropol
Publicado em: 2007
-
19. Aplicação de conceitos da gestão econômica (GECON) em hospitais : uma análise focada na visão de gestores hospitalares do estado de Pernambuco
The State of Pernambuco is recognized in national ambit by its development in the medical area. The Recife Metropolitan Area (RMR) detaches in Brazilian northeastern context by the existence of a high number of health services units, where public and deprived hospitals are located with more than 50 years, generating employment for a great number of people. I
Publicado em: 2006
-
20. Gestão de competência técnica na manutenção industrial da Refinaria Landulfo Alves (RLAM).
This dissertation has as objective to verify how is the alignment of the usual Technical Competences Management in the Electric and Instrumentation area in a big refinery of oil with the Technical Competences Model constructed by the author to be applied in the Industrial Maintenance. Such Model grows of importance to the measure that if demand of the Functi
Publicado em: 2005
-
21. A timed Petri net methodology based on area estimator for hardware/software co-design systems environments / Uma metodologia para estimativa de Ãrea baseada em redes de Petri temporizadas para ambientes de sistemas de hardware/software co-design
Most modern electronic systems consist of dedicated hardware and programmable components (called software components). Over the last few years, the number of methodologies that concurrently apply design techniques from different areas to develop mixed hardware/software system has been growing considerably. The concurrent design of mixed hardware/software sys
Publicado em: 2004
-
22. Gestão dos estoques numa cadeia de distribuição com sistema de reposição automática e ambiente colaborativo. / Multi-echelon inventory management with automatic replenishment program and collaborative environment.
This dissertation focuses on the inventory management for multi-echelon systems. The simulation model proposes a new inventory management policy and compares it to the historical performance of a medicine supply chain. The main objectives of this research are: the quantitative analysis of the method used for the calculation of material requirements in multi-
Publicado em: 2003
-
23. Design of active sidestick controllers.
This thesis discusses the design of Active Sidestick for commercial airplanes. The Active Sidestick is a control device installed in the airplane cockpit, and used to convert the pilot s arm and wrist movements into attitude commands to the airplane. Simultaneously, the Active Sidestick provides to the pilot, by means of actuators connected to its hinges, a
Publicado em: 2002
-
24. Closing the GAP between organizational requirements and object oriented modeling
Requirements Engineering has been considered a key activity in any Software Engineering process. It is well known that a requirements specification should include not only software specifications but also business models and other kinds of information describing the context in which the intended system will function. In recent years we have observed a growin
Journal of the Brazilian Computer Society. Publicado em: 2000