Uml Computacao
Mostrando 13-24 de 105 artigos, teses e dissertações.
-
13. UML-TV: um perfil UML para suporte ao desenvolvimento de aplicações para TV digital. / TV-UML: a UML profile to support the development of applications for digital TV.
O desenvolvimento de aplicações hipermídia para televisão digital vem tomando grande importância no cenário mundial há alguns anos. No Brasil, o crescimento no interesse pelo desenvolvimento desse tipo de aplicação encontra-se em grande expansão na medida em que as emissoras de televisão iniciam suas transmissões em formato digital, delineando o
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 06/09/2010
-
14. Adequação de um perfil UML para modelagem conceitual de bancos de dados geográficos aos padrões ISO e OGC usando MDA / Adequacy of a UML profile for geograpic databases conceptual modeling to ISO and OGC Standards using MDA
Nos últimos 20 anos, diversos modelos conceituais de dados específicos para modelagem de Sistemas de Informação Geográfica (SIG) foram propostos. Porém, ainda não há um modelo de consenso, o que tem gerado vários problemas para a área de SIG, como a falta de interoperabilidade entre ferramentas CASE que dão suporte a estes modelos. Um perfil UML,
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 30/08/2010
-
15. Suporte automatizado para construção de modelos conceituais bem fundamentados
The adoption of ontologically well founded languages for building ontologies has acquiring more adopters, however its widespread use stumble on using difficulties by inexperienced modelers. This dissertation proposes a methodological guide to support the building of domain ontologies using the ontologically well founded language OntoUML. This guide through t
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 27/08/2010
-
16. A model-based graphical editor for supporting the creation, verification and validation of OntoUML conceptual models
Esta dissertação de mestrado apresenta um editor gráfico baseado em modelos para o suporte à criação, verificação e validação de modelos conceituais e ontologias de domínio em uma linguagem de modelagem filosoficamente e cognitivamente bem-fundada chamada OntoUML. O editor é projetado para proteger o usuário da complexidade dos princípios ontol
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 05/02/2010
-
17. Adequação de um perfil UML para modelagem conceitual de bancos de dados geográficos aos padrões ISO e OGC usando MDA / Adequacy of a UML profile for geograpic databases conceptual modeling to ISO and OGC Standards using MDA
Nos últimos 20 anos, diversos modelos conceituais de dados específicos para modelagem de Sistemas de Informação Geográfica (SIG) foram propostos. Porém, ainda não há um modelo de consenso, o que tem gerado vários problemas para a área de SIG, como a falta de interoperabilidade entre ferramentas CASE que dão suporte a estes modelos. Um perfil UML,
Publicado em: 2010
-
18. Método de conversão de diagrama de atividades UML para SAN e geração de casos de teste de software
O processo de desenvolvimento de software é uma tarefa que envolve um conjunto de atividades a serem realizadas, e em muitos casos, por equipes grandes que podem se encontrar geograficamente dispersas. Isso exige do desenvolvedor a utilizacão de métodos que proporcionem uma visão de todas as etapas desse processo de desenvolvimento. A UML (Unified Modeli
Publicado em: 2010
-
19. Integrated model-based design and simulation of critical embedded systems / Projeto e simulação integrados baseados em modelos para sistemas embarcados críticos
A partir da introdução do sistema de controle fly-by-wire nos programas Concorde e A320 de aviação civil, a complexidade dos sistemas aviônicos embarcados aumenta constantemente. A operação dos aviões atuais e futuros é fortemente dependente para seu funcionamento dos seus sistemas aviônicos embarcados. A inovação em termos de computação dessa
Publicado em: 2010
-
20. Construção de ontologias de tarefa e sua reutilização na engenharia de requisitos
Atualmente, reconhece-se que a reutilização oferece uma importante oportunidade para alcançar melhorias no desenvolvimento de software. Maiores benefícios, no entanto, são obtidos pela reutilização em níveis mais altos de abstração, sobretudo pelo reúso de conhecimento. Em relação à reutilização de conhecimento, dois grandes tipos de conhecim
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 24/06/2009
-
21. GeoProfile A UML Profile for Conceptual Modeling of Geographic Databases. / GeoProfile Um perfil UML para modelagem conceitual de bancos de dados geográficos.
Years of research in conceptual modeling of spatial databases led to several models. Nonetheless there is no agreement on what is the best way to model the applications of geographic data, what brings some problems to this field development. The mechanism called Profile allows a structured and precise extension of UML and it is an excellent resource for mode
Publicado em: 2009
-
22. Formalização de workflow nets utilizando lógica linear: análise qualitativa e quantitativa
This work presents a method for qualitative and quantitative analysis of WorkFlow nets based on the proof trees of linear logic, and an approach for the verification of workflow specifications in UML through the transformation of UML Activity Diagrams into WorkFlow nets. The qualitative analysis is concerned with the proof of soundness correctness criterion
Publicado em: 2009
-
23. Uma abordagem para analise e projeto de IPcores com geraÃÃo automÃtica de interfaces utilizando UML 2.0
Equipamentos cada vez mais sofisticados, capazes de agregar informaÃÃo, comunicaÃÃo e entretenimento em pequenos espaÃos e em qualquer lugar a um custo cada vez mais baixo tÃm alavancado o mercado de dispositivos microeletrÃnicos. Contudo, esta sofisticaÃÃo trouxe um aumento da complexidade dos projetos e um maior tempo para o desenvolvimento dos me
Publicado em: 2009
-
24. Estratégia para especificação e geração de casos de teste a partir de modelos UML
Com a expansão dos sistemas computacionais e com a popularização dos serviços providos pela Internet, é crescente a preocupação dos engenheiros de software com a segurança dos sistemas que desenvolvem. O volume de informações confidenciais que trafega pela Internet é cada vez maior, tornando essencial a avaliação de segurança destes sistemas an
Publicado em: 2009