Especificaaao De Caso De Uso
Mostrando 1-12 de 13 artigos, teses e dissertações.
-
1. CoordenaÃÃo e ReconfiguraÃÃo DinÃmica de Componentes em uma Plataforma de ComputaÃÃo Paralela
Nos domÃnios da ComputaÃÃo de Alto Desempenho (CAD), sÃo comuns aplicaÃÃes com tempo de execuÃÃo de longa duraÃÃo. Durante a execuÃÃo de uma aplicaÃÃo dessa natureza, podem ser identificadas melhorias ou correÃÃes nos algoritmos em execuÃÃo que nÃo invalidam o processamento previamente realizado. Neste cenÃrio, a capacidade de realizar mo
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 30/11/2012
-
2. Contratos formais para derivaÃÃo e verificaÃÃo de componentes paralelos. / Formal Contracts for Derivation and Verification of Parallel Componentes
A aplicaÃÃo de nuvens computacionais para oferecer serviÃos de ComputaÃÃo de Alto Desempenho (CAD) à um assunto bastante discutido no meio acadÃmico e industrial. Esta dissertaÃÃo està inserida no contexto do projeto de uma nuvem computacional para o desenvolvimento e execuÃÃo de aplicaÃÃes de CAD baseadas em componentes paralelos, doravante de
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 20/09/2012
-
3. RepositÃrio Web para compartilhamento, reuso, versionamento e evoluÃÃo de conteÃdos binÃrios: modelagem e anÃlise por Redes de Petri coloridas / Web Repository for sharing, reuse, versioning and evolution of binary content: modeling and analysis by colored Petri nets
A livre disponibilizaÃÃo de conteÃdos digitais vem crescendo de maneira expressiva na Web. Muitos desses conteÃdos podem ser modificados, reutilizados e adaptados para propÃsitos especÃficos. Embora muitos recursos para armazenamento e disponibilizaÃÃo de conteÃdos sejam bastante difundidos, nÃo se percebem na Internet repositÃrios que possuam ins
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 14/12/2011
-
4. DBT-5: uma implementaÃÃo de cÃdigo aberto do TPC-E para avaliaÃÃo de desempenho de sistemas de processamento transacional
Neste trabalho à apresentado o DBT-5, uma implementaÃÃo de cÃdigo aberto do benchmark TPC-E. A principal contribuiÃÃo deste trabalho à disponibilizar um ambiente para avaliaÃÃo de desempenho de sistemas computacionais baseado em uma carga de trabalho transacional representativa. Ferramentas como o DBT-5 sÃo importantes para os fornecedores de SGBD,
Publicado em: 2008
-
5. Um metamodelo e uma ferramenta case para data warehouse geogrÃfico
O processo de tomada de decisÃes pode envolver o uso de ferramentas como DW (Data Warehouse), OLAP (On-Line Analytical Processing) e SIG (Sistemas de InformaÃÃes GeogrÃficas). Diversos trabalhos tÃm o objetivo de integrar essas tecnologias. No entanto, a especificaÃÃo de modelos dimensionais e geogrÃficos para DWG (Data Warehouses GeogrÃficos) ainda
Publicado em: 2007
-
6. Modelling and Integrating Formal Models: from Test Cases and Requirements Models
A especificaÃÃo formal de um sistema ou seu modelo formal à uma forma abstrata de representar suas propriedades (caracterÃsticas). MÃtodos formais à um ramo da Engenharia de Software com foco no desenvolvimento de sistemas tendo uma especificaÃÃo formal do mesmo como ponto de partida. Inicialmente, as vantagens de usar notaÃÃes abstratas antes da i
Publicado em: 2007
-
7. MODELOG : model-oriented development with executable logical object generation
UML (Unified Modeling Language) transpÃs sua proposta inicial de servir como notaÃÃo visual para construir rascunhos de modelos de alto nÃvel para software orientado a objetos. Uma sÃrie de extensÃes para a linguagem e o escopo de suas aplicaÃÃes foram propostas com forte sinergia entre si, tais como OCL, XMI, ASL, MOF, perfis UML e diferentes propos
Publicado em: 2007
-
8. GeraÃÃo de especificaÃÃo formal de sistemas a partir de documento de requisitos
A escrita de requisitos, dentro do processo de desenvolvimento de sistemas, està sujeita a falhas, uma vez que os requisitos sÃo escritos em Linguagem Natural, como InglÃs, que pode conter definiÃÃes ambÃguas ou de difÃcil entendimento. Por outro lado, Linguagem Natural à a opÃÃo mais simples e flexÃvel para se especificar um sistema, e à a lingu
Publicado em: 2006
-
9. A framework for the specification and validation of Real Time Systems using Circus Action / A framework for the specification and validation of Real Time Systems using Circus Action
Circus à uma linguagem de especificaÃÃo e programaÃÃo que combina CSP, Z, e construtores do CÃlculo de Refinamento. A semÃntica de Circus està baseada na Unifying Theories of Programming (UTP). Neste trabalho estendemos um subconjunto de Circus com operadores de tempo. A nova linguagem à denominada de Circus Time Action. Propomos um modelo novo do t
Publicado em: 2006
-
10. VerificaÃÃo de modelos para programas em um subconjunto de JCSP
A veriÂcaÂc~ao de modelos formais gerados a partir de programas concorrentes tem sido bem aceita na indÃstria e na academia durante a fase de testes. A busca por qualidade de software tem motivado este uso, principalmente pelo fato de que testar programas concorrentes nÃo à uma tarefa trivial e à suscetÃvel a erros. Os modelos sÃo descritos atravÃs
Publicado em: 2006
-
11. A time Petri net based approach for software synthesis in Hard Real-Time embedded systems with multiple processors / A time Petri net based approach for software synthesis in Hard Real-Time embedded systems with multiple processors
Atualmente, sistemas embarcados sÃo ubÃquos. Em outras palavras, eles estÃo em todos os lugares. Desde utilitÃrios domÃsticos (ex: fornos microondas, refrigeradores, videocassetes, mÃquinas de fax, mÃquinas de lavar roupa, alarmes) atà equipamentos militares (ex: mÃsseis guiados, satÃlites espiÃes, sondas espaciais, aeronaves), nÃs podemos encont
Publicado em: 2006
-
12. Modelagem e anÃlise de objetos como processos em CSP: padrÃo de projeto e estudo de caso
A fim de viabilizar maior interaÃÃo entre profissionais da Ãrea de saÃde, foram propostos protocolos de comunicaÃÃo,dentre os quais destacamos: HL7, DICOM, CORBAMed e GEHR. Decidimos especificar formalmente um subconjunto de um sistema de prontuÃrio eletrÃnico, baseado no modelo GEHR, pois existe um interesse real nesta formalizaÃÃo, pela comunidad
Publicado em: 2003