Submitted by Flasleandro Oliveira (flasleandro.oliveira@cprm.gov.br) on 2014-05-05T18:18:39Z No. of bitstreams: 1 dissertacao_rbsa_final.pdf: 3125474 bytes, checksum: 127a694ac384496fa8a37d473ede57da (MD5) / Approved for entry into archive by Flasleandro Oliveira (flasleandro.oliveira@cprm.gov.br) on 2014-05-05T18:18:52Z (GMT) No. of bitstreams: 1 dissertacao_rbsa_final.pdf: 3125474 bytes, checksum: 127a694ac384496fa8a37d473ede57da (MD5) / Approved for entry into archive by Flasleandro Oliveira (flasleandro.oliveira@cprm.gov.br) on 2014-05-05T18:19:00Z (GMT) No. of bitstreams: 1 dissertacao_rbsa_final.pdf: 3125474 bytes, checksum: 127a694ac384496fa8a37d473ede57da (MD5) / Made available in DSpace on 2014-05-05T18:19:09Z (GMT). No. of bitstreams: 1 dissertacao_rbsa_final.pdf: 3125474 bytes, checksum: 127a694ac384496fa8a37d473ede57da (MD5) / No ciclo de vida de desenvolvimento de software, especificação de requisitos é uma atividade muito propensa a definições incorretas. Isto geralmente acontece porque esses documentos são normalmente escritos em linguagem natural, tornando muito alta a possibilidade de introduzir ambiguidades e interpretações errôneas. Por outro lado, a utilização de linguagem natural traz simplicidade e flexibilidade ao se especificar requisitos, considerando que esta é uma notação que pode ser compreendida tanto pelo cliente quanto pelo desenvolvedor. Uma vez que projetos de software possuem documentos precisos, engenheiros de software que tenham bom conhecimento em linguagens formais podem criar manualmente uma especificação formal com o propósito de validar as propriedades do sistema. No entanto, esta criação manual pode não cobrir todos os requisitos ou podem conter inconsistências. Desta forma, a geração automática de modelos formais a partir de documento de requisitos parece ser uma boa solução para este problema. Para alcançar este objetivo, os documentos de requisitos devem ser simples, diretos, uniformes e sem ambuiguidades. Para que isto aconteça, Linguagens Naturais Controladas (Controlled Natural Languages - CNL) são comumente utilizadas. Este trabalho faz parte do projeto de Pesquisa e Desenvolvimento do CIn Brazil Test Center (CInBTCRD), que é uma cooperação entre a Motorola e o Centro de Informática da Universidade Federal de Pernambuco (CIn-UFPE). Em primeiro lugar, este trabalho propõe uma linguagem restrita (CNL) para definir casos de uso contendo uma noção de estado, os quais consideram dados de entrada, saída, guarda e atualização de variáveis, como um complemento para a descrição textual. Depois disso, uma tradução automática dessa linguagem para a algebra de processos CSP foi proposta, a fim de permitir a análise formal de requisitos e geração de casos de teste. Finalmente, foi realizada a implementação e integração desta linguagem e sua tradução para CSP em uma ferramenta conhecida como TaRGeT, cujo propósito é a geração de casos de teste a partir de documentos de casos de uso que seguem um template padrão e são escritos utilizando uma CNL. A TaRGeT original não era capaz de lidar com definições de dados e as manipulações destes dados, e utiliza sistemas rotulados por transição (labelled transition systems) em vez de CSP, como formalismo. Para ilustrar as técnicas propostas neste trabalho, um estudo de caso foi realizado no ambiente da Motorola, adaptando um exemplo de caso de uso real da indústria de modo a encaixá-lo no nosso template. O documento de caso de uso considera situações de envio e recebimento de SMS/MMS, contendo uma feature com 7 casos de uso, incluindo definições e manipulações de dados, relacionamentos entre casos de uso e 6 fluxos alternativos. O CSP gerado contém 570 linhas de código e a verificação de suas propriedades foi checada com sucesso utilizando-se a ferramenta FDR, um verificador de modelo para CSP

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação / Made available in DSpace on 2013-03-04T20:38:43Z (GMT). No. of bitstreams: 1 304860.pdf: 4138588 bytes, checksum: a4d05305a5566e2f3b9dbc25cb9b7bee (MD5) / Projetos de software em geral tendem a buscar cada vez mais a reutilização e a componentização, visando à economia de tempo, custo e recursos de novos produtos. Sendo assim, a necessidade de técnicas e ferramentas para organizar projetos de maior qualidade em menor tempo é um dos grandes desafios da Engenharia de Software. Com isso, a Linha de Produtos de Software (LPS) se propõe a organizar e auxiliar sistematicamente o desenvolvimento de novos produtos em série em um mesmo domínio. Nesse contexto, o presente trabalho de pesquisa objetiva aplicar a abordagem de Linha de Produtos de Software em um ambiente computacional distribuído, visto que, em projetos envolvendo ambientes distribuídos, novas versões de um produto com evolução de suas características no mesmo domínio repetem e não reutilizam os principais artefatos, tais como arquitetura e componentes. A Linha de Produtos de Software pode evidenciar através de pontos de variação quais serão os locais de evolução bem como quais farão parte da arquitetura principal. Assim, o objetivo da abordagem levantada nesta dissertação é analisar um processo atual utilizado no Laboratório de Pesquisa em Sistemas Distribuídos (LaPeSD) e propor uma nova abordagem utilizando Linha de Produtos de Software para desenvolver projetos. Dessa forma, busca-se uma nova abordagem para desenvolver o projeto reutilizando toda uma arquitetura, componentes e documentos já prontos, partindo de uma base sólida e criando novos produtos com foco nas novas funcionalidades. Como resultado dessa proposta, apresentam-se uma arquitetura e componentes reutilizáveis, além de maior organização e visibilidade, pois se entende que, com a aplicação dessa abordagem, se atinge com sucesso o desafio de aplicar o uso de Linha de Produtos de Software no Ambiente Computacional Distribuído.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-graduação em engenharia de Produção. / Made available in DSpace on 2012-10-21T07:50:46Z (GMT). No. of bitstreams: 0 / Em seu livro intitulado Marcha para a Morte o autor Ed Yourdon compara o esforço necessário para a construção de um sistema aplicativo com a tarefa de "escalar o Monte Everest descalço". Essa visão restritiva no tocante a projetos de software guarda raízes em problemas de planejamento de projeto e no que se refere à clareza na identificação de conceitos de negócio relacionados ao sistema que se pretende construir. Tendo em vista essa realidade, este trabalho apresenta a disciplina de modelagem de negócios e uma proposta para a extensão da Linguagem de Modelagem Unificada (UML) para a abstração adequada desses processos. Além dessa modelagem, este trabalho descreve a inserção dos modelos gerados na modelagem de processos em um Processo de Engenharia de Software (SEP), mostrando que artefatos produzidos na etapa de design e construção são guiados por modelos criados na disciplina de modelagem de processos de negócio. Ao final, o trabalho apresenta um estudo de caso em que as extensões foram aplicadas na definição de três processos de negócio para avaliar a aplicação dessas extensões de negócio na concepção e elaboração de um projeto de sistemas.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-21T18:15:34Z (GMT). No. of bitstreams: 1 221037.pdf: 1403534 bytes, checksum: e8cab5ee22ccdea48c47fd4a494be28a (MD5) / A presente dissertação faz um estudo prospectivo de como o conceito de Componente Educacional, contextualizado a partir da Teoria da Atividade e da Engenharia de Software, pode ser usado como um das alternativas para melhorar a qualidade de softwares educacionais. Neste estudo foram modelados alguns Componentes Educacionais baseados nos elementos da Teoria da Atividade e nos níveis de uma atividade. Contudo almeja-se que os respectivos componentes apresentem as características da Teoria da Atividade em sua implementação. Por meio da pesquisa, foi possível chegar a um modelo teórico de desenvolvimento de Componentes Educacionais, que pode ser usado como referencial para a sua construção. Deste modo pretende-se que esteja garantido o valor pedagógico de tais artefatos, quando aplicados ao desenvolvimento de software educacional.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência de Computação / Made available in DSpace on 2012-10-21T19:42:06Z (GMT). No. of bitstreams: 1 209021.pdf: 3001389 bytes, checksum: 98f3081cca19a03f8ba703944138d9f7 (MD5) / As mais populares metodologias de construção de programas em Inteligência Artificial -IA, KADS, MIKE E PROTÉGÉ, são apresentadas e comparadas. Desta comparação e avaliação das principais limitações são detectadas e uma nova metodologia é sugerida, que será chamada MEDSIA (Metodologia para Desenvolvimento de sistemas em IA). A principal diferença entre esta metodologia proposta e as apresentadas é que ela considera novos desenvolvimentos de métodos para resolver problemas de IA, métodos estes que se tornaram populares por volta do final do século passado e são: abordagem conexionista e a evolucionária. Para ilustrar MEDSIA foram desenvolvidos dois programas: 1 # Sistema de Ajuda a Decisão Jurídica no caso de Pensões Alimentícias e, 2 # Sistema Especialista Conexionista de Diagnóstico Médico no campo da Reumatologia.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Computação. / Made available in DSpace on 2012-10-19T12:43:55Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T20:49:55Z : No. of bitstreams: 1 181751.pdf: 5138780 bytes, checksum: a6e97bffeffdd8b20b27b04c5e7fdeb4 (MD5) / Apesar de alguns esforços na criação de metodologia para concepção multimídia, nenhuma atende, na prática, as necessidades dos documentos multimídia e das ferramentas de autoria existentes. O objetivo desta dissertação é criar uma metodologia que possa atender as necessidades de apoio ao desenvolvimento de documentos multimídia, num âmbito global, para as ferramentas de autoria existentes. Para a definição desta metodologia, este trabalho avalia as ferramentas de desenvolvimento multimídia e identifica os requisitos de desenvolvimento de documentos multimídia. Além disso, são utilizados os recursos de desenvolvimento de softwares fornecidos pela Engenharia de Software tradicional, os quais serão adaptados às reais características e necessidades da autoria multimídia.

No description available.

Made available in DSpace on 2014-06-11T19:34:58Z (GMT). No. of bitstreams: 0 Previous issue date: 2007-12-20Bitstream added on 2014-06-13T19:44:43Z : No. of bitstreams: 1 pastorelli_als_dr_guara.pdf: 2377495 bytes, checksum: 6616c1dd459e5d7fa4bd2985247b67f6 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / O trabalho tem por objetivo recuperar a usabilidade dos processos de ensaios em túnel de vento por meio de recursos computacionais, visando a atualização e revitalização do sistema de software através de recursos tecnológicos, interfaces, aplicativos de apoio avançados e da implantação de práticas de engenharia e qualidade de software. Neste trabalho de tese fez-se estudo de práticas, métodos, processos e técnicas de engenharia de software de modo a aplicá-las adequadamente no ciclo de desenvolvimento do projeto do sistema de software, considerando o conceito atual de software que abrange os programas de computadores, a documentação associada e os dados necessários para que os softwares de aquisição e redução de dados operem corretamente e continuamente durante a modernização do sistema de medidas do túnel de vento. Foi dado enfoque na melhoria da qualidade dos produtos e dos processos gerenciais e técnicos, considerando as ações das metodologias tradicionais e ágeis adequadas ao escopo e ao grupo de projeto. Neste trabalho, para atingir a abrangência do conceito de software e manter a funcionalidade do sistema de software durante a modernização do túnel de vento é gerada a metodologia para aplicação de reuso e reengenharia nos software de aquisição e redução de dados de um túnel de vento, denominada Metodologia Especial Tradicional e Ágil de aplicação em Projeto Legado de software em Inovação – METAPLI. Com a implantação desta metodologia de projeto de engenharia de software se provê a organização dos processos gerenciais e técnicos, se gera a documentação de todo projeto do sistema de software e se preserva o conhecimento dos processos de engenharia. / This work focuses on recovering the usability of the wind tunnel tests processes by means of computational resources in order to updating and revitalizing the software system through the technological resources, interfaces, advanced applicative of the aid and the establishing of software engineering and software quality practices. On this thesis’ work they were performed studies of practices, methods, processes and software engineering techniques in a way of applying them adequately on the project development cycle of the software system, considering the software current concept which recovers the computer programs, the associated documentation and the necessary data in a way that the data acquisition and reduction software operates correctly and continuously along the wind tunnel measurement system’s modernization. The focus was on quality improvement of products and managerial and technical processes, considering the traditional and agile methodologies actions, which are adequate to scope and to project group. On this work, to achieve the software concept wideness, keeping the software system functionality along the wind tunnel modernization, it was generated the methodology in order to apply the reuse and reengineering of data acquisition and reduction software of a wind tunnel, which is denominated “Traditional and Agile Special Methodology for application in Project Legacy of software in Innovation - METAPLI”. The implantation of this project methodology of software engineering proves the managerial and technical processes organization, generates the documentation of the whole software system project and preserves the knowledge of engineering processes.

Made available in DSpace on 2015-09-17T15:24:55Z (GMT). No. of bitstreams: 0 Previous issue date: 2015. Added 1 bitstream(s) on 2015-09-17T15:47:00Z : No. of bitstreams: 1 000845652.pdf: 3722865 bytes, checksum: cfb9e15cd4d92ca6ec8aad19996f7a90 (MD5) / O principal objetivo deste trabalho é apresentar uma metodologia para mapear ontologias empresariais em modelos de processos de negócio, com notação gráfica BPMN (Business Process Model and Notation). A intenção é obter uma estrutura gráfica que facilite o entendimento da ontologia, incluindo as relações entre os processos e a rede de colaboração entre os atores envolvidos. O processo de mapeamento proposto é parcialmente automatizado e parte do princípio que a ontologia possa ser convertida para a estrutura RDF 1.1 (Resource Description Framework). Foi, então, definido um sistema de marcação para a ontologia em RDF, que permite o mapeamento automático para a linguagem XPDL 2.2 (XML Process Definition Language), através de uma ferramenta de software (parser), denominada RDFtoXPDL. Para o desenvolvimento dessa ferramenta, foi utilizada a linguagem SPARQL, para consultas no arquivo RDF devidamente marcado. O arquivo resultante em XPDL pode ser importado por sistemas de modelagem de processos, de modo a permitir a visualização e uso dos diagramas em BPMN. O trabalho apresenta uma aplicação da metodologia proposta para uma ontologia empresarial do Modelo de Referência MPS para Software (MR-MPS-SW), considerando os níveis G e F do modelo. A representação em BPMN do MR-MPS-SW pode apoiar a implantação desse modelo em organizações de desenvolvimento de software, incentivando a adoção futura da abordagem BPM (Business Process Management) / The main goal of this work is to present a methodology to map enterprise ontologies in graphical models of business processes, with the graphical notation Business Process Model and Notation (BPMN). The intention is to obtain a graphical structure that contributes to the ontology understanding, including the relation between processes and the collaboration network among the actors involved. The mapping process proposed is partly automated and is based on the principle that the ontology is able to be converted into a Resource Description Framework - RDF - 1.1 structure. So, it was defined a tagging process to the ontology in RDF, which allows the automatic mapping to XPDL 2.2 language (XML Process Definition Language) through a software tool (parser), denominated RDFtoXPDL. For the development of this tool, it was used the SPARQL language to query data in the tagged RDF file. The resulted file in XPDL can be imported by modeling process systems, in a way that allows the viewing and the use of the diagrams in BPMN. This work also presents an application of the proposed methodology to an enterprise ontology of the MPS Reference Model for Software (RM-MPS-SW), considering the levels G and F. The representation in BPMN of the RM-MPS-SW can support the implementation of this model in organizations of software development, stimulating the adoption of the future Business Process Management (BPM) approaching

Este trabalho apresenta um modelo genérico para o desenvolvimento de sistemas de gestão empresarial. O modelo foi criado com base na experiência profissional do autor do trabalho e revisão bibliográfica sobre a utilização de padrões de análise. O modelo proposto prioriza aspectos de simplicidade e flexibilidade no desenvolvimento de sistemas de informação. Sua utilização visa facilitar a reutilização de componentes, diminuir o tempo para o desenvolvimento de aplicativos e propiciar a criação de sistemas flexíveis que rapidamente possam se adaptar a novas necessidades dos processos de negócios. Os modelos estão descritos no corpo do trabalho e estendem a utilização dos padrões originais de onde os mesmos se originam, descrevendo os relacionamentos entre os modelos apresentados, suas classes e atributos. Exemplos da utilização prática dos modelos são apresentados em situações de negócios e conclusões sobre o potencial de utilização dos mesmos são discutidos ao final do trabalho.