Semantica De Aaaes
Mostrando 1-6 de 6 artigos, teses e dissertações.
-
1. ConstruÃÃo e validaÃÃo de escala de avaliaÃÃo de promoÃÃo da saÃde no ambiente hospitalar: concepÃÃes e prÃticas do enfermeiro. / Construction and validation of assessment scale of health promotion in hospitals: concepts and practices of nurses.
A promoÃÃo da saÃde surge como importante modo de reestruturaÃÃo da rede de atenÃÃo à saÃde, inserindo num cuidar do processo saÃde-doenÃa, um olhar integral sobre o indivÃduo. A DeclaraÃÃo de Budapeste sobre PromoÃÃo da SaÃde em Hospitais traz as recomendaÃÃes para a implantaÃÃo dessa estratÃgia, utilizada desde a dÃcada de 90 na Euro
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 27/10/2011
-
2. A framework for the specification and validation of Real Time Systems using Circus Action / A framework for the specification and validation of Real Time Systems using Circus Action
Circus à uma linguagem de especificaÃÃo e programaÃÃo que combina CSP, Z, e construtores do CÃlculo de Refinamento. A semÃntica de Circus està baseada na Unifying Theories of Programming (UTP). Neste trabalho estendemos um subconjunto de Circus com operadores de tempo. A nova linguagem à denominada de Circus Time Action. Propomos um modelo novo do t
Publicado em: 2006
-
3. GeraÃÃo automÃtica de casos de teste CSP orientada por propÃsitos
O processo de desenvolvimento de software està sujeito a inserÃÃo de erros diversos cuja presenÃa compromete a qualidade final dos produtos de software. Teste à uma atividade dinÃmica e bastante custosa dentro das vÃrias empregadas pela Garantia da Qualidade de Software. O objetivo de teste à demonstrar que um comportamento especÃfico (cenÃrio) de
Publicado em: 2006
-
4. Uma linguagem para modelagem de processos baseada em semÃntica de aÃÃes
Modelos de processos de negÃcio sÃo criados para descrever, em uma linguagem de fÃcil acesso, como os processos de uma organizaÃÃo sÃo realizados. Para isso, o processo à visto como uma coleÃÃo de atividades que interagem para a realizaÃÃo do objetivo final do processo. Para facilitar o entendimento e a anÃlise de processos deste tipo, a modelage
Publicado em: 2005
-
5. Brincando de consumir: as figuras de linguagem na publicidade em revistas para crianÃas
Este trabalho descreve o papel dos recursos retÃricos ou figuras de linguagem na construÃÃo de textos publicitÃrios destinados ao pÃblico infantil, considerando tambÃm os recursos lingÃÃsticos polissemia e antonÃmia, responsÃveis pela plurissignificaÃÃo das palavras. Situando-se no campo dos estudos lingÃÃsticos da SemÃntica, da RetÃrica, com
Publicado em: 2004
-
6. Uma biblioteca de componentes semÃnticos para especificaÃÃo de linguagens de programaÃÃo
SemÃntica de aÃÃes, um formalismo para especificaÃÃo de linguagens de programaÃÃo, define um conjunto padrÃo de operadores que descrevem conceitos comuns encontrados em linguagens de programaÃÃo. Estes operadores facilitam a especificaÃÃo de linguagens de programaÃÃo porque eles liberam o projetista de linguagens da manipulaÃÃo de definiÃÃe
Publicado em: 2003