Desenvolvimento de sistemas TINA utilizando a linguagem de especificação formal SDL com geração automatica de codigo Java
AUTOR(ES)
Rafael Paoliello Guimarães
DATA DE PUBLICAÇÃO
2001
RESUMO
ormado.
ASSUNTO(S)
sdl (linguagem de programação de computador) geradores de codigo processamento eletronico de dados programação orientada a objetos (computação) simulação (computadores) software java (linguagem de programação de computador)
ACESSO AO ARTIGO
http://libdigi.unicamp.br/document/?code=vtls000236391Documentos Relacionados
- Proposta de especificação formal em SDL de uma rede de comunicação automotiva baseada no protocolo FlexRay com geração automatica de codigo java
- Proposta de mobilidade para protocolos H.323 e SIP em telefonia IP, utilizando linguagem de especificação formal SDL orientada a objetos
- Propostas de implementação de qualidade de serviço na arquitetura VPN MPLS, utilizando linguagem de especificação formal SDL orientada a objetos e análise de desempenho utilizando o simulador OPNET
- Partial generation of Java code from Z formal specifications.
- O uso combinado da tecnica de modelagem baseada em objetos OMT com a linguagem de especificação formal SDL como metodologia alternativa para o desenvolvimento do ambiente de software AIDA