Made available in DSpace on 2014-12-17T15:47:46Z (GMT). No. of bitstreams: 1 KatianeRL.pdf: 489064 bytes, checksum: 41384102e2da87fcb34b32c311dab535 (MD5) Previous issue date: 2004-04-16 / Na computa??o cient?fica ? necess?rio que os dados sejam o mais precisos e exatos poss?vel, por?m a imprecis?o dos dados de entrada desse tipo de computa??o pode estar associada ?s medidas obtidas por equipamentos que fornecem dados truncados ou arredondados, fazendo com que os c?lculos com esses dados produzam resultados imprecisos. Os erros mais comuns durante a computa??o cient?fica s?o: erros de truncamentos, que surgem em dados infinitos e que muitas vezes s?o truncados", ou interrompidos; erros de arredondamento que s?o respons?veis pela imprecis?o de c?lculos em seq??ncias finitas de opera??es aritm?ticas. Diante desse tipo de problema Moore, na d?cada de 60, introduziu a matem?tica intervalar, onde foi definido um tipo de dado que permitiu trabalhar dados cont?nuos,possibilitando, inclusive prever o tamanho m?ximo do erro. A matem?tica intervalar ? uma sa?da para essa quest?o, j? que permite um controle e an?lise de erros de maneira autom?tica. Por?m, as propriedades alg?bricas dos intervalos n?o s?o as mesmas dos n?meros reais, apesar dos n?meros reais serem vistos como intervalos degenerados, e as propriedades alg?bricas dos intervalos degenerados serem exatamente as dos n?meros reais. Partindo disso, e pensando nas t?cnicas de especifica??o alg?brica, precisa-se de uma linguagem capaz de implementar uma no??o auxiliar de equival?ncia introduzida por Santiago [6] que ``simule" as propriedades alg?bricas dos n?meros reais nos intervalos. A linguagem de especifica??o CASL, Common Algebraic Specification Language, [1] ? uma linguagem de especifica??o alg?brica para a descri??o de requisitos funcionais e projetos modulares de software, que vem sendo desenvolvida pelo CoFI, The Common Framework Initiative [2] a partir do ano de 1996. O desenvolvimento de CASL se encontra em andamento e representa um esfor?o conjunto de grandes expoentes da ?rea de especifica??es alg?bricas no sentido de criar um padr?o para a ?rea. A disserta??o proposta apresenta uma especifica??o em CASL do tipo intervalo, munido da aritm?tica de Moore, afim de que ele venha a estender os sistemas que manipulem dados cont?nuos, sendo poss?vel n?o s? o controle e a an?lise dos erros de aproxima??o, como tamb?m a verifica??o alg?brica de propriedades do tipo de sistema aqui mencionado. A especifica??o de intervalos apresentada aqui foi feita apartir das especifica??es dos n?meros racionais proposta por Mossakowaski em 2001 [3] e introduz a no??o de igualdade local proposta por Santiago [6, 5, 4]