Visualização do documento
Título
ANALISE DE SEGURANCA E SOBREVIVENCIA DE SISTEMAS BASEADOS EM REDES DE COMPUT...
Orientador
MARCIO MERINO FERNANDES
Autor
RICARDO SLAVOV
Palavra chave
SEGURANCA EM COMPUTADORES, SOBREVIVENCIA DE SISTEMAS, REDES DE COMPUT...
Grupo CNPQ
Programa
MS - CIÊNCIA DA COMPUTAÇÃO
Área
CIÊNCIAS EXATAS E DA
Data da defesa
20/04/2006
Nº Downloads
12517
Resumo
No dia-a-dia das empresas que desenvolvem software, é comum o questionamento sobre a prática sugerida pela metodologia de Engenharia de Software para sua documentação. Este trabalho mostra as problemáticas que podem ocorrer na documentação de um software, como a ambigüidade, a imprecisão e a incompletude que essa documentação pode apresentar. Nesse contexto, é fundamental utilizar as metodologias propostas pela Engenharia de Requisitos na elaboração de software, tentando assim minimizar esses problemas. Neste trabalho foi realizado um estudo de caso, no qual se fez uma avaliação sobre a qualidade da especificação de um software e agregou-se a essa especificação uma descrição chamada OCL (Object Constraint Language). A OCL tem como objetivo descrever na especificação as restrições do software utilizando uma linguagem formal, próxima da codificação, mas sem a complexidade de uma linguagem de programação. No estudo de caso, após a especificação de um software comercial, uma avaliação foi realizada através de um questionário que foi respondido por profissionais da área de informática, para avaliar o grau de melhoria que foi obtido através da utilização dessa nova linguagem. Palavras-Chaves: OCL, Engenharia de Requisitos, UML, Especificação de Requisitos.
Abstract
On a daily basis, in software development companies, it is very common the questioning of which software engineering methodology should be used for documentation. It is the purpose of this job to show the problems that can occur in the process of software documentation as, ambiguity, inaccuracy and a lack of completeness that this documentation can present. In this context, it is fundamental to use the methodologies proposed by the Requirement Engineering when developing software, in order to minimize these problems. A case study was done in this job in which an evaluation was made of the quality of a software specification, and a description OCL (Object Constraint Language) was added to this specification. The objective of OCL is to specify constraints on software using a formal language, close to programming, but without the complexity of a programming language. In the case study, after a commercial software was specified, an evaluation was made through a questionnaire answered by professionals from the information technology area to evaluate the level of improvement obtained through the use of this new language. Key Words - OCL, Requirement Engineering, UML, Requirement Specifications 8
