Algebraic Specification
Mostrando 1-8 de 8 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. Otimização no planejamento agregado de produção em indústrias de processamento de suco concentrado congelado de laranja
This work aim at developing models using linear programming, goal programming and robust optimization to support decision making in the frozen concentrated orange juice planning process. The proposed model includes orange harvesting plan, which takes into account oranges maturation curves. This fact leads to a model that incorporates a large portion of the s
Publicado em: 2009
-
4. Automated formal specification generation and refinement from requirement documents
The automatic generation of formal specifications from requirements suppresses the complexity of formal models manual creation and reveals the immediate benefits of its usage, such as the possibility to carry out refinements, and property verification, which contributes to project cost reduction and quality improvement. This paper proposes a Controlled Natur
Journal of the Brazilian Computer Society. Publicado em: 2008-03
-
5. Algebraic formulation for modeling hop-by-hop multi-constrained routing algorithms. / Formulação algébrica para a modelagem de algoritmos de roteamento multi-restritivo hop-by-hop.
This work presents a new mathematical structure for paths algebra that allows the convergence analysis of hop-by-hop multi-constrained routing algorithms and, under the traffic engineering and quality of service perspectives in the Generalized Multiprotocol Label Switching (GMPLS) architecture, trustily ensures the aggregation of new routing metrics in a con
Publicado em: 2008
-
6. 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
-
7. 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
-
8. Um metodo de analise e especificacao de sistmas com requisitos de desempenho, custo e confiabilidade, aplicado a rodas de reacao / A method for systems analysis and specification with performance, cost and reliability requirements apllied to the design of a reaction wheel
In the past, space design activities commonly emphasized mainly the system requirements. The available methods focused on functional aspects only. The cost was estimated at the end of the process. Recently, new design methodologies have been proposed. Among them, the design-to-cost (DTC) method was developed to include the cost as a parameter. In this work,
Publicado em: 1999