O SPP2 ( Servidor de Processamento Paralelo ), desenvolvido no Laboratrio de Computao de Alto Desempenho ( LCAD-ICMC-USP ), utiliza computadores convencionais conectados em uma rede de comunicao de alta velocidade . 
$
Pesquisadores da Universidade de Illinois desenvolveram uma camada de software de alto desempenho para a troca de mensagens entre mquinas conectadas por redes de alta velocidade Myrinet denominada Fast Messages , que apresenta baixa latncia na transmisso de mensagens e alta taxa de transferncia . 
$
Uma biblioteca de alto nvel muito utilizada para a programao paralela  o PVM ( Parallel Virtual Machine ). 
$
Para que o PVM possa tirar proveito do desempenho de comunicao do sistema Fast Messages sobre Myrinet foi desenvolvida no LCAD-USP uma biblioteca que possui a semntica de comunicao de sockets , mas utiliza Fast Messages para atingir maior desempenho . 
$
Essa biblioteca tambm pode ser utilizada diretamente para troca de mensagens na rede , sendo mais adequada para o programador acostumado com sockets do que o uso das primitivas de Fast Messages . 
$
Testes preliminares mostram que sock2fm apresenta um desempenho melhor que TCP / IP para mensagens com mais de 250 bytes ( 79 % melhor para alguns tamanhos ). 
$
Diante das inmeras opes de pacotes de software que existem atualmente para as aplicaes de Sistemas de Informao e da dificuldade que um cliente tem para escolher aquele pacote que atenda melhor a suas necessidades , neste trabalho ,  apresentado um procedimento para escolha de pacotes de software na rea de Sistemas de Informao . 
$
Nesse procedimento , so utilizadas a norma NBR 12119 da Associao Brasileira de Normas Tcnicas ( ABNT ) e o Quality Function Deployment ( QFD ) do American Supplier Institute ( ASI ). 
$
O planejamento de projeto de software  uma prtica administrativa vital para o sucesso da gesto de um projeto . 
$
A ausncia de prticas administrativas no desenvolvimento de software  a principal causa de srios problemas enfrentados pelas organizaes : atraso em cronogramas , custo maior do que o esperado e presena de defeitos . 
$
Tais problemas ocasionam inconvenincias aos usurios e perda de tempo e de recursos para os desenvolvedores . 
$
Segundo os modelos e padres de qualidade ISO , SPICE e CMM , o planejamento de projeto  um dos itens bsicos para que uma empresa inicie a melhoria de processo de desenvolvimento de software . 
$
Este trabalho apresenta um modelo de processo de planejamento que define , relaciona e organiza as principais atividades que devem ser realizadas para planejar um projeto de software . 
$
O trabalho tambm apresenta um estudo de caso que mostra a aplicao do modelo de processo em um centro de desenvolvimento de sistemas de uma empresa privada . 
$
Neste artigo ,  apresentada uma ferramenta para validao e verificao de requisitos . 
$
Essa ferramenta suporta a abordagem ERACE . 
$
Tal abordagem baseia-se no documento de requisitos do sistema e prope a especificao das interaes entre o sistema e seus agentes ( cenrios ). 
$
Em seguida , os cenrios so especificados detalhadamente . 
$
Tambm so apresentadas as heursticas de evoluo do modelo de requisitos para os modelos de anlise , exemplificadas pelo estudo de caso apresentado . 
$
O crescimento do mercado de software acarreta o aumento do uso de tcnicas de desenvolvimento , muitas vezes informais . 
$
A manuteno de softwares torna-se problemtica , uma vez que sua documentao raramente reflete o cdigo implementado . 
$
Nesse contexto , atua a Engenharia Reversa de Software , com o propsito de recuperar as informaes de projeto perdidas durante a fase de desenvolvimento e documentar o real estado do software . 
$
Este artigo relata as questes levantadas durante a aplicao do mtodo de engenharia reversa Fusion-RE / I. 
$
O experimento descrito  parte da re-engenharia de um sistema prottipo de hipermdia , cujo objetivo  adapt-lo ao domnio de Engenharia de Software . 
$
Em virtude de o sistema alvo ser hipermdia , os resultados obtidos durante a aplicao do mtodo Fusion-RE / I puderam ser registrados como um hiperdocumento no prprio sistema submetido  engenharia reversa . 
$
Foi , ento , possvel observar aspectos relevantes sobre a validao das etapas propostas no mtodo Fusion-RE / I. 
$
Este trabalho apresenta requisitos funcionais identificados no processo de Engenharia Reversa de Software que possam ser suportados por um Sistema Hipertexto . 
$
Por meio da modelagem conceitual e navegacional do domnio de informaes relativas ao mtodo de engenharia reversa Fusion-RE / I , foram estabelecidos os requisitos funcionais de um aplicativo hipermdia de suporte ao mtodo , de forma a nortear o engenheiro de software responsvel pelo processo de engenharia reversa e possibilitar o acompanhamento da evoluo desse processo . 
$
Este artigo discute questes sobre a autoria de aplicaes hipermdia para ensino , com o objetivo de identificar requisitos para um ambiente de desenvolvimento de aplicaes hipermdia . 
$
A autoria de hiperdocumentos para ensino  uma tarefa complexa e sistemas de autoria hipermdia tradicionalmente utilizados , como HyperCard , ToolBook e mesmo a linguagem HTML , no caso de autoria para a WWW , so mais direcionados  criao de hiperdocumentos para apresentao e recuperao de informao . 
$
Este artigo apresenta algumas ferramentas para autoria de hiperdocumentos para ensino e defende a necessidade de uma modelagem prvia do domnio de conhecimento . 
$
Um mtodo para o projeto de aplicaes hipermdia para o ensino , o EHDM ,  proposto como base para o desenvolvimento de ferramentas de autoria que incorporem a modelagem do domnio do conhecimento como parte do seu processo de autoria . 
$
Uma ferramenta desenvolvida utilizando o EHDM como base metodolgica  tambm apresentada como forma de validao do EHDM num contexto real . 
$
O aprimoramento das tcnicas e mtodos sistemticos elaborados para apoiar o desenvolvimento de aplicaes trouxe como principal vantagem a produo de softwares de alta qualidade e custo mais baixo . 
$
De forma similar ao desenvolvimento de softwares comerciais , o desenvolvimento de aplicaes hipermdia tem passado por significativas mudanas e por constantes evolues . 
$
Atualmente , os sistemas de autoria hipermdia oferecem , por exemplo , condies para que uma aplicao seja previamente especificada para , em seguida , ser efetivamente implementada . 
$
No entanto ,  necessrio que possuam algumas caractersticas que proporcionem facilidades em sua utilizao , de forma a motivar os usurios . 
$
De forma geral , este trabalho se concentra na avaliao da implementao de um conjunto de requisitos desejvel em um ambiente de autoria de aplicaes hipermdia para ensino denominado SASHE ( Sistema de Autoria e Suporte Hipermdia para Ensino ). 
$
Os requisitos propostos nas fases iniciais do desenvolvimento desse sistema tambm sero considerados na avaliao , que ser realizada de forma experimental e resultar na obteno de dados concretos com relao s condies atuais da implementao do mdulo de autoria do sistema mencionado . 
$
Este artigo apresenta o Mtodo para Projeto de Hiperdocumentos para Ensino , ou EHDM ( Educational Hyperdocuments Design Method ), uma abordagem sistemtica para apoiar o projeto e o desenvolvimento de aplicaes hipermdia para ensino . 
$
O mtodo utiliza o modelo proposto por Michener e a tcnica de mapeamento conceitual para modelar o domnio de conhecimento do hiperdocumento . 
$
So apresentadas as trs fases que compem o mtodo - modelagem conceitual hierrquica , projeto navegacional de contextos e construo e teste . 
$
Sistemas Reativos caracterizam  se por reagir continuamente a estmulos externos e internos e por ter no aspecto comportamental seu principal enfoque . 
$
Dentre as tcnicas utilizadas para especificar o comportamento desse tipo de sistema esto as Redes de Petri . 
$
Em virtude do carter crtico geralmente envolvido nesses sistemas , sua especificao deve ser validada de forma criteriosa . 
$
Por isso , a Anlise de Mutantes , um critrio de teste baseado em erros , normalmente aplicado ao teste de programas , tem sido explorada no contexto de teste de Redes de Petri . 
$
O objetivo deste trabalho  a implementao da ferramenta Proteum  RS / PN , para automatizar o processo de teste e validar as Redes de Petri com base no critrio Anlise de Mutantes , visto que a aplicao manual desse critrio  impraticvel . 
$
O problema da Mochila Compartimentada pode ser enunciado considerando-se a seguinte situao hipottica : um alpinista deve carregar sua mochila de capacidade limitada com possveis itens teis . 
$
A cada item atribui-se seu peso e um valor de utilidade ( at aqui , o problema coincide com o clssico Problema da Mochila ). 
$
Entretanto , os itens so de classes distintas ( alimentos , medicamentos , utenslios , etc .) e devem estar em compartimentos separados na mochila . 
$
Os compartimentos da mochila so flexveis e tm capacidade limitada . 
$
Cada compartimento tem um custo que depende da classe com que foi preenchido . 
$
O problema consiste em determinar a capacidade adequada de cada compartimento e como esses compartimentos devem ser carregados , elevando ao mximo o valor de utilidade total . 
$
Neste trabalho , propomos uma modelagem matemtica no linear inteira para o problema e verificamos algumas heursticas para sua resoluo . 
$
Tal problema estende os Problemas da Mochila encontrados na literatura , o que pode ser confirmado pela ausncia em trabalhos recentes de reviso de Problemas da Mochila no-padronizados . 
$
Uma aplicao prtica relevante desse problema aparece no corte de bobinas de ao sujeitas  laminao . 
$
Este trabalho apresenta o STT ( Sistema de Telemetria e Telecomando ), parte do Projeto ARARA-Aeronaves de Reconhecimento Assistidas por Rdio e Autnomas ( Autonomous and Radio-Assisted Reconnaissance Aircraft ). 
$
O STT permite operar a aeronave do ARARA alm do alcance visual do piloto . 
$
As imagens de vdeo e os dados dos instrumentos so transmitidos da aeronave para a estao de base em tempo real . 
$
A interface grfica do STT apresenta o vdeo sobreposto por um painel de instrumentos , similar aos simuladores de vo , o que torna a sua operao muito intuitiva . 
$
Atualmente as organizaes devem trocar dados entre si , e a tendncia  que essas trocas sejam efetuadas cada vez mais por meios digitais . 
$
Os dados so consultados ( alimentados ) livremente nas bases de dados de organizaes independentes entre si , porm , quando  necessria a troca de dados , como no existe uma previso de integrao , os dados somente podem ser trocados aps uma preparao que impe alguma forma de interveno manual , construo de filtros especiais , etc ., uma vez que a no existncia de um esquema comum impede que os dados de uma base possam ser intercambiados com os de outra base . 
$
No entanto , embora as bases de dados de diferentes organizaes possam ser construdas de maneira totalmente independente , a necessidade de uma troca significa que a semntica dos elementos manipulados , em particular daqueles que devem ser compartilhados  , no mnimo , semelhante . 
$
Por exemplo , se duas organizaes devem trocar dados sobre pessoas , no importa se para as diferentes organizaes as pessoas so clientes , empregados , alunos ou pacientes , o significado de & quot ; pessoa & quot ;  sempre entendido pelos membros das organizaes . O mesmo ocorre com qualquer entidade sobre a qual se deseje trocar informaes . 
$
Este trabalho parte da suposio de que possa existir alguma forma de definio primitiva para os diversos elementos de dados que devem ser compartilhados , com base na qual sua instanciao em elementos de um esquema de dados em particular possa ser reconhecido . 
$
Assim , busca-se identificar estruturas primitivas , com a finalidade de integrar os sistemas . 
$
Contudo , para chegar a tal estrutura ,  preciso definir regras que garantam a preservao de suas propriedades com a finalidade de permitir que , sempre que o esquema de uma organizao A seja construdo a partir de uma mesma estrutura primitiva que foi utilizada por outra organizao B , a integrao entre ambas possa ser feita de forma automtica , e que isso no provoque inconsistncia nas bases de dados que estaro recebendo as informaes . 
$
Para atingir esses objetivos , este trabalho prope que tais estruturas de esquemas primitivos sejam parte das Bibliotecas de Componentes Reutilizveis ( BTO ) que so distribudas como parte das Ferramentas de Desenvolvimento Rpido de Aplicativos ( RAD ) comerciais . 
$
Como um exemplo de como isso poderia ser feito , apresenta-se um componente que define genericamente um objeto pessoa , desenvolvido a partir de como & quot ; pessoas & quot ; so tratadas em dois sistemas reais , centrando essa estrutura em uma nica Abstrao : a Abstrao de Generalizao . 
$
Apresenta tambm o conjunto de regras que deve ser utilizado para a integrao de componentes centrados nessa abstrao , que  a mais universalmente compatvel entre os diversos modelos de dados orientados a objetos disponveis atualmente . 
$
Este trabalho apresenta meios alternativos para a obteno de imagens areas e sua utilizao na agricultura . 
$
Imagens areas representam uma ferramenta importante na avaliao de diversos aspectos da atividade agrcola moderna , principalmente daqueles que no podem ser avaliados no nvel do solo . 
$
Trs tipos de sistemas so definidos com nveis crescentes de complexidade e funcionalidade . 
$
Diversos critrios so propostos para a avaliao do sistema e para a determinao da sua adequao s principais aplicaes na agricultura . 
$
Foi construdo um prottipo de sistema do Tipo I baseado em aeromodelos , utilizado na avaliao da tecnologia e na validao do projeto . 
$
Foram utilizados componentes facilmente encontrados no mercado , existindo potencial para a evoluo tcnica do sistema construdo em cada um dos seus componentes bsicos : a aeronave , o mtodo de controle e o meio de captao das imagens . 
$
Os resultados obtidos mostram que o sistema pode substituir , a baixo custo , os meios convencionais utilizados at ento para a obteno dessas imagens . 
$
Este trabalho apresenta o Animbs ( Animation for MBS ), um sistema capaz de visualizar dados gerados por um sistema de simulao de engenharia ( SD / FAST ) na forma de animaes por computador . 
$
SD / FAST  um sistema utilizado para o modelamento e a simulao de sistemas mecnicos multicorpos ( MBS ). 
$
O sistema Animbs permite a associao de uma geometria ao MBS sendo simulado e utiliza os dados produzidos pela simulao do SD / FAST para criar uma animao do comportamento do sistema mecnico e , dessa forma , melhorar a anlise de dados feita pelos usurios do SD / FAST . 
$
Este trabalho apresenta algumas tcnicas e mtodos que apiam a fase de engenharia de requisitos , bem como uma comparao entre as abordagens revisadas . 
$
 apresentada uma proposta de processo para a engenharia de requisitos baseada na construo de cenrios compatvel com a UML . 
$
So apresentados a notao introduzida , o processo de construo dos modelos de requisitos e um conjunto de heursticas para a construo de um modelo de anlise . 
$
Um estudo de caso referente a um sistema de apoio  escrita de documentos tcnicos ilustra a construo dos modelos propostos pelo processo . 
$
Finalmente ,  apresentada uma ferramenta que apia a construo dos modelos introduzidos pelo processo . 
$
A partir dos anos 90 , a qualidade tornou-se uma necessidade bsica na competio por mercado e acabou afetando a indstria de software . 
$
Os desenvolvedores de software so obrigados a aperfeioar o produto final para continuar competindo no mercado . 
$
Aps alguns anos de experincia no desenvolvimento de software , percebeu-se que alguns fatores de qualidade considerados pelos clientes esto mais relacionados ao processo de software do que ao produto final . 
$
A melhoria do processo de software aumenta as chances de obter um produto que atenda s expectativas dos clientes . 
$
No entanto , a realizao de uma melhoria de processo de software no  uma tarefa simples e envolve vrios fatores . 
$
Para auxiliar a tarefa de melhorar o processo de software , existem hoje na literatura vrios modelos de melhoria como , por exemplo , o SW-CMM ( Software-Capability Maturity Model ). 
$
Porm , a maioria dos modelos de melhoria existentes so voltados para as empresas de grande porte , com uma estrutura complexa e & quot ; fechada & quot ; que dificilmente se ajusta s necessidades das empresas desenvolvedoras de software brasileiras , que so , na sua maioria , empresas de pequeno porte . 
$
Nesse contexto , este trabalho apresenta diretrizes para orientar clara e objetivamente a melhoria de processo de software . 
$
As diretrizes seguem os passos da fase de estabelecimento da Abordagem IDEAL - Estabelecimento de Prioridades , Desenvolvimento da Abordagem e Planejamento de Aes - e consideram algumas idias obtidas no estudo das abordagens S : PLAN , Bootstrap e da parte 7 do Modelo SPICE . 
$
A Injeo de Defeitos  uma tcnica que tem sido amplamente empregada na construo de sistemas que precisam ser altamente confiveis . 
$
Dentre as atividades de Injeo de Defeitos , existem estudos que englobam a injeo de defeitos de hardware e de software . 
$
Observa-se que existem poucos trabalhos relacionados  injeo de defeitos de software na literatura , assim como poucos modelos de defeitos e mtodos de injeo relacionados . 
$
Desse modo , o objetivo deste trabalho  estudar modelos de defeitos de software e investigar mtodos de injeo com base nos conceitos e princpios oriundos do critrio Anlise de Mutantes . 
$
Dada a crescente complexidade dos sistemas computacionais , o projeto e a implementao de uma ferramenta de suporte  atividade de injeo tornam-se necessrios . 
$
Dessa forma , neste trabalho  apresentada uma ferramenta de injeo de defeitos de software denominada ITool , baseada em um esquema de injeo de defeitos . 
$
Esse esquema caracteriza o mapeamento de uma taxonomia de defeitos de software ( Taxonomia de DeMillo ) para os operadores de mutao do critrio de teste Anlise de Mutantes para a linguagem C. 
$
Para ilustrar a relevncia e a exeqibilidade das idias exploradas neste trabalho , conduziu-se um experimento piloto utilizando-se o programa Space , um sistema real desenvolvido pela ESA ( European Space Agency ). 
$
Um estudo emprico para avaliar a eficcia em revelar erros , a dificuldade de satisfao e o custo de aplicao do critrio Anlise de Mutantes  apresentado neste trabalho . 
$
Eficcia e custo tambm foram avaliados para os critrios Potenciais-Usos , comparando-se assim os resultados obtidos para esses critrios . 
$
A especificao e implementao de uma estratgia de minimizao de conjuntos de casos de teste adequados ao critrio Anlise de Mutantes tambm  apresentada . 
$
Com base nos resultados obtidos , observou-se que os critrios Potenciais-Usos ( baseados em fluxo dados ) e o critrio Anlise de Mutantes ( baseado em erros ) so promissores e apresentam caractersticas complementares que merecem ser investigadas em um experimento de maior porte . 
$
A utilizao de mutao restrita e de minimizao de conjunto de casos de teste constituem mecanismos que viabilizam a aplicao desses critrios em ambientes de produo de software . 
$
A execuo da engenharia reversa orientada a objetos de um sistema legado desenvolvido com orientao procedimental  usada como base para sua reengenharia , seguindo duas abordagens diferentes . 
$
Na primeira , o sistema passa por reengenharia com mudana de orientao , por meio de segmentao e , posteriormente , transformao para uma linguagem orientada a objetos de forma semi  automtica . 
$
Na segunda ,  feito o reconhecimento de padres recorrentes de software no modelo de objetos produzido pela engenharia reversa para , depois , ser efetuada a reengenharia utilizando esses padres . 
$
Os resultados obtidos por essas duas abordagens podem ser comparados quanto a manutenibilidade , legibilidade e reuso . 
$
A verso original do sistema legado escolhido para a realizao da experincia est implementada na linguagem Clipper e tem cerca de vinte mil linhas de cdigo . Trata  se de uma oficina auto  eltrica e mecnica de veculos . 
$
Para a engenharia reversa foi escolhido o mtodo Fusion / RE , sendo feita uma proposta para sua evoluo , que adiciona um maior detalhamento da etapa de abstrao do modelo de anlise do sistema . 
$
Para mudana de orientao do paradigma de desenvolvimento , de procedimental para orientado a objetos , so propostas duas etapas adicionais , a serem executadas aps a aplicao do Fusion / RE : o projeto avante do sistema e a segmentao do programa legado . 
$
So fornecidas indicaes sobre como fazer a segmentao . 
$
A transformao do cdigo segmentado em Clipper para Java  feita com auxlio da mquina Draco  Puc . 
$
Uma estratgia  proposta para o reconhecimento de padres com base no modelo de objetos do sistema obtido pela engenharia reversa . 
$
Por meio dela , podem ser reconhecidas instncias dos padres Type  Object , Association  Object , State Across a Collection e Behaviour Across a Collection . 
$
So feitas experincias de implementao de alguns desses padres em Delphi . 
$
Independentemente do tipo de manuteno conduzida - corretiva , preventiva , adaptativa ou evolutiva -, as atividades de teste de regresso so necessrias para testar as modificaes realizadas e as eventuais novas funcionalidades de um programa , e , principalmente , para testar se as funcionalidades j existentes no foram afetadas adversamente pelas modificaes . 
$
Para aplicar o teste de regresso de uma maneira sistemtica a um baixo custo e com eficcia , muitas tcnicas tm sido propostas na literatura . 
$
Essas diversas tcnicas so divididas em duas abordagens : retest-all e seletiva . 
$
A abordagem retest-all utiliza todo o conjunto de casos de teste disponvel para testar as modificaes , ao passo que a abordagem seletiva utiliza um subconjunto dos casos de teste disponveis para testar as modificaes . 
$
As tcnicas baseadas na abordagem seletiva tm sido muito estudadas , pois visam diminuir os esforos despendidos no teste de regresso , reduzindo o nmero de casos de teste a serem reexecutados . 
$
Diante da diversidade das tcnicas seletivas , fazem-se necessrios estudos empricos para avaliar e comparar a aplicao dessas tcnicas . 
$
Assim , este trabalho visa aplicar e avaliar empiricamente duas tcnicas de teste de regresso que tm se mostrado promissoras : a Tcnica baseada em Modificao ( Wong et al ., 1997a ) e a Tcnica baseada em Mutao Seletiva ( Wong et al ., 1997b ). 
$
Para auxiliar nessa avaliao ,  utilizado um framework proposto por Rothermel e Harrold ( 1996 ). 
$
Com a realizao desses experimentos , espera-se contribuir para o estabelecimento de estratgias de teste de regresso efetivas e de baixo custo . 
$
Atividades de teste no desenvolvimento de Sistemas Reativos so de grande relevncia , bem como a disponibilidade de ferramentas que apiem essas atividades , uma vez que a ocorrncia de falhas nesses sistemas pode causar graves conseqncias econmicas e / ou sociais . 
$
O critrio Anlise de Mutantes , um dos critrios da tcnica de teste baseada em erros , normalmente aplicado em testes de unidades , tem sido explorado no teste de especificaes do aspecto comportamental de Sistemas Reativos baseadas em Mquinas de Estados Finitos , Statecharts e Redes de Petri . 
$
A especificao da ferramenta Proteum  RS constitui uma iniciativa para apoiar a aplicao do critrio Anlise de Mutantes no contexto de Sistemas Reativos . 
$
Este trabalho tem como objetivo a implementao da instanciao da Proteum  RS para o teste de especificaes baseadas em Statecharts , a Proteum  RS / ST . 
$
Dessa forma , pretende  se fornecer subsdios para investigar a adequao de critrios de teste tradicionalmente usados no teste de programas , como  o caso da Anlise de Mutantes , ao teste de especificaes de Sistemas Reativos , em particular no contexto de especificaes baseadas em Statecharts . 
$
Sistemas Reativos caracterizam  se por reagir continuamente a estmulos externos e internos e por controlar atividades humanas . 
$
A ocorrncia de falhas nesses sistemas pode resultar em grandes prejuzos . 
$
Dessa forma , o uso de mtodos e tcnicas rigorosas para a especificao do comportamento desse tipo de sistema  essencial para evitar inconsistncias e ambigidades no modelo . 
$
As Redes de Petri so uma das tcnicas que tm sido usadas para a especificao de sistemas reativos . 
$
Teste e validao so atividades essenciais na produo dessa classe de sistemas . 
$
Por isso , o critrio Anlise de Mutantes , um critrio de teste baseado em erros normalmente aplicado ao teste de programas , tem sido explorado no contexto de teste de especificaes de sistemas reativos . 
$
 necessrio o desenvolvimento de ferramentas que apiem sua utilizao , visto que a aplicao manual do critrio  impraticvel . 
$
O objetivo deste trabalho  a implementao da ferramenta Proteum  RS / PN , que apia a aplicao do critrio Anlise de Mutantes para validar especificaes baseadas em Redes de Petri . 
$
Para sistematizar os testes e contornar as restries de tempo e custo associadas  atividade de teste , diversas tcnicas , critrios e ferramentas tm sido desenvolvidos . 
$
Alm disso , para estabelecer uma estratgia de teste incremental , que apresente baixo custo de aplicao e alta eficcia em revelar a presena de erros , a comunidade de teste vem conduzindo estudos tericos e empricos . 
$
O presente trabalho est inserido nesse contexto e tem como objetivo a realizao de estudos empricos para comparar a adequao entre os critrios baseados em erros - Anlise de Mutantes ( teste de unidade ) e Mutao de Interface ( teste de integrao ) -, com o objetivo de estabelecer estratgias de teste eficazes e de baixo custo , que englobem todo o ciclo de desenvolvimento de software . 
$
Dessa perspectiva , so definidas algumas estratgias incrementais de aplicao dos operadores de mutao de unidade e de integrao , explorando o aspecto complementar dos critrios baseados em mutao , reduzindo com isso os custos da atividade de teste durante as fases do teste de unidade e de integrao , sem comprometer sua qualidade . 
$
 apresentado ainda um conjunto essencial de operadores de mutao para o critrio Mutao de Interface . 
$
Estudos empricos tm mostrado que a Anlise de Mutantes - um dos critrios de teste baseado em erros -  bastante eficaz para revelar a presena de erros . 
$
Entretanto , seu alto custo , decorrente principalmente do grande nmero de mutantes gerados , tem motivado a proposio de diversas abordagens alternativas para sua aplicao . 
$
Um estudo relevante nesse sentido resultou na determinao de um conjunto essencial de operadores de mutao para a linguagem Fortran , mostrando que  possvel reduzir o custo de aplicao do critrio preservando um alto grau de adequao em relao  Anlise de Mutantes . 
$
Alguns estudos tambm tm demonstrado que a reduo da eficcia no  significativa . 
$
Este trabalho tem como objetivo investigar alternativas pragmticas para a aplicao do critrio Anlise de Mutantes e , nesse contexto , propor um procedimento para a determinao de um conjunto essencial de operadores de mutao para a linguagem C , com base nos operadores implementados na ferramenta Proteum . 
$
Procurando aplicar e validar o procedimento proposto , dois grupos distintos de programas so utilizados . 
$
Para ambos os grupos , o conjunto essencial obtido apresenta resultados bastante significativos quanto  reduo de custo , com um decrscimo muito pequeno no grau de adequao em relao  Anlise de Mutantes . 
$
Tambm so investigadas estratgias para fazer evoluir e refinar um conjunto essencial para diferentes domnios de aplicao . 
$
O crescimento do mercado de software a cada dia acarreta um aumento do uso de tcnicas de desenvolvimento muitas vezes informais . 
$
A manuteno de tais softwares torna-se problemtica , uma vez que a documentao associada ao software , na maioria das vezes , no est de acordo com o cdigo implementado . 
$
Dessa forma , quando diante da necessidade de fazer a manuteno do produto , o engenheiro de software encontra uma documentao informal e incompleta , que no reflete o software existente . 
$
Nesse contexto  que se encontra a Engenharia Reversa de Software , com o propsito de recuperar as informaes de projeto perdidas durante a fase de desenvolvimento e de documentar o real estado do software . 
$
O principal objetivo deste trabalho de mestrado foi a investigao de uma estrutura adequada de hiperdocumento para apoiar a documentao requerida durante o processo de engenharia reversa de software . 
$
Com base em um levantamento dos requisitos desejveis em um hiperdocumento , para que possua as habilidades de suporte  documentao de engenharia reversa de software , foi definido um conjunto de links e estruturas de ns . 
$
Os requisitos para a composio de tal hiperdocumento foram investigados por meio de uma experincia : a autodocumentao do sistema hipermdia denominado SASHE ( Sistema de Autoria e Suporte Hipermdia para Ensino ), que j possui suporte para o tratamento de ns aninhados e outras caractersticas de aplicativo para ensino . 
$
A engenharia reversa foi desenvolvida baseando-se no mtodo de engenharia reversa Fusion-RE / I e os produtos obtidos foram inseridos em uma hiperbase no SASHE . 
$
Este trabalho apresenta um procedimento de auxlio ao primeiro passo do mtodo de engenharia reversa FUSION-RE / I - obteno de informaes sobre o sistema . 
$
Esse procedimento compreende um processo para a criao de uma base de conhecimento ( Processo de Aquisio de Conhecimento IPAIA , instanciado para o domnio de engenharia reversa ) e diretrizes para a utilizao dessa base de conhecimento na construo de vises funcionais do sistema . 
$
Sistemas orientados a objetos confiveis devem incorporar atividades de tratamento de excees de forma a comportarem  se adequadamente em uma grande variedade de situaes , mesmo na presena de erros . 
$
Nesse contexto , um mecanismo de tratamento de excees  fundamental para deteco e recuperao de erros bem como para ativao das medidas necessrias para restaurar a atividade normal do sistema . 
$
O desenvolvimento de um mecanismo de tratamento de excees  uma tarefa difcil , especialmente quando a concorrncia  uma das caractersticas dos sistemas de software . 
$
Os principais objetivos desta dissertao so o projeto e a implementao de um mecanismo de tratamento de excees para a construo de sistemas orientados a objetos confiveis . 
$
Na construo do mecanismo proposto , utilizamos tcnicas de estruturao de software tais como reflexo computacional e padres de projeto . 
$
Duas contribuies so consideradas principais . 
$
A primeira delas , caracterizada por aspectos tcnicos e usos prticos ,  o projeto e a implementao de um mecanismo de excees utilizando a linguagem de programao Java e uma arquitetura de software reflexiva chamada Guaran . 
$
O mecanismo proposto oferece suporte especialmente ao tratamento de excees concorrentes . 
$
A outra contribuio , caracterizada por aspectos abstratos e abordagem inovadora ,  a definio de uma arquitetura de software reflexiva e de um conjunto de padres de projeto relacionados para a implementao de mecanismos de tratamento de excees . 
$
Esta dissertao prope um novo mtodo orientado a objetos para apoiar o projeto e o desenvolvimento estruturado de aplicaes hipermdia denominado HMBS / M. 
$
O HMBS / M tem como principal caracterstica o uso do HMBS ( Hypertext Model Based on Statecharts ) que utiliza como modelo formal subjacente a tcnica de Statecharts para especificar a estrutura organizacional e a semntica de navegao de uma aplicao hipermdia . 
$
So apresentadas as quatro etapas que compem o mtodo - modelagem conceitual , modelagem navegacional , modelagem da interface e implementao . 
$
Em cada fase do mtodo so construdos modelos que podem ser melhorados ou incrementados na fase posterior , permitindo assim um desenvolvimento interativo . 
$
So discutidas trs formas de implementao para uma aplicao hipermdia especificada pelo HMBS / M ( interpretada , traduzida e de traduo livre ) com nfase nas duas primeiras , que so implementadas usando uma ferramenta que suporta o HMBS , o sistema HyScharts , e usando o ambiente WWW ( padro HMTL ). 
$
Para ilustrar e validar o HMBS / M apresenta-se a especificao de uma aplicao hipermdia baseada nos catlogos de Graduao e Ps-graduao do Instituto de Cincias Matemticas e de Computao da USP . 
$
A dinmica e a flexibilidade da autoria de hiperdocumentos na Web , por um lado , popularizam a cada dia o uso da Internet , mas , por outro , propiciam facilmente a inconsistncia de muitas informaes . 
$
Basta uma definio errnea de um hiperlink para que o usurio se depare com uma inconsistncia e se sinta & quot ; perdido & quot ;. 
$
Um procedimento comum durante o desenvolvimento de um site  a reutilizao dos componentes de link , seja por haver na mesma pgina origem mais de um link , ou o mesmo rtulo de link em diversas pginas , ou ainda vrios links para uma mesma pgina destino . 
$
Como um site , geralmente , contm uma grande quantidade de links , torna-se invivel a verificao manual da reusabilidade de seus links . 
$
A ferramenta DB-LiOS foi desenvolvida com o objetivo de automatizar a verificao da reusabilidade de links de um site da Web , por meio de processos de extrao e classificao de links . 
$
Com a utilizao de DB-LiOS , os autores de um site podem obter um auxlio efetivo para avaliao da consistncia de seus links . 
$
Este trabalho apresenta o Mtodo para Projeto de Hiperdocumentos para Ensino , ou EHDM ( Educational Hyperdocuments Design Method ), que proporciona uma abordagem sistemtica para apoiar o projeto e o desenvolvimento de aplicaes hipermdia para ensino . 
$
O mtodo utiliza o modelo proposto por Michener e a tcnica de mapeamento conceitual para modelar o domnio de conhecimento do hiperdocumento . 
$
So apresentadas as trs fases que compem o mtodo - modelagem conceitual hierrquica , projeto navegacional de contextos e construo e teste . 
$
Uma ferramenta denominada Educational Hyperdocuments Development Tool ( EHDT ) foi desenvolvida para auxiliar o desenvolvimento de hiperdocumentos para ensino destinados ao sistema SASHE . 
$
Essa ferramenta utiliza o EHDM como base metodolgica . 
$
A EHDT fornece mecanismos para facilitar laos de realimentao rpidos entre as fases do mtodo e para apoiar abordagens de projeto bottom-up e top-down . 
$
Este trabalho prope um ambiente denominado SIATE ( Sistema Inteligente de Apoio ao Treinamento e Ensino ), que integra caractersticas de ambientes de Prtica / Treinamento , Hipermdia , Sistemas Tutores e Sistemas Hbridos de Conhecimento . 
$
 voltado para o ensino e tem como caracterstica marcante a liberdade , por parte do estudante , de explorar um domnio qualquer , podendo recorrer , quando necessrio , ao auxlio de um Sistema Tutor e de um Sistema Hbrido de Conhecimento com conhecimento especialista nesse domnio . 
$
So enfatizados aqui o projeto e o desenvolvimento de um Sistema Tutor que oferece apoio pedaggico ao ambiente , bem como o desenvolvimento dos recursos hipermdia desse ambiente . 
$
Este trabalho apresenta um prottipo de ferramenta , a Html2Hip , que proporciona um ambiente de importao e adaptao de documentos descritos segundo o padro HTML ( HyperText Markup Language ) para a representao interna do SASHE ( Sistema de Autoria e Suporte Hipermdia para Ensino ), que se baseia na estruturao de objetos multimdia segundo a hierarquia de classes proposta pelo MCA ( Modelo de Contextos Aninhados ). 
$
Alm disso , este trabalho estendeu a capacidade do editor de ns de informao do tipo texto do prottipo anterior no que concerne ao processamento de arquivos-texto descritos pelo padro RTF ( Rich Text Format ). 
$
Dessa forma , o SASHE tornou-se capaz de processar e organizar materiais instrucionais preparados em seu prprio ambiente , no ambiente WWW ( World-Wide Web ), bem como em processadores de texto comuns . 
$
A experincia com autoria de material didtico multimdia para propsitos educacionais mostra um grande problema : como prover uma maneira de tratar objetos multimdia de modo que usurios inexperientes ( como professores ) possam estar aptos a projetar e construir suas prprias apresentaes ? 
$
Uma infra  estrutura bsica que armazene e entregue eficientemente os dados de vdeo  necessria , porm , outro ponto importante  organizar esses dados armazenados no servidor , de forma a facilitar seu acesso por parte dos usurios . 
$
Neste trabalho , isso  alcanado pelo uso de um sistema interativo de recuperao e gerenciamento de informaes projetado para facilitar o acesso a itens ( ou parte deles ) armazenados no servidor . 
$
A principal caracterstica de tal sistema  o uso de uma base de metadados que contm os atributos dos vdeos armazenados no servidor . 
$
Buscas podem ser feitas por ttulo , assunto , tamanho , autor , contedo ou , mais importante no caso de material didtico , por cenas ou frames especficos . 
$
O sistema foi implementado segundo uma abordagem cliente / servidor utilizando a linguagem de programao JAVA . 
$
A comunicao entre clientes e servidores  realizada atravs do Visibroker 3.0 , que  uma ferramenta de programao para Objetos Distribudos segundo o padro CORBA . 
$
O acesso aos dados a partir da base de metadados  realizado por um driver PostgreSQL que segue a API JDBC . 
$
Para propsitos de avaliao do sistema , um player foi construdo utilizando a ferramenta Java Media Framework ( JMF ). 
$
Foi realizada uma anlise para a verificao do impacto da utilizao das tecnologias CORBA e JDBC no sistema . 
$
Detectou-se que a utilizao da tecnologia JDBC impe um atraso muito mais significativo que a utilizao da tecnologia CORBA . 
$
Outra concluso  que a utilizao de metadados prov uma melhor interatividade em buscas , permite economia de tempo durante o processo de edio e prov economia de espao de armazenamento pelo compartilhamento de objetos como vdeos , cenas e frames . 
$
Com base na anlise de diversos trabalhos publicados sobre requisitos para sistemas de autoria hipermdia educacional , foi proposto um novo conjunto de requisitos que tem por objetivo auxiliar as etapas de engenharia de requisitos e de avaliao no processo de desenvolvimento de um sistema pertencente a esse domnio . 
$
De forma geral , foi proposto um conjunto de requisitos que privilegia tanto as necessidades do contexto educacional quanto as necessidades relacionadas aos ambientes de autoria hipermdia . 
$
Esses requisitos foram utilizados na avaliao do sistema SASHE , tendo sido obtidos resultados que indicaram a eficcia dessa proposta e , simultaneamente , a qualidade da implementao do sistema . 
$
Em um mundo computacional em constante evoluo , a Web se apresenta como um ambiente caracterizado por um desenvolvimento acelerado de informaes . 
$
Alm de as informaes na Web sofrerem muitas mudanas com extrema freqncia , os autores ( ou desenvolvedores ) das pginas enfrentam dificuldades nas suas atividades quando estas envolvem muitas pessoas trabalhando em paralelo no desenvolvimento de uma pgina ou de um conjunto de pginas . 
$
Diante desses problemas , este trabalho apresenta a ferramenta VersionWeb . 
$
Os objetivos principais foram proporcionar aos internautas a obteno das verses das pginas durante a navegao e fornecer um modo fcil de controle de verses de pginas da Web aos autores atravs da prpria Web . 
$
Muitos dos sistemas computacionais atuais de apoio ao ensino podem ser considerados parte de uma evoluo que tem enfatizado a explorao de sistemas hipermdia em geral e da Web em particular . 
$
A pesquisa associada ao trabalho aqui reportado tem como objetivo explorar as tecnologias de Hipermdia e Computer Supported Cooperative Work ( CSCW ) para viabiliz-las em um ambiente que suporte o acesso de alunos a hiperdocumentos de contedo didtico de forma cooperativa - o ambiente StudyConf . 
$
Para promover a interao entre os alunos que navegam pelos hiperdocumentos , o StudyConf controla a navegao deles e gera , dinamicamente , sesses de discusso com outros alunos que visitam o mesmo material . 
$
O StudConf mantm o registro das discusses realizadas na forma de hiperdocumentos estruturados , que podem ser utilizados , por exemplo , para a gerao cooperativa de documentos , conforme proposto em vrias ferramentas Computer Supported Cooperative Learning ( CSCL ). 
$
O trabalho aqui reportado colaborou , ainda , para o desenvolvimento de uma tcnica que tem como objetivo orientar o projeto de aplicaes hipermdia que manipulem informaes na Web . 
$
O projeto SMmD - Sistemas Multimdia Distribudos - investiga a construo de uma estrutura de middleware para dar suporte  implementao de aplicaes multimdia interativas em ambientes distribudos e heterogneos . 
$
Para tanto , devenvolveu-se o Ambiente SMmD , o qual inclui mdulos para armazenamento e recuperao de objetos de mdia tais como udio e vdeo , e tambm mdulos para autoria e intercmbio de objetos multimdia em conformidade com o padro ISO MHEG-5 . 
$
Esta dissertao descreve o trabalho de implementao de um dos mdulos do Projeto SMmD , chamado Mdulo de Apresentao e Sincronizao ( MAS ). 
$
Esse mdulo foi implementado com base em outro , chamado Java MHEG-5 Engine ( JHEG ), cuja funo  interpretar e manipular objetos multimdia em conformidade com aquele padro . 
$
Inicialmente so apresentados o contexto , a motivao e os objetivos que levaram  execuo deste trabalho . 
$
A seguir ,  feita uma reviso dos conceitos relacionados  apresentao multimdia , enfatizando os aspectos relacionados  sincronizao de seus componentes . 
$
Em seguida , apresenta-se o padro MHEG-5 juntamente com outros padres e recomendaes relevantes no contexto deste trabalho . 
$
Com o objetivo de contextualizar o trabalho ,  apresentada , ento , uma viso geral dos mdulos que compem o Ambiente SMmD , seguida de uma descrio do trabalho de pesquisa que resultou na implementao do applet SyncEvent , embrio do Mdulo de Apresentao e Sincronizao . 
$
O Mdulo de Apresentao e Sincronizao , resultado principal deste trabalho ,  ento descrito , detalhando-se aspectos de sua arquitetura e de sua implementao . 
$
Finalmente , na concluso , as contribuies so discutidas juntamente com suas limitaes e possveis trabalhos futuros , dentre os quais est a integrao do MAS com os outros mdulos do Projeto SMmD . 
$
Orientar o desenvolvimento de aplicaes para a Web  um desafio para pesquisadores da rea de Hipermdia . 
$
O trabalho apresentado nesta dissertao tem como objetivo apoiar a construo de aplicaes que se preocupam com o intercmbio de informaes por meio da utilizao da especificao XML ( Extensible MarkUp Language ). 
$
Apresenta-se xRot , um roteiro para apoiar as etapas de definio , gerao e apresentao de documentos estruturados manipulados por aplicaes para a Internet . 
$
O roteiro inclui um algoritmo para gerao de documentos XML em um ambiente apoiado por servidores de banco de dados e World Wide Web . 
$
Tambm  apresentada a ArqGDE , uma arquitetura que suporta as aplicaes desenvolvidas com o xRot . 
$
Como estudos de caso da utilizao do roteiro , foram desenvolvidas duas aplicaes : AulaML e C2000ML . 
$
Aplicaes de Processamento de Lngua Natural ( PLN ), como revisores ortogrficos , gramaticais e tradutores , geralmente precisam consultar extensos dicionrios contendo , por exemplo , informaes morfossintticas de vrias centenas de milhares de palavras de uma lngua . 
$
Autmatos finitos , largamente utilizados na construo de eficientes analisadores lxicos para compiladores , apresentam-se como timos candidatos para o problema de representao desse tipo de lxico de lngua natural . 
$
Este trabalho investigou os mtodos de codificao de lxicos utilizando autmatos finitos , as tcnicas de minimizao de autmatos determinsticos acclicos e as estruturas de dados necessrias para uma representao compacta , resultando em um sistema computacional eficiente e verstil de representao de grandes lxicos de lngua natural . 
$
Um lxico de mais de 430.000 palavras da lngua portuguesa pode ser convertido em um autmato de menos de 220Kb , em menos de 5 minutos , usando um computador domstico . 
$
A etiquetagem morfossinttica  uma tarefa bsica , bem conhecida e bastante explorada em diversas aplicaes de Processamento de Lnguas Naturais ( PLN ) como anlise sinttica e extrao e recuperao de informaes . 
$
Os etiquetadores para a lngua inglesa atingiram um estado da arte entre 96-99 % de preciso geral . 
$
Diferentemente do ingls , para o portugus do Brasil no foram ainda exploradas todas as tcnicas para a etiquetagem , nem se atingiu a preciso dos melhores etiquetadores para a lngua inglesa . 
$
Com essas motivaes , quatro etiquetadores disponveis na WWW foram treinados - Unigrama ( TreeTagger ), Trigrama ( TreeTagger ), baseado em transformaes ( TBL ) e baseado em mxima entropia ( MXPOST ) -, e um etiquetador simblico foi desenvolvido ( PoSiTagger ). 
$
Todos os etiquetadores adaptados foram treinados com um corpus com cerca de 100.000 palavras formado por textos didticos , jornalsticos e literrios , e etiquetado com o Nilc tagset . 
$
A maior preciso geral obtida foi a do MXPOST - 89,66 %. 
$
Foram tambm implementados quatorze mtodos para a combinao dos etiquetadores , dos quais sete superaram a preciso do MXPOST . 
$
A maior preciso obtida com os mtodos de combinao foi 90,91 %. 
$
A preciso geral sofreu a influncia do tamanho do corpus manualmente etiquetado disponvel para treinamento , do conjunto de etiquetas e dos tipos de texto utilizados . 
$
A construo de ferramentas para a correo automtica de textos tem ganhado destaque , seguindo a evoluo e eficincia dos processadores de textos aos quais so incorporadas . 
$
E , alm das tcnicas simbolistas tradicionais de implementao de tais ferramentas , atravs do uso de regras de produo , surgem aplicaes com tcnicas at ento no usuais na rea de lingstica computacional , como o uso de Redes Neurais Artificiais . 
$
O trabalho proposto tem por objetivo fazer um estudo comparativo do uso das tcnicas conexionista e simbolista na reviso automtica de erros gramaticais da lngua portuguesa . 
$
Usando como estudo de caso as regras gramaticais da crase , tomamos como exemplo de modelo tradicional de implementao o revisor gramatical ReGra , e , de outro lado , implementamos dois modelos de redes neurais ( um modelo backpropagation e um modelo Elman ), para detectar erros de uso da crase , tanto em casos de presena incorreta quanto de ausncia . 
$
A meta deste estudo no  apontar qual mtodo  o mais eficiente em termos gerais , mesmo porque acreditamos que isso no seja possvel . 
$
Queremos , sim , observar o desempenho de ambos os mtodos quanto ao problema determinado , visando assim a uma maior integrao entre eles , aproveitando suas melhores potencialidades . 
$
Atualmente , o ingls  a lngua dominante para a escrita e divulgao de pesquisas cientficas na forma de artigos cientficos . 
$
Porm , existem muitos usurios da lngua inglesa que sofrem interferncia da lngua materna quando escrevem esse gnero de texto em ingls . 
$
Esses usurios se defrontam com problemas nas regras de gramtica e estilo e / ou se sentem incapazes de gerar expresses e oraes padronizadas e composies lingsticas maiores , que so convencionais nesse gnero . 
$
Para amenizar os problemas desses usurios foi desenvolvido um ambiente modular de auxlio e ensino de escrita tcnica chamado AMADEUS ( Amiable Article Development for User Support ). 
$
AMADEUS consiste de vrias ferramentas inter-relacionadas - ferramenta de referncia , ferramenta de suporte , ferramenta de crtica e ferramenta tutorial - e fornece o contexto em que est inserido este trabalho de mestrado . 
$
O objetivo principal deste mestrado  implementar AMADEUS como uma arquitetura de agentes que se comunicam atravs da troca de mensagem com um agente especial que contm um modelo dinmico do usurio interagindo com o ambiente . 
$
Para tanto , introduzimos o conceito de adaptatividade em sistemas computacionais e descrevemos vrios shells para modelar o usurio . 
$
Tambm fornecemos detalhes sobre agentes inteligentes que foram usados para implementar o modelo de usurio para o ambiente AMADEUS . 
$
Este trabalho apresenta uma ferramenta de auxlio  gerao de textos por escritores que usam sistemas de computao . 
$
Trata  se do Verifica , um sistema para verificao e aconselhamento ortogrfico de palavras da lngua portuguesa . 
$
O sistema de verificao ortogrfica encontra  se disponvel para utilizao atravs de uma interface texto e atravs de uma interface grfica . 
$
A interface grfica foi implementada com a utilizao das ferramentas Tcl / Tk , um sistema de programao para desenvolver e utilizar aplicaes com interface grfica . 
$
O sistema Verifica tambm permite correo on line pela web em http://www.dcc.ufmg/verifica. 
$
O sistema testa a ocorrncia das palavras da entrada em um vocabulrio da lngua portuguesa armazenado em um autmato finito determinstico acclico . 
$
Um autmato  uma estrutura de dados eficiente para o armazenamento de lxicos por prover uma maneira compacta de armazenamento de vocabulrio e garantir eficincia de acesso a esse mesmo vocabulrio . 
$
Visto que um verificador ortogrfico tradicional apresenta deficincias , foi estudada uma forma de refinar a anlise ortogrfica com base na anlise da estrutura da frase . 
$
Foi implementado , ento , um algoritmo que atribui classe sinttica s palavras da lngua . 
$
Esse  o primeiro componente de um analisador sinttico para o portugus segundo uma nova abordagem , a abordagem funcional , que  independente de um lxico . 
$
Como resultado pde  se concluir que a nova abordagem  vivel e pode  se partir para a anlise da frase em um contexto mais amplo . 
$
Alm disso , o componente desenvolvido pode ser utilizado para implementao de um analisador sinttico para a lngua portuguesa , que posteriormente poder fazer parte do sistema Verifica . 
$
A utilizao de recursos Hipermdia e tcnicas de Inteligncia Artificial em ambientes de ensino e aprendizado oferece uma melhor apresentao das informaes aos usurios e proporciona melhores resultados , por habilitar o sistema a & quot ; raciocinar & quot ; sobre que ensinamentos apresentar e como apresentar ensinamentos efetivos , estimulando o estudante a aprender . 
$
Assim sendo , prope-se , em um projeto de maior abrangncia , a arquitetura de um ambiente denominado SIATE - Sistema Inteligente de Apoio a Treinamento e Ensino - que integra caractersticas de Sistemas Baseados em Conhecimento , Sistemas Tutores , Raciocnio Baseado em Casos , Hipermdia e Simulao , com o objetivo de enriquecer um ambiente exploratrio de ensino com conhecimento especialista do domnio e de melhorar o aprendizado do estudante . 
$
O presente trabalho , parte integrante do SIATE no domnio de Aquisio de Conhecimento , corresponde ao projeto e desenvolvimento de um sistema Hbrido de Conhecimento , o qual contm o conhecimento especializado do domnio de aplicao e fornece apoio  gerao de roteiros de pginas de um hiperdocumento e  ferramenta de treinamento do SIATE . 
$
Tarefas que envolvem Reconhecimento de Padres vm se tornando mais freqentes em diferentes domnios de aplicao . 
$
A maioria dessas tarefas tem sido eficientemente tratada pela utilizao de Redes Neurais Artificiais . 
$
Entre os modelos de Redes Neurais mais difundidos , destaca-se o modelo Perceptron Multi-Camadas ( Multi-Layer Perceptron ou MLP ). 
$
Entretanto , o desempenho de uma Rede Neural MLP em um determinado problema depende diretamente da topologia adotada , que deve ser determinada no incio do processo de treinamento . 
$
A escolha da topologia de uma Rede Neural no  trivial , normalmente resultando em uma busca exaustiva pela configurao mais apropriada . 
$
Com o objetivo de auxiliar a determinao da topologia de uma Rede Neural , vrios mtodos foram desenvolvidos para a automao desse processo , entre os quais se encontram as Redes Neurais Construtivas . 
$
Essas redes utilizam Algoritmos Construtivos que , a partir de uma rede mnima , inserem gradualmente novos neurnios e conexes durante o treinamento , procurando melhorar o desempenho dessa mesma rede mnima . 
$
Contudo , a avaliao da melhor aplicao de diferentes Algoritmos Construtivos em um mesmo problema depende da homogeneidade do seu ambiente de treinamento . 
$
Este trabalho fornece a definio de um conjunto de classes abstratas para permitir que diferentes algoritmos de treinamento , incluindo Algoritmos Construtivos , sejam criados como componentes com acesso estritamente definido para futura utilizao em diferentes aplicaes . 
$
Com o uso desses componentes em uma nova verso do Simulador para Redes Neurais Artificiais Kipu , teve incio a anlise da eficincia de Redes Neurais Construtivas em tarefas reais de Reconhecimento de Padres . 
$
Esta tese trata do problema da escrita de artigos cientficos em ingls como lngua estrangeira . 
$
Do ponto de vista terico , foram investigados mtodos e tcnicas de duas reas da Inteligncia Artificial - Lingstica Computacional e Raciocnio Baseado em Casos -, em busca de solues para a construo de ferramentas de software que diminussem os problemas de interferncia da lngua materna e de falta de coeso e coerncia nos textos escritos por estudantes da rea de fsica experimental , principalmente . 
$
Do ponto de vista prtico , foram desenvolvidas duas ferramentas de auxlio  escrita . Uma primeira , chamada Ferramenta de Referncia , foi implementada utilizando-se o mtodo de anlise de corpus para a gerao de uma Base de Expresses que contm as colocaes do tipo expresses-padro , comumente encontradas em textos cientficos de artigos e livros de subreas de fsica e informtica . 
$
O acesso s colocaes pode ser feito de trs maneiras : atravs de componentes e subcomponentes da estrutura esquemtica de artigos da rea de pesquisa experimental , atravs de palavras-chave pertencentes a esse gnero , e pelos padres retricos mais comuns que esse gnero utiliza . 
$
Uma ferramenta de aquisio de conhecimento est acoplada  Ferramenta de Referncia , permitindo extensibilidade , fcil personalizao e transporte ( portability ) para novos domnios . 
$
Testes com alunos de ps-graduao em um curso de Escrita Cientfica no IFQSC-USP comprovaram a eficcia da ferramenta , uma vez que seu uso auxiliou na superao do bloqueio inicial em produzir um primeiro rascunho de texto , e forneceu input adequado para a escrita de textos coesos . 
$
Como se observou , tambm , que essa ferramenta s  adequada para usurios com boa recepo da lngua inglesa e alguma experincia em escrita cientfica , uma nova ferramenta foi implementada para uma classe de usurios que tm problemas mais severos quanto  coeso e interferncia da lngua materna . 
$
Ela foi denominada Ferramenta de Suporte , e para sua implementao utilizou-se , alm do mtodo de anlise de corpus , a abordagem baseada em casos para modelar as fases da escrita . 
$
A anlise de corpus nessa segunda ferramenta foi mais detalhada , ficando assim restrita  Seo Introdutria de Artigos Experimentais . 
$
Essa anlise identificou trinta estratgias retricas encontradas em artigos cientficos , geralmente realizadas por trs ou quatro mensagens ( denominao para os tipos diferentes de informaes ) tomadas de um conjunto de quarenta e cinco tipos . 
$
A base de casos da implementao atual da ferramenta conta com cinqenta e quatro instncias de introdues autnticas das revistas Physical Review Letters e Thin Solid Films , um nmero ainda pequeno que deve ser aumentado para que uma avaliao quantitativa do mtodo de busca seja realizada . 
$
Uma ferramenta para auxiliar o engenheiro de conhecimento na aquisio de novos casos e vrios filtros para automatizar o processo de edio dos casos foram implementados , tornando o processo de gerao de novos casos semi-automtico . 
$
Os trabalhos futuros com relao a essa segunda ferramenta devem tratar principalmente do acrscimo de casos na base , da avaliao da preciso e revocao da busca , e de testes com usurios , que , com certeza , contribuiro para o aperfeioamento de ferramentas construdas nessas bases . 
$
Neste trabalho , estudamos um problema de otimizao combinatorial conhecido como Problema da Mochila Compartimentada , que  uma extenso do clssico Problema da Mochila . 
$
O problema consiste em determinar as capacidades adequadas de vrios compartimentos que podem vir a ser alocados em uma mochila e como esses compartimentos devem ser carregados , respeitando as restries de capacidade dos compartimentos e da mochila . 
$
Busca-se maximizar o valor de utilidade total . 
$
O problema  muito pouco estudado na literatura , apesar de surgir naturalmente em aplicaes prticas . 
$
Neste estudo , propomos uma modelagem matemtica no linear para o problema e verificamos algumas heursticas para sua resoluo . 
$
A tendncia atual no projeto de sistemas hipermdia  o desenvolvimento de sistemas que sejam abertos , extensveis e distribudos entre diferentes usurios . 
$
Nos ltimos anos , vrios sistemas hipermdia abertos foram apresentados na literatura . 
$
As tcnicas formais vm se tornando uma ferramenta til para especificao de aplicaes hipermdia ( e conseqentemente de aplicaes em sistemas hipermdia abertos ). 
$
Modelos formais adequados podem oferecer abordagens sistemticas e confiveis para analisar e verificar as propriedades estruturais e dinmicas dessas aplicaes . 
$
Este projeto de mestrado tem como objetivo principal desenvolver um modelo formal para hiperdocumentos ( aplicaes hipermdia ) que sejam apoiados por sistemas hipermdia abertos . 
$
Tal modelo deve satisfazer as caractersticas relacionadas com a & quot ; abertura & quot ; de uma aplicao hipermdia . Caractersticas tais como a distino , em um documento hipermdia , dos aspectos de contedo e estrutura , por um lado , e dos aspectos de armazenamento e tempo de execuo por outro . 
$
Para a construo do modelo , dever ser utilizada uma tcnica formal que atenda aos requisitos necessrios para a modelagem das caractersticas impostas por aplicaes hipermdia abertas . 
$
O aprimoramento de tcnicas e mtodos sistemticos elaborados para apoiar o desenvolvimento de aplicaes trouxe como principal vantagem a produo de softwares com alta qualidade e a custos mais baixos . 
$
De forma similar ao desenvolvimento de softwares comerciais , o desenvolvimento de aplicaes hipermdia tem passado por significativas mudanas e por constantes evolues . 
$
Atualmente , os sistemas de autoria hipermdia oferecem , por exemplo , condies para que uma aplicao seja previamente especificada para , em seguida , ser efetivamente implementada . 
$
No entanto ,  necessrio que eles tenham alguns atributos que proporcionem facilidades em sua utilizao , de forma a motivar seus usurios . 
$
De forma geral , este trabalho se concentra na avaliao da implementao de um conjunto de requisitos desejvel em um ambiente de autoria de aplicaes hipermdia para ensino denominado SASHE ( Sistema de Autoria e Suporte Hipermdia para Ensino ). 
$
Os requisitos dos usurios especficos desse sistema tambm sero considerados na avaliao , que ser realizada de forma experimental e resultar na obteno de dados concretos sobre as condies atuais da implementao do mdulo de autoria do sistema mencionado . 
$
Este trabalho prope uma modelagem lingstica dos itens lexicais do portugus do Brasil , uma modelagem relacional e sua implementao na forma de uma Base de Dados Lexicais . 
$
O recurso de PLN resultante favorece padronizao , centralizao e reutilizao dos dados , facilitando o que  considerado uma das etapas mais difceis no processo de desenvolvimento : a aquisio de conhecimento lingstico necessrio . 
$
Este projeto visa  construo de um prottipo de sumarizador automtico para investigar o planejamento textual conforme a abordagem proposta por Rino ( 1996 ). 
$
A parte principal do trabalho consiste no estudo do modelo de discurso fundamental para a sumarizao automtica e na implementao de estratgias de planejamento , expressas por operadores de plano cuja seleo  dirigida por objetivos comunicativos . 
$
Para complementar o prottipo , ser associado ao planejador textual um realizador lingstico para produzir o texto com base em seu plano estrutural . 
$
O estudo fundamental tambm abrange a averiguao de tcnicas de sumarizao , investigaes na rea de gerao automtica de textos e levantamento de critrios que possam avaliar os resultados obtidos . 
$
Neste trabalho de mestrado foi desenvolvido o projeto de uma mquina paralela dedicada  soluo de sistemas de equaes lineares . 
$
Esse  um problema presente em uma grande variedade de aplicaes cientficas e de engenharia e cuja soluo torna  se uma tarefa computacionalmente intensiva ,  medida que o nmero de incgnitas aumenta . 
$
Implementou  se uma Arquitetura Sistlica , conectada numa topologia em anel , que mapeia mtodos de soluo iterativos . 
$
Essa classe de arquiteturas paralelas apresenta caractersticas de simplicidade , regularidade e modularidade que facilitam implementaes em hardware , sendo muito utilizada em sistemas de computao dedicados  soluo de problemas especficos , os quais possuem como requisitos a grande demanda computacional e a necessidade de respostas em tempo real . 
$
Foram adotadas metodologias e ferramentas avanadas para projeto de hardware que aceleram o ciclo de desenvolvimento e , para a implementao , foram utilizados circuitos reconfigurveis FPGAs ( Field Programmable Gate Arrays ). 
$
Os resultados de desempenho so apresentados e discutidos , indicando que a abordagem e a metodologia adotadas so viveis e eficientes para a soluo desse tipo de problema . 
$
Esta dissertao de mestrado apresenta uma extenso do ASiA ( Ambiente de Simulao Automtico ) para simulao de arquiteturas de computadores denominada Mdulo Arquitetura . 
$
Esse mdulo possibilita que o usurio utilize arquiteturas j definidas ( alterando ou no os seus parmetros ) ou desenvolva o modelo de uma nova arquitetura utilizando ferramentas especficas para simulao de arquitetura de computadores . 
$
Dois exemplos ilustram a utilizao do Mdulo Arquitetura , destacando as vantagens de sua aplicao tanto em ensino como em pesquisa . 
$
Este trabalho apresenta ainda algumas alteraes efetuadas no ASiA para torn-lo mais amigvel e flexvel . 
$
Uma reviso bibliogrfica dos assuntos relacionados ao tema  tambm apresentada . 
$
Os sistemas computacionais distribudos aplicados  computao paralela permitem uma melhor relao custo / benefcio para a computao paralela . 
$
Esses sistemas oferecem a potncia computacional adequada s aplicaes que no necessitam de uma mquina maciamente paralela , porm necessitam de uma potncia computacional maior do que aquela que uma mquina seqencial pode oferecer . 
$
PVM ( Parallel Virtual Machine ) e MPI ( Message Passage Interface ) so exemplos de ambiente de paralelos virtuais amplamente discutidos na literatura . 
$
Tendo em vista a grande utilizao desses ambientes tanto acadmica quanto comercial e industrialmente , torna  se interessante a criao de uma ferramenta que apie o desenvolvimento de programas para esses ambientes . 
$
Poucas so as ferramentas desse tipo que aparecem na literatura ; uma delas , que permite ser estendida para dar suporte a tais ambientes ,  a FAPP ( Ferramenta de Apoio  Programao Paralela ). 
$
Nesse contexto , este trabalho apresenta a modelagem dos ambientes paralelos virtuais segundo a abordagem proposta na definio da FAPP , para que arcabouos de programas PVM e MPI possam ser gerados . 
$
Essa ferramenta permite a utilizao da computao paralela por um maior nmero de usurios , ou seja , auxilia os iniciantes na confeco dos programas e os experientes na manuteno , alm de permitir maior produtividade . 
$
Foram realizados estudos visando  validao e  avaliao da ferramenta . 
$
Os resultados obtidos demonstram que a ferramenta tem comportamento estvel e potencial para ser utilizada livremente em ambientes PVM e MPI . 
$
O MPI  uma tentativa de padronizao para ambientes de programao via troca de mensagens , tendo como objetivo portabilidade e eficincia em qualquer plataforma . 
$
O requisito de alta portabilidade sem perda de eficincia torna o MPI um padro extenso . 
$
Rotinas de comunicao ponto  a  ponto , por exemplo , so estruturadas de vrias maneiras , apresentando diferentes desempenhos . 
$
O objetivo deste trabalho  estudar o desempenho das rotinas de comunicao ponto  a  ponto do MPI em uma rede de computadores pessoais que executa o sistema operacional LINUX , a fim de avaliar objetivamente a relao custo / benefcio de cada uma . 
$
A avaliao  feita pela execuo de benchmarks e de um exemplo de aplicao , executados em trs implementaes de domnio pblico do MPI ( MPICH , LAM e UNIFY ), permitindo a comparao dessas implementaes . 
$
Resultados obtidos com a utilizao do PVM tambm so includos e comparados aos do MPI , visto que o PVM  uma plataforma de programao via troca de mensagens muito difundida na comunidade computacional . 
$
A apresentao clara e concisa dos aspectos fundamentais das diferentes formas de comunicao disponveis em diferentes implementaes do MPI e a avaliao de desempenho efetuada , que  capaz de orientar o usurio final na escolha de uma implementao do MPI , bem como da forma de comunicao mais adequada  sua aplicao , so contribuies importantes desta dissertao . 
$
Esta dissertao de mestrado descreve a implementao de um mdulo de simulao de redes de computadores para o ASiA ( Ambiente de Simulao Automtico ). 
$
Esse mdulo permite ao usurio a simulao de redes j definidas ( com a possibilidade de alterao dos parmetros de entrada ) ou a definio de novas redes pela utilizao dos recursos da barra de ferramentas . 
$
Para aumentar a gama de sistemas que o usurio pode modelar , foram implementadas e includas na barra de ferramentas novas funcionalidades que permitem a modelagem de sistemas mais complexos . 
$
Este trabalho apresenta tambm uma reviso bibliogrfica sobre simulao , redes de computadores e ambientes de simulao . 
$
O desempenho global dos sistemas computacionais  limitado , geralmente , pelo componente de menor desempenho . 
$
Os processadores e a memria principal tm experimentado um aumento de desempenho bem maior que o da memria secundria , como os discos magnticos . 
$
Em 1984 , Johnson introduziu o conceito de fragmentao , em que um dado  gravado em uma matriz de discos , de forma que os seus fragmentos podem ser recuperados em paralelo e , por conseqncia , de forma mais rpida . 
$
O principal problema da fragmentao  a reduo da confiabilidade da matriz , pois a falha de um dos discos torna o dado inacessvel . 
$
Patterson , Gibson e Katz propuseram , em 1988 , cinco formas de armazenar informao redundante na matriz de discos e , dessa forma , aumentar sua confiabilidade . 
$
A essas formas foi dado o nome de RAID - Redundant Arrays of Independent Disks . 
$
Com o passar do tempo , outras formas de armazenamento de redundncia foram criadas , tornando complexa a taxonomia da rea . 
$
Alm disso , alteraes de parmetros na matriz implicam em variaes de desempenho nem sempre fceis de perceber em um primeiro momento . 
$
Com o objetivo de facilitar a compreenso da taxonomia e permitir que sejam feitos experimentos na matriz buscando um melhor desempenho , esta dissertao prope um ambiente de simulao e aprendizado para RAID onde o usurio pode interagir com diversos modelos de RAID ou at criar o seu prprio , para avaliar seu desempenho em vrias situaes , alm de oferecer ao usurio acesso ao conhecimento da rea , agindo como um tutor . 
$
Esta dissertao apresenta , ainda , um prottipo de um simulador de discos magnticos que pode ser utilizado como base para o desenvolvimento de um simulador de RAID para ser utilizado pelo ambiente . 
$
Este trabalho apresenta uma ferramenta de apoio ao desenvolvimento de aplicaes distribudas , baseadas em RPCs , para o ambiente Windows 95 . 
$
Discute , ainda , algumas aplicaes construdas para validar o sistema , as quais seguem o paradigma cliente  servidor . 
$
 feita uma reviso bibliogrfica dos assuntos mais relevantes relacionados ao tema e so apresentados os detalhes de implementao da ferramenta . 
$
Esta foi implementada com tcnicas de orientao a objetos , sendo composta por um Gerador Automtico de Stubs e uma Biblioteca RPC , possibilita tambm a utilizao de um Servio de Binding . 
$
As aplicaes construdas procuram explorar as potencialidades da ferramenta , e so fornecidas tambm orientaes gerais para o desenvolvimento de aplicaes distribudas no ambiente Windows 95 . 
$
Neste trabalho  apresentada uma avaliao de desempenho das plataformas de portabilidade PVM e MPI quando executadas em um sistema distribudo e em uma mquina paralela SP2 . 
$
Essa anlise  feita atravs do desenvolvimento de vrios algoritmos paralelos de ordenao , utilizando  se quatro implementaes : IBM MPI , IBM PVMe ( executadas no SP2 ), MPICH e PVM ( executadas no sistema distribudo ). 
$
Com base na execuo de algoritmos paralelos , apresenta  se uma comparao entre o comportamento dessas plataformas em cada tipo de arquitetura e em cada algoritmo implementado e uma comparao entre os diversos algoritmos de ordenao considerados . 
$
Os resultados obtidos com os algoritmos seqenciais tambm so includos nessa avaliao , permitindo analisar o speedup alcanado com a execuo das aplicaes paralelas implementadas em cada plataforma . 
$
Com os resultados obtidos , foi possvel constatar que realmente , conforme alguns autores citam mas no demonstram , o PVM apresenta melhor desempenho quando executado em sistemas distribudos ( visto que foi projetado especialmente para atuar sobre grupos de computadores autnomos interligados ) e o MPI  mais adequado se implementado em arquiteturas paralelas . 
$
Os sistemas computacionais distribudos aplicados  computao paralela permitem uma melhor relao custo / benefcio para a computao paralela . 
$
Esses sistemas oferecem a potncia computacional adequada s aplicaes que no necessitem de uma mquina maciamente paralela , porm necessitem de uma potncia computacional maior do que a que uma mquina seqencial pode oferecer . 
$
O PVM ( Parallel Virtual Machine )  um exemplo de ambiente de passagem de mensagens , amplamente discutido na literatura , que permite a criao de mquinas paralelas virtuais em estaes de trabalho , normalmente mquinas RISC , com o sistema operacional UNIX . 
$
Nesse contexto , este trabalho descreve detalhadamente a implementao do PVM  W95 ( PVM para Windows95 ), um ambiente de passagem de mensagens que permite a criao de uma mquina paralela virtual , utilizando computadores pessoais conectados por uma rede de comunicao e com o sistema operacional Windows95 , de modo anlogo ao PVM . 
$
Foram realizados estudos preliminares visando  validao e  avaliao do desempenho do PVM  W95 . 
$
Os resultados obtidos demonstram que o ambiente tem comportamento estvel e que as aplicaes paralelas desenvolvidas apresentam um excelente speedup , considerando  se o hardware disponvel . 
$
Os objetivos principais deste trabalho so o desenvolvimento e a avaliao de algoritmos numricos paralelos e sua execuo em mquinas paralelas ( mquinas multiprocessadas , mquinas vetoriais e mquinas paralelas virtuais ). 
$
Os algoritmos desenvolvidos foram executados em diferentes condies tanto em termos de plataformas utilizadas como em termos de tamanho da aplicao considerada . 
$
Os resultados obtidos na implementao dos algoritmos numricos so analisados com base em algumas mtricas ( tempo de execuo e operaes em ponto flutuante ) comuns aos resultados apresentados nos principais benchmarks estudados . 
$
Com os resultados obtidos , so analisados o desempenho das bibliotecas de passagem de mensagem MPI e PVM e o desempenho das arquiteturas consideradas e da implementao dos algoritmos numricos . 
$
Este trabalho investiga a aplicao de critrios de teste para o teste de especificaes do aspecto comportamental de Sistemas Reativos , descritos em Estelle e em Statecharts . 
$
A utilizao de Sistemas Reativos em vrias atividades humanas requer uma maior qualidade tanto do produto como do processo de desenvolvimento , pois falhas nesses sistemas podem ocasionar riscos para vidas humanas e perdas econmicas . 
$
Os critrios de teste propostos nesta tese visam fornecer uma medida de cobertura dos testes , permitindo que a qualidade da atividade de teste possa ser mensurada e avaliada . 
$
Esta tese apresenta contribuies para as trs atividades fundamentais no contexto de teste de software , que so : definio de critrios de teste , desenvolvimento de estudos tericos / empricos e desenvolvimento de ferramentas . 
$
Com relao  definio de critrios de teste ,  proposta a aplicao do Teste de Mutao para Estelle e a aplicao de critrios de Fluxo de Controle para Estelle e Statecharts . 
$
Para o Teste de Mutao , so identificados os tipos de erros em especificaes Estelle , definindo-se os operadores de mutao , as estratgias de teste incrementais e os critrios de mutao alternativa que visam diminuir o custo de aplicao desse critrio . 
$
Para os critrios de Fluxo de Controle , foram definidas duas famlias de critrios : FCCS - Famlia de Critrios de Cobertura para Statecharts e FCCE - Famlia de Critrios de Cobertura para Estelle . 
$
Estudos tericos so realizados visando analisar a complexidade do Teste de Mutao para Estelle e a relao de incluso dos critrios FCCS e FCCE . 
$
Estudos empricos so realizados visando comparar os critrios de teste definidos e analisar a sua aplicao durante a simulao de especificaes Estelle e Statecharts . 
$
Com relao ao desenvolvimento de ferramentas , a famlia de ferramentas Proteum , que apia a aplicao do teste de Mutao , e os ambientes para simulao de especificaes Estelle ( EDT ) e Statecharts ( StatSim ) fornecem uma base essencial para o desenvolvimento das ferramentas . 
$
So apresentadas algumas ponderaes que devem ser consideradas para a definio de ferramentas de apoio  aplicao dos critrios propostos . 
$
Este trabalho apresenta um estudo sobre a viabilidade de utilizao do protocolo conservativo CMB para sincronizao de simulaes distribudas em diferentes plataformas MIMD com memria distribuda , utilizando granulosidade grossa com poucos processos paralelos . 
$
A tcnica utilizada para a realizao das anlises consiste em efetuar coleta de dados na execuo da simulao de um grande nmero de modelos . 
$
Para a simulao desses modelos foi desenvolvida , e  apresentada neste trabalho , a extenso funcional ParSMPL , que implementa o protocolo de sincronizao CMB . 
$
Pode  se subdividir os resultados obtidos com a anlise dos dados das simulaes em enfoques que apresentam contribuies distintas . 
$
O primeiro enfoque avalia como a plataforma adotada e o modelo a ser simulado influenciam no speedup alcanado . 
$
Nesse caso , define  se quando uma aplicao tem tendncia a ser eficiente com o paradigma da simulao distribuda utilizando o protocolo CMB . 
$
O segundo enfoque refere  se  necessidade de o usurio conhecer a melhor forma de utilizar a simulao distribuda . 
$
Com base nas anlises realizadas foi estabelecido um conjunto de diretrizes que visam auxiliar o processo de desenvolvimento de uma simulao distribuda conservativa . 
$
Com a ajuda dessas diretrizes e a disponibilidade da extenso ParSMPL espera  se auxiliar o usurio a desenvolver aplicaes eficientes utilizando o paradigma da simulao distribuda conservativa , sem exigir desse usurio o conhecimento das caractersticas e particularidades do protocolo de sincronizao utilizado . 
$
Este trabalho prope e descreve em detalhes o projeto do AMIGO ( DynAMical FlexIble SchedulinG EnvirOnment ), uma nova ferramenta de software capaz de viabilizar a unio de diferentes algoritmos de escalonamento de uma maneira completamente transparente ao usurio . 
$
O AMIGO  capaz de flexibilizar o escalonamento ( em tempo de execuo da aplicao ) desde a sua configurao at a sua efetiva aplicao . 
$
Alm da flexibilidade dinmica e da transparncia , o AMIGO tambm  modular : o seu projeto est dividido em mdulos que , entre outras vantagens , facilitam sua execuo em diferentes plataformas . 
$
Este trabalho tambm contribui apresentando uma anlise crtica da literatura da rea , apontando divergncias e propondo pontos de convergncia importantes . 
$
Assim , o levantamento bibliogrfico apresentado atua como um material introdutrio precioso para que os pesquisadores iniciantes formem um contexto geral sobre a rea e , desse modo , aprofundem mais rapidamente seus estudos em outros trabalhos mais especficos . 
$
A avaliao de desempenho feita com o AMIGO demonstra que  possvel a obteno de ganhos de desempenho expressivos , com total transparncia para o usurio final . 
$
Unindo  se desempenho , flexibilidade e transparncia , espera  se contribuir para a reduo da lacuna existente entre teoria e prtica na rea de escalonamento de processos . 
$
