Prosoft
Mostrando 1-12 de 14 artigos, teses e dissertações.
-
1. Especificação formal de uma ferramenta de reutilização de especificações de requisitos / Formal specification of a requirements reuse tool
A Engenharia de Software vem, ao longo das últimas décadas, merecendo cada vez mais atenção da comunidade cientifica. A capacidade de construir software com qualidade, dentro dos prazos e orçamentos, atendendo a demanda do mercado, um dos objetivos almejados pelas pesquisas nesta área. Dentro deste contexto, os Métodos Formais e a Reutilização de So
Publicado em: 2010
-
2. Semântica e uma ferramenta para o método SADT
A definição de requisitos tem sido reconhecida como uma das mais críticas e difíceis tarefas em engenharia de software. A necessidade de ferramentas de suporte é essencial. Nos dias de hoje, entre os vários métodos existentes para apoiar a fase de requisitos, destaca-se o SADT (Structured Analysis and Design Techniques) devido a sua capacidade de repr
Publicado em: 2010
-
3. Semantics for an algebraic specification language / Semântica para uma Linguagem de Especificação Algébrica
Prosoft é um grupo de pesquisa do Instituto de Informática da UFRGS, desenvolvido pelo grupo de pesquisa homônimo e coordenado pelo Professor Daltro José Nunes. O objetivo do projeto é desenvolver um ambiente de desenvolvimento de software completo, o Ambiente Prosoft, que é baseado nos conceitos de Modelos, Cálculo Lambda, Tipos Abstratos de Dados e
Publicado em: 2007
-
4. ProTool : uma ferramenta de prototipação de software para o ambiente PROSOFT
Dentre as principais áreas que constituem a Ciência da Computação, uma das que mais influenciam o mundo atual é a Engenharia de Software, envolvida nos aspectos científicos e tecnológicos do desenvolvimento de software. No desenvolvimento de software, a fase de especificação dos requisitos é uma das mais importantes, visto que erros não detectados
Publicado em: 2007
-
5. Uma Proposta de apoio para decisões de grupo no ambiente PROSOFT
O processo de desenvolvimento de software implica na necessidade constante de tomadas de decisão. A cada etapa do processo, torna-se necessário estabelecer a comunicação e interação entre usuários, gerentes, analistas, programadores e mantenedores numa constante troca de informações. O registro dos artefatos produzidos durante todo o processo é uma
Publicado em: 2007
-
6. Um Modelo de simulação de processos de software baseado em conhecimento para o ambiente PROSOFT
Construção de software com qualidade tem motivado diversas pesquisas na área de Engenharia de Software. Problemas como a grande complexidade requerida pelas aplicações atuais e a necessidade de gerenciamento de um número cada vez maior de pessoas envolvidas em projetos são obstáculos para serem transpostos. Trabalhos relacionados a tecnologia de proc
Publicado em: 2007
-
7. Componentes de percepção para o ambiente PROSOFT cooperativo
A Engenharia de Software tornou-se uma das principais áreas de concentração do mundo da Ciência da Computação, pois ela abrange métodos para construir sistemas, ferramentas que fornecem apoio a construção e os procedimentos a seguir para que os métodos estejam de acordo com as ferramentas usadas [PRE 95]. No desenvolvimento de sistemas cada vez mai
Publicado em: 2007
-
8. APSEE-Global : um modelo de gerência de processos distribuídos de software
Desde o início dos anos 90, uma tendência no desenvolvimento de software tem despertado a atenção dos pesquisadores: a distribuição do desenvolvimento. Esse fenômeno é um reflexo de mudanças sociais e econômicas, que têm levado organizações a distribuírem geograficamente seus recursos e investimentos, visando aumento de produtividade, melhorias
Publicado em: 2007
-
9. Um modelo para processo de curso
A Educação a Distância (EAD) vem recebendo atenção dos pesquisadores de várias áreas, na busca de modelos e ferramentas que possam aumentar a eficiência desta modalidade de educação. Mas, ferramentas tecnologicamente avançadas não são suficientes para isso. A atuação do docente é fundamental para o sucesso de um curso a distância. O problema
Publicado em: 2007
-
10. APSEE-Tail : um modelo de apoio à adaptação de processos de software
O crescimento experimentado pela indústria do software nas últimas décadas, trouxe consigo o aumento das exigências do mercado. É exigido das organizações de software, que os sistemas sejam construídos de acordo com prazo e custos determinados, obedecendo-se certos padrões de qualidade. Para atender tais exigências e assim obter o diferencial compe
Publicado em: 2007
-
11. Uma abordagem flexível para execução de processos de software evolutivos / A flexible approach to evolvable software process enactment
Buscando aumentar a qualidade de software, a área de Engenharia de Software tem produzido ferramentas para auxílio ao desenvolvimento de software assim como tem estudado e produzido formas de controlar o processo de desenvolvimento. A tecnologia existente para coordenação de atividades humanas - incluindo sistemas de Workflow e PSEE (Process-Centered Sof
Publicado em: 2007
-
12. APSEE-Metrics : um modelo para mensuração em processos de software / APSEE-Metrics : a model for software process measurement
A avaliação e melhoria de um processo de software requer um grande esforço por parte de gerentes e desenvolvedores, uma vez que a obtenção de dados para tomada de decisão, acerca da evolução do processo nem sempre é trivial. O desenvolvimento de software, como qualquer disciplina de Engenharia, necessita de mecanismos de mensuração, para que atrav
Publicado em: 2007