Desenvolvimento de sistemas TINA utilizando a linguagem de especificação formal SDL com geração automatica de codigo Java
Orientador : Walter da Cunha Borelli
| Autor: | |
|---|---|
| Tipo de recurso: | tesis de maestría |
| Estado: | Versión publicada |
| Fecha de publicación: | 2001 |
| País: | Brasil |
| Institución: | Universidade Estadual de Campinas (UNICAMP) |
| Repositorio: | Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
| Idioma: | portugués |
| OAI Identifier: | oai::222750 |
| Acceso en línea: | https://hdl.handle.net/20.500.12733/1591253 |
| Access Level: | acceso abierto |
| Palabra clave: | Processamento eletrônico de dados - Processamento distribuído SDL (Linguagem de programação de computador) Software - Validação Simulação (Computadores) Programação orientada a objetos (Computação) Java (Linguagem de programação de computador) Geradores de código |
| Sumario: | Orientador : Walter da Cunha Borelli |
|---|