José Mauro Volkmer de Castilho

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