Linguagem De Especificacao
Mostrando 1-12 de 188 artigos, teses e dissertações.
-
1. Projeto de uma (psico)patologia do sujeito (I): Redefinição do conceito de psicopatologia à luz da questão do sujeito
Este trabalho propõe as bases teóricas para a elaboração de uma nova definição de Psicopatologia , concebendo-a como o estudo dos impasses mórbidos perturbando, ou mesmo impedindo, a realização de um sujeito singular no interior do laço social. A noção de sujeito aqui em questão é aquela decorrente do pensamento psicanalítico de Freud e Lacan.
Rev. latinoam. psicopatol. fundam.. Publicado em: 17/01/2020
-
2. Modelagem de processos de negócio: efeito do método de notação no nível de ambiguidade
Resumo A proposta deste estudo experimental controlado e aleatorizado foi analisar a especificação de requisitos funcionais. Avaliaram-se os possíveis impactos do método de notação de modelagem de processo no nível de ambiguidade presente na especificação em linguagem natural. As notações foram utilizadas como instrumento para manifestar as nece
Gest. Prod.. Publicado em: 18/03/2019
-
3. Ontoprolog: uma linguagem para especificação de discursos sobre ontologias
RESUMO Este artigo introduz a arquitetura da informação de uma linguagem formal textual para representar e obter deduções a respeito problemas reais com base em ontologias de domínio e ontologias de fundamentação. O arcabouço é desenvolvido com base em Programação em Lógica, e consiste em uma linguagem formal que utiliza o paradigma de metamodela
Perspect. ciênc. inf.. Publicado em: 2017-06
-
4. DESENHO INFANTIL E AQUISIÇÃO DE LINGUAGEM EM CRIANÇAS SURDAS: UM OLHAR HISTÓRICO-CULTURAL
RESUMO Este estudo pretendeu analisar a inter-relação da atividade simbólica de desenhar com o desenvolvimento de linguagem de crianças surdas, usuárias tardias da língua brasileira de sinais, e em fase de aquisição da escrita da Língua Portuguesa como segunda língua. Assumindo a abordagem qualitativa, apoiou-se na perspectiva Histórico-Cultural,
Rev. bras. educ. espec.. Publicado em: 2015-12
-
5. Construção e validação de diagnósticos de enfermagem para pessoas com diabetes na atenção especializada
OBJETIVO Construir enunciados de diagnósticos de enfermagem relacionados à prática de enfermagem para pessoas com diabetes na Atenção Especializada, com base no Banco de Termos da Linguagem de Enfermagem relacionado à diabetes, na Classificação Internacional para a Prática de Enfermagem (CIPE®) e na Teoria das Necessidades Humanas Básicas e valid
Rev. esc. enferm. USP. Publicado em: 2015-02
-
6. Desenvolvimento de uma plataforma de software para a modelagem digital de terrenos baseada em TIN
Superfícies topográficas podem ser representadas com um bom grau de precisão por meio de mapas. No entanto, estes nem sempre são as melhores ferramentas para a compreensão de relevos mais complexos. Nesse sentido, a maior contribuição desse trabalho é a especificação e implementação da arquitetura de uma plataforma de software opensource voltado
Bol. Ciênc. Geod.. Publicado em: 2014-03
-
7. A interacao da consciencia do proprio desvio de fala com as variaveis linguisticas: tracos distintivos e gravidade do desvio fonologico
OBJETIVO: Analisar a possível relação entre a consciência do desvio de fala e alguns aspectos do sistema fonológico, como o número e o tipo de traços distintivos alterados e a gravidade do desvio fonológico, bem como a interação entre a gravidade do desvio e a não especificação de traços distintivos. MÉTODOS: O grupo pesquisado constitui
CoDAS. Publicado em: 2013-10
-
8. Protótipo de sistema de documentação em enfermagem no puerpério
OBJETIVO: Desenvolver protótipo de sistema de documentação em enfermagem no puerpério. MÉTODOS: Planejamento de software utilizou modelo baseado em orientação a objetos, que englobou: compreensão e definição do contexto e dos modos de utilização projeto de arquitetura do sistema, identificação dos principais objetos do sistema, desenvolvimento
Acta paul. enferm.. Publicado em: 2013
-
9. Um modelo conceitual para ambientes inteligentes baseado em interações formais em espaços físicos / A conceptual model for smart environments based on formal interactions in physical spaces
Neste trabalho apresentamos um modelo para ambientes inteligentes baseado em organizações de agentes, onde interações entre entidades são associadas a espaços físicos, pessoas carregam dispositivos e se movimentam entre diferentes espaços físicos e cada espaço físico contém definições de interações (comportamentos definidos por normas) própr
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 22/11/2012
-
10. MDWA : Uma abordagem guiada por modelos para desenvolvimento de software Web
As técnicas de desenvolvimento de software evoluem continuamente com a finalidade de melhorar processos de construção e manutenção de software, além de obter ganhos em tempo, custo e qualidade. O objetivo do MDD é reduzir a distância semântica entre um problema e a especificação de sua solução. Para isso, MDD tem enfoque na modelagem de alto ní
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 13/11/2012
-
11. UMA PROPOSTA DE MODELO DE PROCESSO BASEADO EM UMA ABORDAGEM ÁGIL PARA CONSTRUÇÃO E GESTÃO DE CURSOS EaD NO CONTEXTO DA UNIVERSIDADE ABERTA DO BRASIL / A PROPOSAL OF PROCESS MODEL BASED IN AN AGILE APPROACH TO CONSTRUCTION AND MANAGEMENT OF COURSES IN THE CONTEXT OF OPEN UNIVERSITY OF BRAZIL
Os princípios ágeis podem ser usados apropriadamente no gerenciamento de projetos gerais, inclusive fora do objeto de estudo da informática, e permitem uma rápida adaptação às novas realidades. Neste trabalho, propomos um modelo de processo baseado em uma abordagem ágil para suportar a gestão de cursos de Ensino à Distância (EaD) dentro do context
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 20/06/2012
-
12. Sistema de gerenciamento remoto de temperatura via rede Wireless ZigBee aplicado a aerogeradores de pequeno porte
A proposta deste trabalho foi o desenvolvimento de um protótipo composto por hardware e software de um sistema para o gerenciamento remoto de temperatura aplicado a aerogeradores de pequeno porte. O hardware microcontrolado (PIC16F877A) recebe e condiciona o sinal emitido por sensores de temperatura (termopares), executa um algoritmo e transmite a informaç
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 2012