121
Assuntos:
“...Software...”
Especificação formal de sistemas de telefonia em estelle: um estudo de caso.
Publicado em 1992
Dissertação
Refinar a Busca
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
85
em Ciência da Computação
15
Mestrado Multiinstitucional em Ciência da Computação
5
Ciência da Computação
4
Externas/Outras Instituições
2
Doutorado Multiinstitucional em Ciência da Computação
1
Mais ...
Multiinstitucional em Ciência da Computação
1
PROGRAMA DE PÓS-GRADUAÇÃO EM ENGENHARIA DE ELETRICIDADE/CCET
1
Programa de Pós-graduação em Ciência da Computação
1
PÓS-GRADUAÇÃO EM CIÊNCIA POLÍTICA
1
Pós- graduação em Ciência da Computação - PGCOMP
1
Ver todos ...
menos ...
FREIRE, Victor da Cunha Luna
2
OLIVEIRA, Elthon Allex da Silva
2
OURIQUES, João Felipe Silva
2
PERKUSICH, Mirko Barbosa
2
AGUIAR, Glaucimar da Silva
1
ALBUQUERQUE, Danyllo Wagner
1
Mais ...
ALVES, Gabriella Mayara Tavares
1
AMARAL, Vítor de Souza
1
ANDRADE, André Felipe Mendonça
1
ANDRADE, Rossana Maria de Castro
1
ARAÚJO, Eliane Cristina de
1
ASSIS, Afrânio Mangueira Lima de
1
Alves, Nicolli Souza Rios
1
Amorim, Luiz Augusto Matos de
1
Andrade, Hugo Sica de
1
BARBOSA, Guilherme Mauro Germoglio
1
BARBOSA, Matheus de Oliveira
1
BARBOSA, Pedro Yóssis Silva
1
BARRETTO, Marcos Xavier de Almeida
1
BARROS, Zeus Cunha
1
BATISTA, Othon Marcelo Nunes
1
Borges, Katia Cristina Aparecida Damaceno
1
CABRAL, Lucas Nascimento
1
CARTAXO, Emanuela Gadelha
1
CAVALCANTE, Isabelly Santos
1
CERQUEIRA, Thaciana Guimarães de Oliveira
1
CLEMENTINO, Tiago Lucas Pereira
1
COELHO, Flávia Estélia Silva
1
COSTA NETO, Alberto
1
COSTA, Antonio Alexandre Moura
1
Ver todos ...
menos ...
ALMEIDA, Hyggo Oliveira de.
5
ANDRADE, Wilkerson de Lucena.
5
Almeida, Eduardo Santana de
5
GUERRERO, Dalton Dario Serey.
5
MACHADO, Patrícia Duarte de Lima.
5
RAMALHO, Franklin de Souza.
5
Mais ...
SAUVÉ, Jacques Philippe.
5
BARROS, Marcelo Alves de.
4
COSTA, Evandro de Barros.
4
FIGUEIREDO, Jorge Cesar Abrantes de.
4
FIGUEIREDO, Jorge César Abrantes de.
4
MOURA, José Antão Beltrão.
4
Machado, Ivan do Carmo
4
Mendonça Neto, Manoel Gomes de
4
PERKUSICH, Angelo.
4
CABRAL, Maria Izabel Cavalcanti.
3
Chavez, Christina von Flach Garcia
3
GHEYI, Rohit.
3
LOPES, Raquel Vigolvino.
3
MASSONI, Tiago Lima.
3
Bittencourt, Roberto Almeida
2
GARCIA, Francilene Procópio.
2
LULA JÚNIOR, Bernardo.
2
MACHADO, Patricia Duarte de Lima.
2
Maciel, Rita Suzana Pitangueira
2
PERKUSICH, Ângelo.
2
Souza, Sérgio Ricardo de
2
ALMEIDA, Hyggo.
1
ALVES, Everton Leandro Galdino.
1
ANDRADE, Nazareno.
1
Ver todos ...
menos ...
Engenharia de Software
47
Software Engineering
38
Engenharia de software
11
Software
7
Software engineering
7
Ingeniería de software
6
Mais ...
Petri Nets
5
Redes de Petri
5
Arquitetura de Software
4
Formal Methods
4
Génie logiciel
4
Métodos Formais
4
Qualidade de Software
4
Software Architecture
4
Software Testing
4
Teste de Software
4
Componentes
3
Computer Network
3
Empirical Software Engineering
3
Evolução de Software
3
Framework
3
Gestão do Conhecimento
3
High Level Petri Nets
3
Knowledge Management
3
Model-Based Testing
3
Redes Bayesianas
3
Redes de Petri de Alto Nível
3
Software Maintenance
3
Software Quality
3
Análise Estática
2
Ver todos ...
menos ...