Especificacao Algebrica
Mostrando 1-12 de 12 artigos, teses e dissertações.
-
1. Lop : uma abordagem unificada de especificação algébrica, orientação a objetos e processos / Lop: a unified approach of algebraic specification, object-orientation and processes
A especificação abstrata de tipos de dados, a hoje um dos conceitos mais importantes, aceitos e compreendidos da Ciência da Computação, que permite descrever as principais entidades de um sistema baseado em computador através das propriedades que tais entidades devem satisfazer. Isto a feito usando métodos e linguagens algébricos, onde as propriedade
Publicado em: 2010
-
2. Criação de uma biblioteca padrão para a linguagem HasCASL / Creating a standard library for the HasCASL language
Métodos formais são ferramentas da Engenharia de Software que empregam formalismos matemáticos na construção de programas. Em geral, são compostos por uma ou mais linguagens de especificação e algumas ferramentas auxiliares. A linguagem de especificação algébrica Common Algebraic Specification Language (Casl) foi concebida para ser a linguagem pad
Publicado em: 2010
-
3. Definição formal de tipos abstratos de dados através de um exemplo
Este trabalho contém os conceitos básicos da área da abstração de dados e descrição de várias técnicas para especificação de tipos abstratos, sendo que um enfoque especial dado para a técnica algébrica-axiomática. Um exemplo completo, a Grid, e apresentado desde a sua especificação até a prova da correção de sua implementação com o objet
Publicado em: 2010
-
4. Otimização no planejamento agregado de produção em indústrias de processamento de suco concentrado congelado de laranja
Neste trabalho apresentam-se modelos de programação linear e programação por metas para apoiar decisões no processo de planejamento agregado da produção de suco concentrado congelado de laranja, com múltiplos produtos, estágios e períodos. Além das decisões de produção, mistura e estocagem de sucos, os modelos também incorporam o planejamento
Gestão & Produção. Publicado em: 2010
-
5. A categoria computável dos espaços coerentes gerados por conjuntos básicos com aplicação em análise real / The computable category of the coherence spaces generated by basic sets with an application in real analysis
Neste trabalho desenvolve-se um estudo sobre os Espaços Coerentes Gerados por Conjuntos Básicos, dotados de uma estrutura adicional. Por estrutura adicional entende-se uma estrutura algébrica, de ordem pontual, de medidas, topológica e lógica. Estes espaços, denotados por , constituem uma subcategoria dos Espaços Coerentes, cujos objetos, ordenados pe
Publicado em: 2010
-
6. Autoria adaptativa de hipermidia educacional / Adaptive authoring the educational hypermedia
Este trabalho está inserido no projeto AdaptWeb, voltado para autoria e apresentação adaptativa de disciplinas integrantes de cursos EAD na Web. Esta pesquisa visa colaborar na definição de uma sistemática para autoria adaptativa e na especificação de uma ferramenta para autoria. Está ferramenta possibilita ao autor oferecer um mesmo conteúdo adapt
Publicado em: 2008
-
7. Semantics for an algebraic specification language / Semântica para uma Linguagem de Especificação Algébrica
Prosoft é um grupo de pesquisa do Instituto de Informática da UFRGS, desenvolvido pelo grupo de pesquisa homônimo e coordenado pelo Professor Daltro José Nunes. O objetivo do projeto é desenvolver um ambiente de desenvolvimento de software completo, o Ambiente Prosoft, que é baseado nos conceitos de Modelos, Cálculo Lambda, Tipos Abstratos de Dados e
Publicado em: 2007
-
8. ProTool : uma ferramenta de prototipação de software para o ambiente PROSOFT
Dentre as principais áreas que constituem a Ciência da Computação, uma das que mais influenciam o mundo atual é a Engenharia de Software, envolvida nos aspectos científicos e tecnológicos do desenvolvimento de software. No desenvolvimento de software, a fase de especificação dos requisitos é uma das mais importantes, visto que erros não detectados
Publicado em: 2007
-
9. Solução de equações intervalares
Este trabalho trata do tipo de dado intervalar e da importância da especificação de uma semântica para garantir a correção e a interpretação coerente de resultados gerados, tais como de soluções de equações envolvendo este tipo de dado. Para tanto, realiza um estudo comparativo das semânticas de envoltória intervalar de reais e de número-inter
Publicado em: 2007
-
10. Um Sistema para aprendizagem de demonstrações dedutivas em geometria euclidiana
O objetivo do presente trabalho é realizar a concepção de um sistema para a aprendizagem de demonstrações da Geometria Euclidiana Plana e a implementação de um protótipo deste sistema, denominado LEEG - Learning Environment on Euclidean Geometry, desenvolvido para validar as idéias utilizadas em sua especificação. Nos últimos anos, tem-se observa
Publicado em: 2007
-
11. Synthesis of supervisors for time-varying discrete event systems
O autômato com temporização variável é introduzido nesse artigo para modelar sistemas a eventos discretos. A estrutura desse autômato é bastante similar à estrutura do autômato (max,+), mas apresentando tempos de vida variáveis. Baseado nesse autômato o projeto de supervisores temporizados é obtido por meio da álgebra de dióides, onde as lingua
Sba: Controle & Automação Sociedade Brasileira de Automatica. Publicado em: 2004-12
-
12. A Linguagem de Especificação algébrica CASL e o Tipo de Dados Intervalos
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 e
Publicado em: 2004