Buscar

Mostrando ítems 1-10 de 31

Geração de especificação formal de sistemas a partir de documento de requisitos

da Fonseca Limaverde Cabral, Gustavo (Universidade Federal de Pernambuco, 2014)

OZJ : uma ferramenta para geração de óraculos para teste de software a partir de especificação formal

Azevedo, Edson Eustáchio Oliveira de (2007)

Extração automática de modelos CSP a partir de casos de uso

ARAÚJO, Renata Bezerra e Silva de (Universidade Federal de Pernambuco, 2014)

Extensão de um modelo OO formal com aspectos temporais

Zanatta, Melissa Marchiani Palone (2007)

Desenvolvimento de sistemas TINA utilizando a linguagem de especificação formal SDL com geração automatica de codigo Java

Guimarães, Rafael Paoliello ([s.n.], 2001)

Geração mecanizada de abstrações seguras para especificações CSP

DAMASCENO, Adriana Carla (Universidade Federal de Pernambuco, 2014)

Lop : uma abordagem unificada de especificação algébrica, orientação a objetos e processosLop: a unified approach of algebraic specification, object-orientation and processes

Castro Vera, Ausberto Silverio (2010)

Proposta de especificação formal em SDL de uma rede de comunicação automotiva baseada no protocolo FlexRay com geração automatica de codigo javaA proposal for a formal specification using SDL of an invehicle network based on the FlexRay protocol with automatic Java code generation

Rezende, Daniel Cesar Felisberto ([s.n.], 2009)

Aspectos de especificação e implementação da camada de apresentação do padrão map utilizando o ambiente epos

Inazumi, Paulo Cesar Minoru ([s.n.], 1990)

Gerando modelos SCADE a partir de especificações descritas em SCR

ANDRADE, Marcelo Costa Melo de (Universidade Federal de Pernambuco, 2015)

1
2
3
4