José Mauro Volkmer de Castilho

Publication Activity (10 Years)

Years Active: 1980-2002
Publications (10 Years): 0

Publications

Cinthyan Renata Sachs Camerlengo de Barbosa, Davidson Cury, José Mauro Volkmer de Castilho, Celso de Renna e Souza
Defining a Lexicalized Context-Free Grammar for a Subdomain of Portuguese Language. TAG+ (2002)
José Mauro Volkmer de Castilho, R. P. da Rocha, Theo Härder, Joachim Thomas
Global database views in a federation of autonomous databases. J. Braz. Comput. Soc. 6 (2) (1999)
José Mauro Volkmer de Castilho, Mara Abel
Sistema de Informação Total: Gerência de Dados e Conhecimento. RITA 5 (1) (1998)
Júlio Hartmann, Carolina Sturm Trindade, Stanley Loh, José Mauro Volkmer de Castilho
Uma ferramenta baseada em regras heurísticas para gerar especificações diagramáticas de requisitos orientadas a objeto. WER (1998)
José Mauro Volkmer de Castilho, Stanley Loh
Uma Abordagem Baseada em Regras Heurísticas para Construção de Especificações Diagramáticas de Requisitos. RITA 5 (1) (1998)
José Mauro Volkmer de Castilho
A State-Space Approach for Database Redesign. RITA 5 (1) (1998)
Luiz A. M. Palazzo, José Mauro Volkmer de Castilho
Processamento Semântico de Informações Situadas. RITA 5 (1) (1998)
Mara Abel, Eliseo Berni Reategui, José Mauro Volkmer de Castilho, John A. Campbell
Evaluating Case-Based Reasoning in a Geological Domain DEXA (1995)
Nara Martini Bigolin, José Mauro Volkmer de Castilho
Um Estudo sobre Ferramentas de Apoio para o Projeto de Sistemas de Banco de Dados. SBES (1994)
Nina Edelweiss, José Palazzo M. de Oliveira, José Mauro Volkmer de Castilho, Elisa Peressi, Angelo Montanari, Barbara Pernici
T-ORM: Temporal Aspects in Objects and Roles. ORM (1994)
José Mauro Volkmer de Castilho
A State-Space Approach for Database Redesign. ER (1993)
Nina Edelweiss, José Palazzo M. de Oliveira, José Mauro Volkmer de Castilho, Barbara Pernici
Especificação de Requisitos: Utilizando um Modelo Temporal Orientado a Objetos. SBES (1992)
Stanley Loh, José Mauro Volkmer de Castilho
O Uso de uma Linguagem Semi-Formal no Processo de Formalização de Especificações de Software. SBES (1991)
José Mauro Volkmer de Castilho, Marco A. Casanova, Antonio L. Furtado
A Temporal Framework for Database Specifications. VLDB (1982)
Marco A. Casanova, José Mauro Volkmer de Castilho, Antonio Luz Furtado
Properties of Conceptual and External Database Schemas. Formal Description of Programming Concepts (1982)
Paulo A. S. Veloso, José Mauro Volkmer de Castilho, Antonio L. Furtado
Systematic Derivation of Complementary Specifications VLDB (1981)
Antonio L. Furtado, Paulo A. S. Veloso, José Mauro Volkmer de Castilho
Verification and Testing of S-ER Representations. ER (1981)
Antonio L. Furtado, Clesio Saraiva dos Santos, José Mauro Volkmer de Castilho
Dynamic modelling of a simple existence constraint. Inf. Syst. 6 (1) (1981)
Clesio Saraiva dos Santos, Antonio L. Furtado, José Mauro Volkmer de Castilho, Sergio E. R. de Carvalho
Towards Constructive Axiomatic Specifications. Workshop on Data Abstraction, Databases and Conceptual Modelling (1980)