A fase inicial de projeto de sistemas, baseada na elicitação, modelagem e análise dos requisitos é considerada a mais complexa e a mais estratégica para obtenção de bons resultados. Por conseguinte, erros precisam ser detectados durante esta fase inicial, antes de começar a implementação, evitando assim o desperdício de tempo e recursos. Este trabalho propõe um método formal de modelagem, análise e verificação de requisitos, partindo de uma representação semi-formal de requisitos em UML, e utilizando o formalismo das Redes de Petri para proceder à modelagem, análise e verificação. Propriedades das redes de Petri, tais como invariantes, são usadas para analisar os requisitos, permitindo uma validação antecipada dos requisitos no processo de design. O objetivo deste trabalho é estender a aplicação das redes de Petri como representação formal para a modelagem e análise de requisitos, endereçando assim a fase anterior às especificações. Pressupõe-se a existência de uma disciplina de projeto baseada em modelos (model driven) que abrange a fase inicial do projeto e se propaga para a modelagem e verificação de soluções. Assim, a abordagem proposta nesta tese se encaixa plenamente em um processo orientado a modelos que use a mesma linguagem: as redes de Petri. / The first stage of system design, which includes elicitation, modeling, and analysis of requirements is considered at the same time, very complex and very strategic to achieve proper results.Therefore it is important to detect mistakes both, conceptual and in requirements, before implementation begins, avoiding the waste of time and resources. This work proposes a formal method for modeling, analysis and verification of requirements, starting with a semi-formal representation of requirements in UML. Petri net and its properties such as invariants are used to analyze requirements, thereby allowing that requirements can be validated earlier. The main objective of this work is to extend the application of Petri Nets, as a formal representation, to requirements phase, addressing specification building. It is assumed that there is a model driven design approach that encompass the initial (requirements) phase and goes through the modeling and verification of solutions. Therefore the approach proposed in this work fits a model driven general approach which could use the same formal language: Petri Nets.

A oferta de bens e serviços para atendimento da demanda dos consumidores atuais tem uma forte base na personalização, ou seja, na busca da satisfação individual dos clientes. Essa tem sido a forma que as empresas tem encontrado para se diferenciar. Para tanto, as organizações necessitam de modelos de negócios que permitam ajustar seus processos com as freqüentes necessidades de mudanças. A metodologia utilizada foi a observação de estudo de casos com projetos de Inovação Tecnológica, que possuem altos índices na característica de mudança dos requisitos. A proposta deste trabalho é permitir que essa volatilidade seja identificada na fase de eliciação de requisitos, com base nas intenções de cada envolvido no processo de engenharia de requisitos, e que tais solicitações possam ser melhor compreendidas através da prototipação baseada nas perspectivas dos participantes: de negócio, operacional, de design e gerencial. Como resultado foi definido o volaRE, que permite se conhecer a volatilidade de um requisito, com base nas características definidas do mesmo, ainda na fase de eliciação. / Current consumers have demanded a special attention in the production and distribution of goods and services which have turned organizations to mass customization, looking for an individual satisfaction of their customers. This has been the form that companies have found to differentiate themselves. Therefore, the integration of business and productive processes must be adaptable to the frequent changes in the company\'s environment. The used methodology was the observation of cases study with of Technological Innovation projects, which have high rates of requirements changes. The proposal of this work is that this volatility could be identified in the requirements elicitation phase, based on the intent of each involved in the process of requirements engineering, and that such requests can be better understood through perspectives prototyping based of those participants: business, operational, design and management. As result volaRE was defined, that lets to know the requirement\'s volatility, based on defined characteristics, yet at elicitation phase.

Submitted by Fernanda Weschenfelder (fernanda.weschenfelder@uniceub.br) on 2018-05-28T19:33:09Z No. of bitstreams: 1 61300360.pdf: 688357 bytes, checksum: a8468661e507564caf5c7fc9319263c5 (MD5) / Approved for entry into archive by Fernanda Weschenfelder (fernanda.weschenfelder@uniceub.br) on 2018-05-28T19:33:44Z (GMT) No. of bitstreams: 1 61300360.pdf: 688357 bytes, checksum: a8468661e507564caf5c7fc9319263c5 (MD5) / Made available in DSpace on 2018-05-28T19:33:44Z (GMT). No. of bitstreams: 1 61300360.pdf: 688357 bytes, checksum: a8468661e507564caf5c7fc9319263c5 (MD5) Previous issue date: 2016 / O sistema de propriedade intelectual tem grande importância para o desenvolvimento tecnológico de um país. A concessão de patentes de medicamentos gera controvérsias, uma vez que está centrada no dilema entre proteção e acesso. Proteção aos inventores, que merecem ter o seu esforço e investimento reconhecidos, e acesso aos medicamentos pelas populações, a preços acessíveis, de modo a não trazer prejuízos à saúde pública. A possibilidade jurídica da concessão de patentes de segundo uso médico é ainda mais polêmica, uma vez que envolve a análise e compatibilidade da legislação nacional com os acordos firmados internacionalmente, especialmente no âmbito do Acordo TRIPS. Há um movimento no sentido de flexibilização dos requisitos legais de patenteabilidade, embora haja um espaço de liberdade para que os conceitos e a amplitude dos referidos requisitos sejam estabelecidos localmente. No Brasil, verifica-se uma omissão legislativa em relação à possibilidade jurídica da concessão de patentes de segundo uso médico, bem como observa-se uma política pública contraditória, que gera insegurança jurídica. Em sua estrutura, o trabalho divide-se em três capítulos. O primeiro capítulo analisa a compatibilidade da patente de segundo uso médico com o conceito e a função do direito de patentes. O segundo capítulo aborda a compatibilidade da patente de invenção de segundo uso médico com os requisitos legais de patenteabilidade. O terceiro e último capítulo, analisa as divergências quanto à concessão da patente de segundo uso médico, tanto no âmbito internacional, quanto no âmbito interno. O presente trabalho oferece contribuição a essa discussão e enfatiza a tarefa imperativa de definição jurídica dessa omissão legislativa.

Made available in DSpace on 2015-04-14T14:49:14Z (GMT). No. of bitstreams: 1 418878.pdf: 1166598 bytes, checksum: 638c3d51308a797479215be816b6345d (MD5) Previous issue date: 2007-03-21 / Os novos desafios que surgem em virtude da crescente distribui??o de opera??es de desenvolvimento de software acentuam os problemas relacionados ? Engenharia de Requisitos. Assim, a fim de amenizar o impacto do Desenvolvimento Distribu?do de Software no trabalho das equipes, este trabalho consiste em identificar um processo de Engenharia de Requisitos no qual se obtenha valor agregado atrav?s da aplica??o de t?cnicas de Gest?o de Conhecimento. A proposta visa definir um processo no qual se possa facilitar e prover a formaliza??o do conhecimento a fim de diminuir as ambig?idades na interpreta??o de conceitos e seus relacionamentos facilitando o entendimento entre as pessoas. A pesquisa contribui ao propor um processo e uma ferramenta que facilitem o trabalho das equipes dispersas com requisitos de software.

Made available in DSpace on 2015-04-14T14:50:20Z (GMT). No. of bitstreams: 1 390003.pdf: 2056710 bytes, checksum: 99bda1fb62dfe7d9761de84a7693af20 (MD5) Previous issue date: 2006-12-15 / Um documento de especifica??o de requisitos de software (Software Requirements Specification - SRS) ? decisivo para o desenvolvimento de um bom produto final. A ind?stria de software vem demonstrando crescente interesse pela engenharia de requisitos (ER), isto ?, entender o que se deseja construir antes de come?ar a faz?-lo. Os requisitos de software constituem a base a partir da qual a qualidade ? medida. Assim, a falta de conformidade com eles pode significar falta de qualidade. Existem diversas abordagens para escrever um SRS e especificar casos de uso. Os requisitos, SRS e especifica??o de casos de uso podem ter diferentes aspectos de qualidade, tais como, legibilidade, integralidade, consist?ncia, n?o ambig?idade, etc. As m?tricas desempenham um papel essencial na detec??o de defeitos dos requisitos, fornecendo meios para a visualiza??o de discrep?ncias e a identifica??o de pontos fora de uma situa??o projetada. A literatura apresenta m?tricas que s?o aplicadas nos requisitos, ou nos casos de uso, por?m estas n?o avaliam a qualidade do mapeamento. Nesse sentido, este trabalho tem como principal objetivo propor um modelo para a avalia??o da qualidade da tradu??o dos requisitos para especifica??o de casos de uso. Fornece informa??es importantes do SRS para especificar casos de uso e identificar erros e/ou aus?ncia de elementos no mapeamento, fazendo com que a reavalia??o seja feita somente nos pontos que apresentam problemas. A principal contribui??o do modelo ? permitir a gera??o de especifica??o de casos de uso consistente e de qualidade, atrav?s da descoberta de falhas no mapeamento e descoberta de requisitos ausentes no SRS

Made available in DSpace on 2015-04-14T14:50:25Z (GMT). No. of bitstreams: 1 384394.pdf: 1626133 bytes, checksum: 6baa56a8c0f7018d2283fd27f8605a0e (MD5) Previous issue date: 2005-01-31 / A crescente globaliza??o do ambiente de neg?cios tem afetado diretamente o mercado de desenvolvimento de software. Em busca de vantagens competitivas como baixos custos, produtividade e qualidade na ?rea de desenvolvimento de sistemas, diversas organiza??es optaram por distribuir o processo de desenvolvimento de software dentro de seu pa?s, ou em outros pa?ses, como ?ndia, China e Brasil. Entretanto, os desafios apresentados pela distribui??o da equipe envolvida no processo de software s?o significativos. Nesse contexto, a engenharia de requisitos ? uma atividade influenciada pela distribui??o das equipes. O processo de requisitos, mesmo em ambientes co-localizados, ? cr?tico no desenvolvimento de software. Ao lidar com a dist?ncia entre os envolvidos, as dificuldades com requisitos tendem a se exacerbar. Para tratar quest?es como dispers?o geogr?fica, diferen?as culturais e dificuldades de comunica??o, torna-se necess?ria a defini??o de novos processos, padr?es e ferramentas, de forma a reduzir o impacto da dispers?o das equipes na engenharia de requisitos. Nesse sentido, esta disserta??o de mestrado tem como objetivo propor um modelo de processo de engenharia de requisitos visando tratar quest?es relacionadas ao desenvolvimento distribu?do de software. O principal m?todo de pesquisa utilizado foi o estudo de caso e a base emp?rica da pesquisa envolve uma unidade de desenvolvimento de software de uma empresa multinacional de grande porte localizada no Brasil. A pesquisa contribui no sentido de propor um modelo de processo de engenharia de requisitos adequado ? realidade de equipes dispersas.

Made available in DSpace on 2015-04-14T14:50:26Z (GMT). No. of bitstreams: 1 397346.pdf: 4530016 bytes, checksum: 352e36ac7364f10a537fdc3e0de1094a (MD5) Previous issue date: 2007-03-08 / Um produto final que represente realmente as necessidades dos usu?rios ?, atualmente, uma busca constante das organiza??es de desenvolvimento de software. Um ponto crucial para o alcance deste objetivo ? realizar um processo de requisitos que considere as necessidades organizacionais do in?cio ao fim. O documento de especifica??o de requisitos (SRS) ? utilizado para formalizar as necessidades dos clientes e o modelo de casos de uso (MCU) serve como base para o processo de desenvolvimento. Sendo assim, ? importante que a SRS contenha todas as funcionalidades requisitadas pelos usu?rios e que o MCU represente-a fielmente, contendo todos os requisitos nela estabelecidos. Neste contexto, este trabalho apresenta um modelo de rastreabilidade entre o documento de especifica??o de requisitos e o modelo de casos de uso do sistema. Este modelo foi desenvolvido com base nos modelos conceituais destes artefatos e nas necessidades organizacionais, identificadas atrav?s de um estudo de caso realizado em uma organiza??o de desenvolvimento de software. Sua principal contribui??o ? auxiliar a atividade de engenharia de requisitos, mantendo a integridade entre os artefatos gerados quando da mudan?a dos requisitos do sistema.

Submitted by Filipe dos Santos (fsantos@pucsp.br) on 2016-09-16T18:28:01Z No. of bitstreams: 1 Denise Lemes Fernandes Neves.pdf: 2188363 bytes, checksum: 4a1bd7219349e1f8e991cf4c160a63d2 (MD5) / Made available in DSpace on 2016-09-16T18:28:01Z (GMT). No. of bitstreams: 1 Denise Lemes Fernandes Neves.pdf: 2188363 bytes, checksum: 4a1bd7219349e1f8e991cf4c160a63d2 (MD5) Previous issue date: 2016-04-04 / This master thesis aims to understand the user with intellectual diversity to establish the requirements needed for software development aimed to this significant portion of the world population. They are people with Syndromes, cerebral palsy, mental retardation, and other cognitive impairment. The part of this research that relates intellectual disability and software, there are no important findings on system requirements for the development of technology for the subject of study. A preliminary survey disclosed that technologies developed for "intellectual disability" tend to give emphasis on learning and teaching and, even when its creators argue that such technologies can develop the cognitive, help users memory and perception, they do not have clear and potential features that can in fact be attributed to disability. These are technologies that can be used by any user with difficulties in learning and not necessarily diagnosed with a cognitive disability and do not measure how much the cognitive of these people was changed after their use. To perform our study it will be used field research, diagnostic analysis, interviews with experts and research in specialized production. It will be pointed out important system requirements using theories of Human-Computer interface and Intelligent Systems, being a contribution for health, education and computing areas / Este trabalho busca conhecer o usuário com diversidade intelectual para estabelecer os requisitos necessários no desenvolvimento de software aplicado para essa significativa parcela da população mundial. Dela fazem parte pessoas com Síndromes, paralisia cerebral, retardo mental, entre outros comprometimentos cognitivos. No cenário da pesquisa que relaciona deficiência intelectual e software, não existem grandes apontamentos sobre requisitos do sistema para a criação de tecnologia para o sujeito de estudo. Um levantamento preliminar mostrou que as tecnologias desenvolvidas para a “deficiência intelectual” tendem a dar ênfase ao ensino-aprendizagem e, mesmo quando seus criadores defendem que tais tecnologias podem desenvolver o cognitivo, ajudar na memorização e percepção dos usuários, não apresentam características claras e potenciais que possam realmente ser atribuídas à deficiência. São tecnologias que podem ser utilizadas por qualquer usuário com dificuldades com a aprendizagem e não necessariamente com diagnóstico de deficiência cognitiva e também não mensuram o quanto o cognitivo destas pessoas foi alterado após seu uso. Para a realização de nosso estudo será aplicado pesquisa de campo, análise de diagnósticos, entrevistas com especialistas e pesquisas em material especializado. Serão pontuados importantes requisitos de sistemas usando teorias de interface Humano-Computador e Sistemas Inteligentes, sendo uma colaboração para as áreas da saúde, da educação e da computação

Os métodos de ensaio editados pela ABNT para caracterizar argamassas colantes foram um avanço em termos de normalização do produto e ajudaram a melhorar sua qualidade. Entretanto, os métodos apresentam dispersão expressivamente elevada e especificam condições de ensaios que não condizem com a realidade das condições de campo. Em vista dessas discrepâncias, o presente trabalho analisa a normalização nacional juntamente com a normalização dos principais organismos internacionais. Para avaliar os principais requisitos de qualidade, foram estudadas dez amostras comerciais de argamassa colante. Através da análise dos resultados obtidos são propostas alterações nos métodos de ensaio da normalização da ABNT, como o deslizamento, tempo em aberto teórico e resistência de aderência à tração. Os pontos principais visam à alteração de critérios de qualidade e a condição ambiental de laboratório. Entre as propostas estão: 1) especificação do ensaio deslizamento apenas para produtos com esse propósito, 2) a eliminação do requisito resistência de aderência à tração na condição de cura em estufa, 3) novo critério para o requisito de resistência de aderência à tração na condição de cura submersa, 4) especificação de nova faixa de temperatura para a condição de clima quente na avaliação do tempo em aberto teórico e 5) inclusão do método de ensaio de tempo em aberto com a ruptura da película superficial. Além disso, são propostas a incorporação de métodos de ensaios utilizados para avaliação da uniformidade da argamassa durante a produção como: a perda de massa, resíduo em peneira e densidade de massa aparente. Também são propostas alterações na especificação e caracterização do substrato-padrão utilizados nos ensaios. / The Associação Brasileira de Normas Técnicas essay methods to characterize cementitious adhesives for tiles represented an advance in terms of standardization of the product and helped to improve its quality. However, the methods present high dispersion of results and specify essay conditions that do not correspond to the site real conditions. In view of these discrepancies, the present work brings out an analysis of the national standards and a comparison to the main international standards. To check for the main quality requirements, a study was carried out with ten samples of comercial cimentitious adhesives for tiles. Through analysis of the results, changes in the ABNT essay methods are proposed as to slip, open time and tensile adhesion strength. The main issues aim at changing the performance criteria and the laboratory ambient conditions. Among the proposals are the following: 1) specification of essay slip only for products with this purpose, 2) the elimination of heat curing in the tensile adhesion strength essay, 3) new criterion for water immersion curing, a new band of temperature for the warm climate condition in the evaluation of theoretical open time and 5) the inclusion of an open time essay method with rupture of the superficial film. Moreover, it is proposed essay methods for evaluation of the uniformity of the mortar during its production process like mass loss, sieve residue and apparent mass density. Also, changes in the specification and characterization of the concrete slab used in essays are proposed.

Recentemente, por conta do dinamismo existente no ambiente de negócio no qual as organizações devem adequar-se mais rapidamente às mudanças, os Sistemas de Informação (SIs) precisam também adequar-se para continuar agregando valor. Diante desse cenário e do uso de serviços eletrônicos distribuídos na rede para o desenvolvimento de sistemas, faz-se necessário o surgimento de novas abordagens em engenharia de sistemas. Sendo assim, surge a disciplina de Engenharia de Requisitos Orientada a Serviços (EROS) que trata da definição de processos e metodologias para captar os requisitos de serviços tanto do ponto de vista de consumidores de serviço quanto de fornecedores de serviço. No contexto de EROS, este trabalho explora alternativas às descrições sugeridas para os metamodelos RGPS (do inglês: Role, Goal, Process and Service) uma abordagem em EROS propondo uma nova definição que visa, principalmente, incorporar à RGPS as vantagens de outros modelos já estabelecidos na literatura. Sendo assim, a nova abordagem aqui proposta, chamada de WS&i*-RGPS, para a descrição das camadas Papel e Meta, propõe o uso do framework i*. E, para a descrição das camadas Processo e Serviço, a nova abordagem propõe o uso de WS-BPEL/WSDL. Esse trabalho apresenta também uma comparação sistemática entre a abordagem WS&i*-RGPS e outras abordagens semelhantes identificadas na literatura EROS. A comparação sistemática entre as abordagens em EROS, incluindo a nova abordagem aqui proposta, considera três parâmetros comparativos e identifica que a abordagem WS&i*-RGPS cobre mais parâmetros que as abordagens em EROS que se baseiam nos metamodelos RGPS, indicando que WS&i*-RGPS é uma alternativa melhor às soluções inicialmente propostas pelos autores dos metamodelos RGPS. / Due to the recent business environment dynamism in which organizations must quickly adapt to the changes, Information Systems also need to adapt to these changes in order to keep adding value. Taking into account this scenario and the use of electronic services distributed on the network to develop systems, the advent of new approaches in Systems Engineering is necessary. Therefore, a new discipline, Service-Oriented Requirements Engineering (SORE), was proposed, which deals with the definition of processes and methodologies in order to capture services requirements beneath two different perspectives: service consumers and service providers. In SORE context, this work aims at exploring some alternatives for those descriptions proposed by the Role, Goal, Process and Service (RGPS) meta-models, proposing a new approach called WS&i*-RGPS in order to incorporate to RGPS the advantages of other models well established in the literature. Accordingly, in order to describe the Role and Goal layers, this new approach proposes the use of the i* framework. Additionally, in order to describe the Process and Service layers, this new approach proposes the use of WS-BPEL/WSDL languages. This work also presents a systematic comparison among SORE approaches, including WS&i*-RGPS. This comparison considers three comparative parameters and identifies that WS&i*-RGPS covers more parameters than other approaches in SORE that uses RGPS metamodels. These results indicates WS&i*-RGPS as a better alternative comparing it to other RGPS approaches.