Operational Semantics
Mostrando 1-8 de 8 artigos, teses e dissertações.
-
1. Crenças e atitudes sobre epilepsia infantil adaptação transcultural do instrumento the epilepsy beliefs and attitudes scale
The childhood epilepsy is a chronic neurological disorder, most common in childhood, associated with profound psychosocial limitations in daily life in epileptic children. These limitations may be related to the characteristics of the disease as the age of onset, severity and type of epilepsy and the lack of information that is still as one of the factors th
Publicado em: 2010
-
2. 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
-
3. FINALIZADORES E REFERÊNCIAS FRACAS: INTERAGINDO COM O COLETOR DE LIXO / FINALIZERS AND WEAK REFERENCES: INTERFACING WITH THE GARBAGE COLLECTOR
Most mainstream programming languages support finalizers and weak references. In spite of that, these abstractions are still modestly known by programmers in general. Even among language designers there seems to be no common view on how to define their semantics, and language implementations certainly reflect that. In this thesis we explore the concepts of f
Publicado em: 2005
-
4. EXECUÇÃO FLEXÍVEL DE WORKFLOWS / FLEXIBLE WORKFLOW EXECUTION
Workflow management systems usually interpret a workflow definition rigidly, allowing no deviations during execution. However, there are real life situations where users should be allowed to deviate from the prescribed static workflow definition for various reasons, including lack of information about parameter values and unavailability of the required resou
Publicado em: 2005
-
5. Um modelo de hipertexto para apoio ao ensino mediado pela Web / A hypertext model to support Web-mediated teaching
There is an increasing demand for hypermedia applications based on the WWW (World Wide Web), known as Web Information Systems (WIS). These applications present specific requirements in addition to those of traditional software systems, thus fostering the need for investigating suitable models to support their development. In particular, systems for Distance
Publicado em: 2003
-
6. O pensamento semiótico e as três matrizes da linguagem jurídica
The current dissertation consists in focusing the Law as language, discovering its three basic matrixes: the visual matrix (fac/value/norm), the sound matrix (syntax/semantics/pragmatics)and the verbal matrix (juridical discourse: normative discourse/decisive discourse/scientific discourse). This exercise realized through Semiotics (study of signification sy
Publicado em: 2002
-
7. Um modelo ativo de representaÃÃo de conhecimentos orientado a objetos
This work presents and analyses some categories of data models, illustrating the constant evolution of the area and their advantages and restrictions to represent an accurate model of the real-world applications. The proposed model provides a mixed representation framework, integrating concepts originated from the fields of knowledge representation and data
Publicado em: 1994
-
8. The Syntax and Semantics of the PROforma Guideline Modeling Language
PROforma is an executable process modeling language that has been used successfully to build and deploy a range of decision support systems, guidelines, and other clinical applications. It is one of a number of recent proposals for representing clinical protocols and guidelines in a machine-executable format (see
). In this report, the American Medical Informatics Association.