Uml Computacao
Mostrando 1-12 de 105 artigos, teses e dissertações.
-
1. Um framework de simulação para verificação de requisitos de desempenho de sistemas computacionais de tempo real
Os métodos tradicionais de validação de requisitos de desempenho de software, baseados em testes do código, permitem a detecção de problemas somente nas fases finais do ciclo de desenvolvimento de software. Mudanças no software nas fases finais do desenvolvimento são em geral mais custosas e demoradas para serem efetivadas do que aquelas identificada
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 14/06/2012
-
2. Modelagem de software de tempo real utilizando o profile MARTE da UML
Métodos e linguagens orientadas a objetos tem sido amplamente aplicados em atividades de modelagem e projeto de software de tempo real. Entre todas as notações orientadas a objetos a mais usada é a UML. Apesar dos seus muitos problemas conhecidos na teoria e na prática, como a fraca representação de restrições temporais e alocação de recursos, a U
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 20/04/2012
-
3. Conjunto de características para teste de desempenho: uma visão a partir de modelos
O processo de teste de software possui um custo elevado se comparado com as demais etapas de desenvolvimento de software. A automação do teste de software por meio do reuso de artefatos de software, e.g., modelos, tem sido uma boa alternativa para mitigar estes custos, reduzindo o tempo de geração e execução dos casos de teste, tornando mais eficiente
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 08/03/2012
-
4. Transformação de modelos de processos de negócio em BPMN para modelos de sistema utilizando casos de uso da UML
Os modelos de processos de negócio definidos pelos analistas de negócio servem como fonte de requisitos para a modelagem dos sistemas de informação que podem ser construídos para dar suporte a esses processos. A transformação de um modelo em nível de negócio para um modelo em nível de sistema não é trivial. A notação ou linguagem utilizada para
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 26/01/2012
-
5. O poder da tecnologia de workflow e dos mapas conceituais no processo de ensino e aprendizagem da UML
This dissertation presents the study of the implementation of a workflow for teaching and learning of modeling diagrams using UML. For this study, use will be made of the features and benefits of concept maps to assist in understanding the development of the diagram, which can be used both in classroom teaching and in distance education. The main contributio
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 19/10/2011
-
6. Árvore de Características e Redes de Petri Colorida com Expressões de Lógica Proposicional: Propostas de Modelagem de Requisitos e Fluxo de Navegação
Geralmente, a análise de requisitos é feita por proposições ad hoc de especialistas. O personagem que detém o conhecimento a respeito do domínio a ser desenvolvido, normalmente, não compreende a linguagem dos especialistas. Assim, as pessoas que deveriam especificar o software são relegadas a um segundo plano, como é o caso de alunos e professores d
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 25/08/2011
-
7. Um estudo sobre a engenharia de ida e volta entre UML e java
No desenvolvimento de software, os modelos, dentre outros artefatos, podem facilitar o entendimento do software. Manter o código e os modelos consistentes entre si não é uma tarefa simples. Combinada com um processo iterativo e com as ferramentas adequadas, a engenharia de ida e volta permite que o código e o modelo permaneçam sincronizados. A UML torno
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 29/07/2011
-
8. Validation of exceptional flow in UML 2.0 acitivity diagram / Validação do fluxo excepcional a partir do diagrama de atividades da UML 2.0
Para a construção de sistemas robustos, devem ser utilizadas técnicas de tolerância a falhas que podem ser implementadas através de mecanismos de tratamento de exceções. Esses mecanismos possibilitam o tratamento de possíveis exceções, ou até mesmo a continuação da execução das funcionalidades do sistema mesmo na presença de uma exceção. O
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 17/06/2011
-
9. Recuperação de modelos de classes orientados a aspectos a partir de sistemas orientados a objetos usando refatorações de modelos
Orientação a Aspectos (OA) permite encapsular Interesses Transversais (ITs) - requisitos de software cuja implementação encontra-se entrelaçada e espalhada pelos módulos funcionais - em novas abstrações, tais como, Aspectos, Conjuntos de Junção, Adendos e Declarações Inter-tipo. A reengenharia de um software OO para um OA não é uma atividade tr
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 27/05/2011
-
10. Geração de cenários de teste com base em casos de uso
Around 37% of unsuccessfully software projects have their cause related to issues on how to software requirements are collected and manipulated. Requirement Management activities help on getting this scenario better, however it is necessary to validate the software under construction on its right meaning frequently. Thus, Software Quality Assurance (SQA) act
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 25/02/2011
-
11. Obtenção de modelos executáveis de processo de software a partir da aplicação das regras de transformação entre modelos / Obtaining executable models of software process based on the application of transformation rules between models
Identificar um modelo de processo de software, que possa melhorar a qualidade e a produtividade do desenvolvimento de software em uma organização, não é uma tarefa simples e direta, já que a realização de experimentos em computação é uma tarefa que consome muito tempo, gerando muitas despesas. A computação pode fazer uso de processos de simulaç�
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 04/02/2011
-
12. Procedimento de validação de diagrama de classes de domínio baseado em análise ontológica para relacionamentos de agregação / Domain class diagram validation procedure based on ontological analysis for part-whole relations
A dificuldade dos desenvolvedores de software para construir modelos conceituais fiéis à realidade é antiga. Existem algumas técnicas de análise ontológica para ajudar o modelador durante o processo de criação do diagrama de classes. No entanto, elas acabam não sendo práticas e não refletem os seus reais benefícios em suas aplicações, pois envo
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 10/12/2010