Specification Language
Mostrando 1-12 de 121 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. Impact evaluation using Difference-in-Differences
Abstract Purpose This paper aims to present the Difference-in-Differences (DiD) method in an accessible language to a broad research audience from a variety of management-related fields. Design/methodology/approach The paper describes the DiD method, starting with an intuitive explanation, goes through the main assumptions and the regression specification
RAUSP Manag. J.. Publicado em: 13/12/2019
-
3. 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
-
4. SOLIMVA: A methodology for generating model-based test cases from natural language requirements and detecting incompleteness in software specifications / SOLIMVA: Uma metodologia para geração de casos de testes baseados em modelos a partir de requisitos em linguagem natural e detecção de não completude em especificações de software
Em maior ou menor extensão, a Linguagem Natural (LN) é ainda amplamente usada para elaborar especificações de requisitos de software ou outros artefatos criados para a documentação de requisitos. Entretanto, fornecimentos elaborados em LN apresentam ambiguidade, inconsistência e não completude. Esta tese de doutorado apresenta uma metodologia, SOLIMV
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/12/2011
-
5. FORMALIZAÇÃO DA TRANSFORMAÇÃO DE MODELOS UTILIZANDO A LINGUAGEM Z / FORMALISATION OF THE TRANSFORMATION OF MODEL USING THE LANGUAGE Z
In this thesis, an approach based on Set Theory and on the Z Formal Language Specification is presented to formalize the transformations between models in the context of Model Driven Engineering (MDE). The motivation for this research is justified due the ambiguities and inconsistencies present in the models of transformation used to abstract the model trans
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 29/07/2011
-
6. Uso da linguagem de especificação SDL como alternativa ao diagrama de estados proposto pela linguagem UML.
Linguagem UML. Fase do projeto na UML: o diagrama de estados. Linguagem SDL. Comparação entre as duas técnicas apresentadas.
Campinas: Embrapa Informática Agropecuária. Publicado em: 2011
-
7. 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
-
8. LALP: a language for parallelism of loops exploitation in reconfigurable computing / LALP: uma linguagem para exploração do paralelismo de loops em computação reconfigurável
Reconfigurable computing is becoming increasingly important in embedded and high-performance computing systems. It allows performance levels close to the ones obtained with Application-Specific Integrated circuits (ASIC), while still keeping design and implementation flexibility. However, to efficiently program devices, one needs the expertise of hardware de
Publicado em: 2010
-
9. Linguagens de domínio específico e sensores baseados em modelos biológicos de computação
A Domain Specific Language is a specification language dedicated to a particular domain, representation technique, or solution searching method. On the other hand, a general-purpose programming language is a language designed with the goal of emulating Lambda Calculus or Turing Machine. Since general-purpose languages must accept any algorithm that can be ex
Publicado em: 2010
-
10. 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
-
11. Uma linguagem comum entre usuários e analistas para definição de requisitos de sistemas de informação
O presente trabalho tem por objetivo apresentar uma linguagem comum entre Usuários e Analistas para definição de requisitos, a ser utilizada durante as fases de Análise de Requisitos e Especificação, realizadas durante o desenvolvimento de Sistemas de Informação. A motivação para o trabalho surgiu da busca de uma solução para o problema de compat
Publicado em: 2010
-
12. Especificação de um sistema de suporte a implementação de linguagens / Specification of a support system to language implementation
Neste trabalho é descrita a organização de SINSEM, um sistema de processamento automático de especificação SINtático-SEMânticas de linguagens de programação. É colocada a motivação para um tal sistema, em relação ao uso que se daria a ele. O sistema é situado entre sistemas similares, dos quais alguns são brevemente descritos, incluindo-se e
Publicado em: 2010