Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
Using denotational semantics in the validation of the compiler for a mutation-oriented languageAdenilso da Silva Simão José Carlos Maldonado; Roberto da Silva Bigonha; Workshop on Formal Methods (5. 2002 Gramado)Proceedings Porto Alegre : Instituto de Informática da UFRGS, 2002Porto Alegre Instituto de Informática da UFRGS 2002Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1275840 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Memórias da Sociedade Brasileira de ComputaçãoRoberto da Silva Bigonha; Sociedade Brasileira de ComputaçãoPorto Alegre SBC 2014Localização: EACH - Esc. Artes, Ciências e Humanidades (004.072 M533 ) e outros locais(Acessar) |
|
3 |
Material Type: Artigo
|
A tranformational language for mutant descriptionAdenilso da Silva Simão José Carlos Maldonado; Roberto da Silva BigonhaComputer Languages, Systems & Structures Amsterdam : Elsevier v. 35, n. 3, p. 322-339, oct. 2009Amsterdam 2009Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Artigo
|
A tranformational language for mutant descriptionAdenilso da Silva Simão José Carlos Maldonado; Roberto da Silva BigonhaComputer Languages, Systems & Structures Amsterdam : Elsevier v. 35, n. 3, p. 322-339, oct. 2009Amsterdam 2009Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Dissertação de Mestrado
|
Fopa interpretador da linguagem de formato do padeMaria Tereza Goncalves Diniz Roberto da Silva Bigonha1977Localização: IME - Inst. Matemática e Estatística (QA764.T D585f )(Acessar) |
|
6 |
Material Type: Dissertação de Mestrado
|
Processador de gramaticas slr (k)Roberto da Silva Bigonha Luiz Ferrara de Almeida Cunha1975Localização: IME - Inst. Matemática e Estatística (QA764.T B594p )(Acessar) |
|
7 |
Material Type: Livro
|
Anais II Wokshop sobre educação em informática: catálogo de cursos de graduação em computação - 1994Workshop sobre Educação em Informática (2. 1994 Caxambu - MG) R. S Bigonha (Roberto da Silva); Sociedade Brasileira de Computação; Congresso da Sociedade Brasileira de Computacao (14. 1994 Caxambu - MG)Belo Horizonte Ufmg 1994Localização: EPBC - Esc. Politécnica-Bib Central (004 W892e 2. ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
Anais II Workshop sobre Educação em Informática, Caxambu - MG, 01 a 05 de agosto de 1994Workshop sobre Educação em Informática (2. 1994 Caxambu) Roberto da Silva Bigonha; Sociedade Brasileira de Computação; Universidade Federal de Minas GeraisCaxambu SBC 1994Localização: ICMC - Inst. Ciên. Mat. Computação (68-06 WEI 1994 v.2 e.1 )(Acessar) |
|
9 |
Material Type: Livro
|
A trajet oria dos cursos de gradua c ao da area de computa c ao e inform atica 1969-2006Maria Izabel Cavalcanti Cabral; Daltro José Nunes; Roberto da Silva Bigonha; Therezinha Souza da Costa; Flávio Rech Wagner; Jose Palazzo Moreira de OliveiraPorto Alegre, RS SBC 2008?Localização: IME - Inst. Matemática e Estatística (QA714 C117t )(Acessar) |
|
10 |
Material Type: Livro
|
Workshops XIV Simpósio Brasileiro de Engenharia de Software, 4-6 de outubro de 2000, João Pessoa, Paraíba, BrasilSimpósio Brasileiro de Engenharia de Software (14. 2000 João Pessoa) Leila Ribeiro; Fernanda Campos; José Carlos Maldonado; Adriano Augusto de Souza; Damires Yluska de Souza Fernandes; Roberto Bigonha; Workshop de Métodos Formais - WMF 2000 (3. 2000 João Pessoa, Paraíba, Brasil)João Pessoa UFJF, USP-SC, UFRIS, UFMG, CEFET-PB 2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-06 SBES 2000 e.1 )(Acessar) |