OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Home
Repositories
Authors
Document types
Statistics
About

Query

Advanced Search Simple Search

Title

Author

Subject

Year

Refine your Search

Repository

37 (40)

Show More Show Less

Author

Geyer, Cláudio Fernando Resin (3)
Neto, João José (3)
Silva, Mariza Bigonha Andrade da (3)
Silva, Roberto Bigonha da (3)
Barbosa, Jorge L. V. (2)
Borelli, Walter da Cunha (2)
Freitas, Aparecido Valdemir de (2)
Morales, Angélica Góis (2)
Notare, Mirela Sechi Moretti Anonni (2)
Nunes, Daltro José (2)

Show More Show Less

Subject

Ciencias Informáticas (23)
Languages (6)
Brasil (5)
Informática (5)
Distributed Systems (4)
Humanidades (4)
SOFTWARE ENGINEERING (4)
Arquitectura (3)
Ecología (3)
Educación Ambiental (3)

Show More Show Less

Year

2012 (27)
2000 (6)
2014 (6)
1998 (4)
2003 (4)
2017 (4)
1997 (3)
2013 (3)
2016 (3)
2019 (3)

Show More Show Less

Document Type

Sin Especificar (40)

Show More Show Less

Language

Portugués (40)

Show More Show Less

Your search

Query: FORMAL LANGUAGES Document Type: Sin Especificar Language: Portugués Repository: 37

Sort by Score Title Year -

1-10 from 40 results (0.013 seconds)

Title: A combinação da técnica de orientação a objetos ooa com a linguagem formal de especificação sdl para o desenvolvimento de um sistema de banco de dados
Author: Nassif, Nadia Adel / Borelli, Walter da Cunha
Language: Portugués
Repository: 37
Subject: Ciencias Informáticas / Linguagem Formal de Especificação SDL / Desenvolvimento de um Sistema de Banco de Dados / SOFTWARE ENGINEERING / base de datos / Formal Languages

Acceder
Title: Utilizando LOTOS na concepção formal de uma aplicação para gerência de redes : Especificação e verificação
Author: Mello, Braulio Adriano de / Camargo, Murilo Silva de / Specialski, Elizabeth Sueli
Language: Portugués
Repository: 37
Subject: Ciencias Informáticas / Simulation / Parallel processing / Distributed / Técnicas de Descrição Formal / LOTOS / Simulação / Verificação / Gerência de Redes / Gateway CMIP-SNMP

Acceder
Title: Evolução do Sistema AIDA Centralizado para um Ambiente Concorrente usando OMT e SDL-92
Author: Macário, Carla Geovana N. / Borelli, Walter da Cunha / Pedroso, Moacir
Language: Portugués
Repository: 37
Subject: Ciencias Informáticas / Informática / specification and description languages / object modeling tecniques / especificaçao formal / simulaçao / Specification techniques / Modeling techniques / Object-oriented languages / Simulation

Acceder
Title: Uso de LOTOS na gerência de segurança de aplicações distribuídas em JAVA
Author: Matos, Alexandre Veloso de / Gonçalves Riso, Bernardo / Notare, Mirela Sechi Moretti Anonni
Language: Portugués
Repository: 37
Subject: Ciencias Informáticas / Informática / LOTOS / java / carregador de applets / Security and Protection / Distributed systems / PROGRAMMING LANGUAGES

Acceder
Title: Um software para auxílio a aprendizagem de linguagens regulares
Author: Raabe, André Luís Alice / Dognini, Marlon José
Language: Portugués
Repository: 37
Subject: Ciencias Informáticas / Software / tecnología / informática / Environments / educación / Languages / Education / Ambientes Interativos de Aprendizagem / Linguagens Regulares / Linguagens Formais / Software Educacional / Interactive Learning Environments / Regular Languages / Educational Software

Acceder
Title: Engenharia de protocolos com o uso de construçoes predefinidas em LOTOS
Author: Riso, Bernardo Gonçalves / Notare, Mirela Sechi Moretti Anonni / Maciél, Cristiano
Language: Portugués
Repository: 37
Subject: Ciencias Informáticas / Tools / Distributed Systems / Network communication / sistemas distribuídos / servicios de comunicação / protocolos de ébmunicação / gerencia de redes / especificaçãó formal / construçãôs predefinidas / ferramientas de projeto / LOTOS / Access / bibLOTOS / communication services / communication protocols / netwbrk management / formal specification / pre-defined construcst / design tools

Acceder
Title: Avaliação das técnicas de compactação aplicáveis a programas em linguagens funcionais em arquiteturas superescalares
Author: Silva, Mariza Bigonha Andrade da / Silva, Roberto Bigonha da / Costa, Patricia Campos
Language: Portugués
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / Languages / Programas em Linguagens Funcionais / Arquiteturas Superescalares / técnicas de compactação

Acceder
Title: Aspectos da implementação de um ambiente multilinguagem de programação
Author: Freitas, Aparecido Valdemir de / Neto, João José
Language: Portugués
Repository: 37
Subject: Ciencias Informáticas / Environments / Multiparadigm languages

Acceder
Title: UML para modelagem de objetos de aprendizado
Author: Canto Filho, Alberto Bastos do / Ribas Semeler, Alexandre / Zednik Rodrigues, Herik / Tarouco, Liane Margarida Rockenbach
Language: Portugués
Repository: 37
Subject: Ciencias Informáticas / objetos de aprendizaje / Languages / Learning

Acceder
Title: Uma proposta de linguagem de programação funcional com características adaptativas
Author: Rocha, Ricardo L. / Neto, João José
Language: Portugués
Repository: 37
Subject: Ciencias Informáticas / Languages / tecnología / Linguagem de Programação / Linguagem de Programação Funcional / Tecnologia Adaptativa / Implementação de Modelo

Acceder

« Previous 1 2 3 4 Next »

SeDiCI Serivicio de Difusión de la Creación Intelectual

PrEBi Proyecto de Enlace de Bibliotecas

UNLP Universidad Nacional de La Plata

2003-2026 ©. Todos los derechos reservados conforme a la ley 11.723