Formal Specification
Mostrando 1-12 de 74 artigos, teses e dissertações.
-
1. PROCESS-BASED ENTITIES ARE RELATIONAL STRUCTURES. From Whitehead to Structuralism
Abstract The aim of this work is to argue for the idea that processes and process-based entities are to be modelled as relational structures. Relational structures are genuine structures, namely entities not committed to the existence of basic objects. My argument moves from the analysis of Whitehead’s original insight about process-based entities that, de
Manuscrito. Publicado em: 2021-03
-
2. Modelo de especificação de interfaces tangíveis de mesa TTUI-SM
No cenário de desenvolvimento de interfaces computacionais, os avanços nas pesquisas buscam oferecer novas formas de interação que se aproximam da forma natural com que o homem interage com o mundo real. Dentre as diversas interfaces avançadas, as interfaces tangíveis de mesa (tabletop), promovem a ligação entre objetos físicos e objetos virtuais, p
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 19/09/2012
-
3. Especificação de bibliotecas digitais de objetos complexos / Specification of digital libraries of digital complex objects
Digital libraries are advanced and complex information systems that store, aggregate, and manage correlated information. These systems are used by specific communities to access digital objects of interest. Due to the creation of huge collections of heterogeneous data (in terms of type and format), some of these data are organized in digital complex objects,
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 28/02/2012
-
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. Especificação do micronúcleo FreeRTOS utilizando o método B
Este trabalho apresenta uma contribuição para o esforço internacional do Verified Software Repository através da especificação formal da biblioteca de sistema de tempo real FreeRTOS. Tal especificação foi realizada de forma abstrata utilizando o método B. Para isso, propriedades disponibilizadas por essa biblioteca foram elencadas e selecionadas com
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 16/08/2011
-
6. 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
-
7. Metodologia para implementação de controle supervisório modular local em controladores lógicos programáveis / Methodology for implementation of supervisory control local modular in programmable logic control
Currently, manufacturing automation has assumed an increasingly important role within the industry and the problems of automated control systems have become increasingly complex. Thus, the traditional use of empirical methods heavily base on the experience of the programmer can lead to inappropriate or ineffective solutions. In this case, the Supervisory Con
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 29/07/2011
-
8. Especificação formal de organizações de sistemas multiagentes / Formal specification of multiagent systems organizations
A abordagem de sistemas multiagentes tem sido cada vez mais utilizada para o desenvolvimento de sistemas complexos, o que despertou o interesse das pesquisas na área de engenharia de software orientada a agentes (AOSE) e modelos organizacionais. Neste contexto, esta tese estuda a aplicabilidade de alguns métodos formais tradicionais de engenharia de softwa
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 2011
-
9. Apagamento de vogais pretônicas no POBH - norma culta
This work investigates the variable rule of pretonic vowel deletion in lexical items (without clitics), observed in the corpus of POBH (Brazilian Portuguese of Belo Horizonte). It aims at identifying the social and structural factors related to the incidence of the phenomenon in the speech of the community of Belo Horizonte/MG. The research was developed acc
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 18/03/2010
-
10. Semântica e uma ferramenta para o método SADT
A definição de requisitos tem sido reconhecida como uma das mais críticas e difíceis tarefas em engenharia de software. A necessidade de ferramentas de suporte é essencial. Nos dias de hoje, entre os vários métodos existentes para apoiar a fase de requisitos, destaca-se o SADT (Structured Analysis and Design Techniques) devido a sua capacidade de repr
Publicado em: 2010
-
11. E-dart : um ambiente de especificação e-lotos / E-DART - an E-LOTOS specification environment
O aumento crescente da complexidade dos sistemas computacionais criou a necessidade do uso de técnicas de descrição formal (TDFs) na definição, implementação e manutenção dos sistemas. Contudo, apenas a existência de técnicas de descrição formal não garante o eficiente emprego das mesmas na especificação dos sistemas. É necessária a existê
Publicado em: 2010
-
12. 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