Matodos Formais
Mostrando 1-12 de 19 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. Abstraction of infinite and communicating CSPZ processes
Esta tese trata de um problema muito comum em verificaÃÃo formal: explosÃo de estados. O problema desabilita a verificaÃÃo automÃtica de propriedades atravÃs da verificaÃÃo de modelos. Isto à superado pelo uso de abstraÃÃo de dados, em que o espaÃo de estados de umsistema à reduzido usandoumprincÃpio simples: descartando detalhes de tal forma
Publicado em: 2009
-
4. Mapeando CSP em UML-RT
A integraÃÃo de mÃtodos formais com notaÃÃes semi-formais visuais à uma tendÃncia em engenharia de software. MÃtodos formais apresentam uma semÃntica precisa e permitem verificaÃÃo de propriedades. No entanto, nÃo sÃo considerados intuitivos. Por outro lado, notaÃÃes semi-formais visuais, como UML, sÃo facilmente integradas no processo de des
Publicado em: 2008
-
5. As cabeceiras das pontes segundo seus padrÃes formais: o caso do centro da cidade do Recife/Brasil, do sÃculo XVII ao XX
Esta disertaciÃn de mÃster tiene como objetivo identificar padrones formales que caractericen tipologÃas de cabeceras de puentes a lo largo del proceso histÃrico de formaciÃn urbana de ciudades atravesadas por el agua. En este intuito, adopta como estudio de caso la composiciÃn formal de las cabeceras de los puentes del centro de la ciudad de Recife, d
Publicado em: 2008
-
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. Letramento em comunidade de surdos
Estudos sobre o letramento social vÃm sendo desenvolvidos nas CiÃncias Sociais e na LingÃÃstica. Aspectos socioculturais que determinam o uso da escrita sÃo considerados relevantes para a elaboraÃÃo de mÃtodos pedagÃgicos que promovam o desenvolvimento de estudantes competentes na leitura e na produÃÃo de textos escritos. Com base em princÃpios t
Publicado em: 2007
-
8. Limites e possibilidades da formalizaÃÃo das CiÃncias Sociais: formas e alcance da Teoria dos Jogos na CiÃncia PolÃtica.
The Political Scienceâs formalization process, mainly in the second half of the 20th century, still finds some resistance from large groups of the fieldâs scientific community. This work aims to expose the use of game theory (GT), main Political Scienceâs methodological tool of formalization, in the recent production of a set of fields of study in Politic
Publicado em: 2007
-
9. Estimativa de consumo de energia de cÃdigo ANSI-C para sis- temas embarcados: uma abordagem baseada em simulaÃÃo estocÃstica
Embedded Systems are present in most daily activities with many different purposes. Generally, embedded systems have several design constraints, such as memory size, power source, CPU speed, and so on. Over the last years, power consumption has been receiving particular attention from scientific community since several embedded devices rely on battery as pow
Publicado em: 2007
-
10. 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
-
11. Uma arquitetura para sistemas tutores inteligentes apoiada por fundamentos de Web semÃntica.
Cada vez mais, questionam-se os mÃtodos formais de ensino e pergunta-se como o aprendiz poderia obter conhecimento de forma mais eficaz, eficiente e agradÃvel, desenvolvendo certa autonomia para aplicar conhecimentos teÃricos em soluÃÃes de problemas. Outro aspecto a ser observado à a utilizaÃÃo de recursos presentes na Internet, que pode favorecer a
Publicado em: 2006
-
12. AvaliaÃÃo de desempenho do serviÃo de controle de concorrÃncia usando Redes de Petri EstocÃstica
O processo de avaliaÃÃo de desempenho pode ser implementado atravÃs de diversos mÃtodos: mediÃÃo que à processo de coleta de informaÃÃes de um sistema real; simulaÃÃo computacional e modelos analÃticos que capturam o comportamento temporal de um sistema atravÃs de uma representaÃÃo matemÃtica. A avaliaÃÃo baseada em modelos possibilita a an
Publicado em: 2006