TUTORIAIS

• Tutorial Convidado: Formal Specifications of Programming Languages (abstract)
  
  Egon Boerger (Universidade de Pisa - Itália)
  

  Tutorial I: Técnicas para o Desenvolvimento de Aplicações OO Utilizando a Linguagem Java (abstract)
  

  Marco Mangan, Patrícia Kayser Vargas e Deny Azzolin
  

  Tutorial II: Técnicas e Ferramentas de Teste para a Linguagem Java (abstract)
  

  Juliana Hebert e Ana Maria Price
  

  Tutorial III: Máquinas de Estado Abstratas (abstract)
  

  Fábio Tirelo, Marcelo Maia e Roberto S. Bigonha, Vladimir Di Iorio
  

  Tutorial IV: Sistema de Tipos: Uma Visão Geral (abstract)
  

  Elaine G. Pimentel, Lucília Camarão e Carlos Camarão
  

ARTIGOS SELECIONADOS

A Logic for Synchronous Transitions (abstract)

Vanderlei Moraes Rodrigues e Flávio Rech Wagner


A System for Implementing Primitive Data Types (abstract)


Alan Mitchell Durham e Ralph Johnson


A Type with a View (abstract)


Lucília C.Figueiredo e Carlos Camarão


Avaliação Parcial de Máquinas de Estado Abstratas (abstract)


Vladimir Oliveira de Iorio e Roberto da Silva Bigonha


Especificação Formal do tratamento de Exceções na Linguagem DDL (abstract)


mariela Ines Cortes, A. V. Garcia, A. P. Oliveira e Sérgio E. R. de Carvalho


Integrando Java com Banco de Dados Relacionais (abstract)


Euricelia de Melo Viana e Paulo Borba


Interaction Based Semantics for Mobile Objects (abstract)


Marcelo de Almeida Maia e Roberto da Silva Bigonha


LET: Uma Linguagem para Especificar Transformações (abstract)


Marcelo Fagundes Felix e Edward hermann Haeusler


LUAJAVA - Uma Ferramenta de Scripting de Java (abstract)


Carlos Cassino e Roberto Ierusalimschy


On the Relational Semantics of Interleaving (abstract)


Martin A. Musicante


Processamento Concorrente em Náutilus e Java (abstract)


Rodrigos Quites Reis, Cyrney Carneiro e Paulo Blauth Menezes


Projection of Hyperpro Document (abstract)


Mariza A. S. Bigonha, AbdelAli Ed-Dbali, Roberto S. Bigonha,


Flávia P. Ribeiro, Pierre Deransart, José Siqueira


Shells: The Green Metaobjects (abstract)


José de Oliveira Guimarães


Embedding a Firewall Programming Language into Haskell (abstract)


André Santos


Rules for Verification of Interactive Systems (abstract)


Marcelo de Almeida Maia e Roberto da Silva Bigonha


The Abaco System: Translating Action Semantics Using Object - Oriented Languages (abstract)


Luis Carlos de Sousa Menezes e Hermano Perrelli de Moura


Translating Programs from Chill to C++ Preserving Efficiency and Maintainability (abstract)


Alex de Vasconcellos Garcia e Luiz Carlos Castro Guedes


Um Modelo de Expressão Implícita de Concorrência Aplicado à Programação Orientada a Objetos (abstract)


Rafael B. Ávila e Philippe O. A. Navaux