Este trabalho aborda o desenvolvimento de software embarcado em plataformas de aeronaves civis baseando-se na norma DO-178B, que é o guia de desenvolvimento reconhecido pelas autoridades aeronáuticas. Nele, foram estruturadas tarefas e documentações necessárias para atender as exigências da norma para o desenvolvimento de um software Nível C, com foco nos Requisitos de Alto Nível, além de apresentar modelos e exemplos realísticos para se atingir os meios de conformidade com a norma.

Este trabalho descreve um modelo para auditar a qualidade de um software. Os atributos da qualidade são agrupados em fatores relacionados com o grau de satisfação do usuário (Fatores de Qualidade de Serviço) e com o grau de qualidade do produto (Fatores de Qualidade de Engenharia). Os fatores são refinados até a obtenção de critérios diretamente quantificáveis, sendo proposto um método para a escolha destes critérios. Um método para agregar as medidas resultantes da avaliação destes critérios é também proposto. O processo de agregação considera a falta de qualidade de um atributo em relação aos valores previamente estipulados pelo usuário. O processo de avaliação descreve os procedimentos necessários para que o auditor quantifique o critério de qualidade. Um sistema, que implementa o modelo proposto, é desenvolvido para apoiar o auditor nas tarefas de controle de qualidade.

Este trabalho apresenta um projeto de software educacional. A analise de requisitos leva em conta pressupostos fundados na Psicologia da Aprendizagem e ideias de projetos estruturados desoftware. O software educacional alvo e o Sistema QuestionadorAberto, chamado Questionsware, destinado a especialistas da area deensino-aprendizagem e recursos humanos. O sistema Questionsware,configuravel totalmente segundo criterios do especialista/usuario sem exigir conhecimentos de Informatica, se destina a gerar, via computador, relatorios analiticos a partir de entrevistas, sondagens de opinioes, verificacoes, validacoes ou avaliacoes deconhecimentos ou aprendizagens de um individuo-alvo. O projeto do software proposto incorpora subsistemas muito importantes: um Editorde Textos dedicado a tarefa de questionar e recolher respostas; um Sistema Especialista, analisador das respostas, com uma maquina de inferencia agindo sobre Bases de Conhecimento; e um Processador Estatistico.

Este trabalho de pesquisa propõe um Meta-algoritmo para o desenvolvimento de indicadores de qualidade amparados em modelos de referência e um método formal. O Meta-algoritmo proposto integra o modelo de referência de qualidade de software CMMI-DEV; o modelo GQ(I)M; e o método formal das Redes de Petri (RP) com o modelo de processo de desenvolvimento de software de uma empresa, no contexto de gestão de processos de software. O Meta-algoritmo proposto foi desenvolvido com o propósito de melhorar a qualidade e a eficiência da execução de projetos de desenvolvimento de sistemas de software, por meio de atividades de monitoramento e controle, mantendo a rastreabilidade dos elementos produzidos durante o seu ciclo de desenvolvimento. Baseando-se nestes modelos, concebeu-se o SI-CMMI. Um protótipo de sistema de informação, denominado CMMIAudit, foi concebido para implementar as características previstas e necessárias para a operacionalização do SI-CMMI no processo de monitoramento, controle e garantia da qualidade de software, além de viabilizar a implementação do processo de inspeção parametrizado pelos modelos. Um método heurístico para modelagem de Redes de Petri foi também desenvolvido para diminuir subjetividades durante o processo de modelagem da RP.

Este trabalho de pesquisa propõe um método orientado a processo para elicitação de requisitos, visando melhorar a compreensão de negócios e reduzir informações erradas ou omitidas, bem como os conflitos de visões e propagações de erros no desenvolvimento de Sistemas Computadorizados (SCs). O método proposto encontra-se estruturado em duas fases: Preparação dos Modelos de Negócio e Elicitação de Requisitos. Na fase de Preparação dos Modelos de Negócio, foram customizados, tanto os critérios para validação do Diagrama de Processo de Negócio (Business Process Diagram - BPD), quanto o modelo executável da especificação da Notação da Modelagem de Processos de Negócio (Business Process Modeling Notation - BPMN). O método proposto foi validado em um estudo de caso, envolvendo um processo de negócio real no Centro de Serviços Compartilhados (CSC) da Fundação São Francisco Xavier (FSFX), em Ipatinga, Minas Gerais, Brasil. Ele representa a principal contribuição desta pesquisa. Além disso, algumas contribuições complementares da fase de Elicitação de Requisitos são: a elicitação de requisitos padronizados, não ambíguos e alinhados às necessidades dos stakeholders; a extração e mapeamento de regras de negócio; a priorização e rastreabilidade de requisitos; a customização dos critérios de validação de BPD; a customização do modelo executável da BPMN; e a aplicação do método proposto no estudo de caso.

Esta pesquisa tem por objetivo, tendo como base a Soft Systems Methodology (SSM), contribuir com o aprimoramento da Engenharia de Requisitos, no contexto da Engenharia de Software, propondo um método de apoio para a elicitação de requisitos de Sistemas de Informação que auxilie a abordagem dos aspectos humanos na especificação do sistema e que considere o ser humano como parte da solução. A SSM foi desenvolvida para lidar com problemas organizacionais, nos quais predominam aspectos humanos. Embora no desenvolvimento de qualquer tipo de software predominem aspectos técnicos, quando o software é componente de um Sistema de Informação seu sucesso depende fortemente de aspectos humanos. Apesar disso, a Engenharia de Software, tradicionalmente, não oferece ferramentas que auxiliem a abordagem desses aspectos. Utilizando uma situação real de desenvolvimento de Sistema de Informação no Laboratório de Integração e Testes (LIT) do INPE (Instituto Nacional de Pesquisas Espaciais), esta pesquisa analisou a deficiência relacionada com a abordagem dos aspectos humanos nesse tipo de desenvolvimento, bem como a potencial contribuição da SSM para a Engenharia de Software, e derivou dessa análise um método para a elicitação de requisitos de Sistemas de Informação. Os resultados da aplicação do método no caso do LIT/INPE forneceram indicações de que, embora haja limitações para seu uso, ele ajuda o Engenheiro de Requisitos a levar o projeto do Sistema de Informação para uma solução equilibrada, mais fácil de ser aceita, e de fato utilizada, e mais propícia a atender às expectativas.

Ao longo dos últimos anos está sendo desenvolvida no ITA uma metodologia para desenvolvimento de software orientado a objetos, denominada CRC/WB+, que visa mesclar algumas características importantes de diversas metodologias encontradas na literatura. A metodologia se baseia fortemente em responsabilidades, em contraposição ao desenvolvimento baseado em dados empregado por muitas das metodologias usuais. Além disso, a metodologia considera de forma bem precisa a separação de interesse: uma parte independente de linguagem, denominada Modelo Abstrato, em que se obtém o que o sistema deve fazer, e uma parte dependente de linguagem, denominada Modelo de Implementação, em que se descreve como o sistema será implementado em uma linguagem específica. A metologia tem constituído uma ferramenta valiosa para o desenvolvimento de software acadêmico orientado a objetos e para reforçar o ensino de conceitos básicos de orientação a objetos, bem como de algumas técnicas nova que têm sido recomendadas recentemente. Neste trabalho apresenta-se a operacionalização desta metodologia de desenvolvimento de software orientado a objetos, por meio da complementação, estruturação e aperfeiçoamento de suas fases de desenvolvimento. O trabalho incorpora na Metodologia CRC/WB+ recursos avançados e características adicionais para auxiliar o desenvolvedor no levantamento sistemático dos requisitos funcionais de um sistema, na identificação das classes e definição de responsabilidadese, principalmente, na consolidação e depuração das informações capturadas nas fases iniciais do ciclo de desenvolvimento segundo a metodologia. A ênfase do trabalho desenvolvido está no aperfeiçoamento e melhoria das fases do Modelo Abstrato, de modo a ajudar o desenvolvedor na modelagem de um conjunto de classes para a solução computacional. O objetivo de introduzir tais características e recursos é facilitar e aumentar a confiança no funcionamento dos softwares gerados segundo a metodologia. Além disso, a preocupação está em tornar a metodologia viável para o desenvolvimento profissional de produtos de software orientada a objetos.

Na atualidade, uma das mais freqüentes aplicações da tecnologia de sistemas hipermídia é no contexto educacional. Isto tem incentivado um grande número de pesquisas, visando desenvolver novas técnicas e métodos capazes de criar um ambiente favorável para busca de conhecimentos, remodelando, assim, as formas de aprendizagem. Dentre os ambientes hipermídia de aprendizagem interativos, destacam-se os assim chamados cursos hipermídia, onde os conteúdos didáticos relativos a um dado assunto são organizados na forma de roteiros. Para facilitar o planejamento e desenvolvimento de cursos hipermídia, uma atividade aqui denominada de pré-autoria, faz-se uso de ferramentas de apoio. SICH (Sistema de Implementação de Cursos Hipermídia) é um exemplo de um ambiente de apoio à pré-autoria de projetos de hiperbase de cursos hipermídia. Este trabalho apresenta um ambiente gráfico e interativo que permite desenvolver todas as etapas da pré-autoria de cursos hipermídia. O ambiente, denominado APACHE (Ambiente de Pré-autoria de Cursos Hipermídia Estendido), incorpora as funcionalidade do SICH, com algumas mudanças e adaptações, para a edição dos objetivos do curso e a construção da hiperbase, adicionando a edição de roteiros e avaliação segundo os objetivos definidos pelo autor do curso hipermídia. Além disso, oferece recursos que facilitam a navegação e orientação global no espaço de modelagem, evitando a sobrecarga cognitiva e visual do autor do projeto de roteiro. No APACHE a construção de projetos de roteiros está baseada nos nós da hiperbase e nós instrucionais, considerando aspectos didáticos, pedagógicos e motivacionais do autor. Neste ambiente, as operações com arquivos são feitas de forma automática e proporciona-se, adicionalmente, a facilidade de reusar os componentes do projeto da hiperbase na geração de novos cursos.

Authorization in its most basic form can be reduced to a simple question: "a subject X may access a resource Y?" A subject is a process, which is the representative of a user or an active external agent in a system. A resource is anything worth protecting such as files or services. The attempt to implement an adequate response to the authorization question has produced many access control models and mechanisms. The development of the authorization mechanisms usually employs frameworks, as a way of reusing larger portions of software. The present authorization context has demanded for applications able to handle security policies of multiple access control models. Industry has resolved this problem in a pragmatic way, by mingling business and authorization concerns into the code. This dissertation thesis proposes an extensible and decoupled architectural model, which allows the separation of authorization from business concerns. The Esfinge Guardian framework is proposed, instantiated based on the architectural model and made available as an open source tool. An application is created as an experiment, in which some authorization scenarios have been implemented and the achieved modularity is evaluated. Additionally, a comparative analysis among academic and industry frameworks is realized. As a result, software developers using Esfinge Guardian should be able to write code respecting the software engineering principle of separation of concerns.

Este trabalho de pesquisa propõe um método para avaliações de usabilidade em desenvolvimento ágil de software, visando melhorar a qualidade de seus produtos e a satisfação dos usuários. O método proposto, denominado AGILUS, envolveu três passos principais em sua concepção: Projeto de Interação; Verificação da Implementação; e Validação dos Incrementos do Produto. Em cada um desses passos, foram definidos métodos específicos de: Avaliação por Percurso Pluralístico em Protótipo; Avaliação Heurística; e Avaliação por Teste com Usuários. Esses métodos foram considerados complementares, adaptados e adequados para avaliações de usabilidade aplicáveis ao processo de desenvolvimento ágil, usando o framework Scrum. O método AGILUS, como principal contribuição desta pesquisa, foi concebido com base nos valores e princípios do Manifesto Ágil e nas características de Usabilidade. Para validação do método AGILUS foram realizados dois estudos de caso: um Sistema de Acompanhamento Sociopedagógico (SAS) e um Sistema de Gerenciamento de Eventos (SGE), ambos para o Instituto Federal de Educação, Ciência e Tecnologia de São Paulo (IFSP), Campus Caraguatatuba, São Paulo, Brasil. Além disso, algumas contribuições complementares, envolvendo técnicas, artefatos e métricas foram também definidas para realização das avaliações, assim como uma análise e discussão dos resultados da aplicação do método nos estudos de caso.