José M. V. de Castilho

According to our database, José M. V. de Castilho authored at least 19 papers between 1980 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

Defining a Lexicalized Context-Free Grammar for a Subdomain of Portuguese Language.

Cinthyan Renata Sachs Camerlengo de Barbosa, Davidson Cury, José Mauro Volkmer de Castilho, Celso de Renna e Souza

Proceedings of the Sixth International Workshop on Tree Adjoining Grammar and Related Frameworks, 2002

1999

Global database views in a federation of autonomous databases.

José Mauro Volkmer de Castilho, R. P. da Rocha, Theo Härder, Joachim Thomas

J. Braz. Comput. Soc., 1999

1998

Processamento Semântico de Informações Situadas.

Luiz A. M. Palazzo, José Mauro Volkmer de Castilho

RITA, 1998

Uma Abordagem Baseada em Regras Heurísticas para Construção de Especificações Diagramáticas de Requisitos.

José Mauro Volkmer de Castilho, Stanley Loh

RITA, 1998

Sistema de Informação Total: Gerência de Dados e Conhecimento.

José Mauro Volkmer de Castilho, Mara Abel

RITA, 1998

A State-Space Approach for Database Redesign.

José Mauro Volkmer de Castilho

RITA, 1998

Uma ferramenta baseada em regras heurísticas para gerar especificações diagramáticas de requisitos orientadas a objeto.

Júlio Hartmann, Carolina Sturm Trindade, Stanley Loh, José Mauro Volkmer de Castilho

Proceedings of the Anais do WER98, 1998

1995

Evaluating Case-Based Reasoning in a Geological Domain

Mara Abel, Eliseo Berni Reategui, José Mauro Volkmer de Castilho, John A. Campbell

Proceedings of the Database and Expert Systems Applications, 1995

1994

Um Estudo sobre Ferramentas de Apoio para o Projeto de Sistemas de Banco de Dados.

Nara Martini Bigolin, José Mauro Volkmer de Castilho

Proceedings of the 8th Brazilian Symposium on Software Engineering, 1994

T-ORM: Temporal Aspects in Objects and Roles.

Nina Edelweiss, José Palazzo M. de Oliveira, José Mauro Volkmer de Castilho, Elisa Peressi, Angelo Montanari, Barbara Pernici

Proceedings of the First International Conference on Object-Role Modelling, 1994

1992

Apoio Automatizado à Elicitação de Requisitos: Proposta e Protótipo de Ferramenta.

Stanley Loh, Cesar Roberto Poeta, José M. V. de Castilho

Proceedings of the 6th Brazilian Symposium on Software Engineering, 1992

Especificação de Requisitos: Utilizando um Modelo Temporal Orientado a Objetos.

Nina Edelweiss, José Palazzo M. de Oliveira, José Mauro Volkmer de Castilho, Barbara Pernici

Proceedings of the 6th Brazilian Symposium on Software Engineering, 1992

1991

O Uso de uma Linguagem Semi-Formal no Processo de Formalização de Especificações de Software.

Stanley Loh, José Mauro Volkmer de Castilho

Proceedings of the 5th Brazilian Symposium on Software Engineering, 1991

1982

A Temporal Framework for Database Specifications.

José Mauro Volkmer de Castilho, Marco A. Casanova, António L. Furtado

Proceedings of the Eigth International Conference on Very Large Data Bases, 1982

Properties of Conceptual and External Database Schemas.

Marco A. Casanova, José Mauro Volkmer de Castilho, António Luz Furtado

Proceedings of the Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, 1982

1981

Dynamic modelling of a simple existence constraint.

António L. Furtado, Clesio Saraiva dos Santos, José Mauro Volkmer de Castilho

Inf. Syst., 1981

Systematic Derivation of Complementary Specifications

Paulo A. S. Veloso, José Mauro Volkmer de Castilho, António L. Furtado

Proceedings of the Very Large Data Bases, 1981

Verification and Testing of S-ER Representations.

António L. Furtado, Paulo A. S. Veloso, José Mauro Volkmer de Castilho

Proceedings of the Entity-Relationship Approach to Information Modeling and Analysis, 1981

1980

Towards Constructive Axiomatic Specifications.

Clesio Saraiva dos Santos, António L. Furtado, José Mauro Volkmer de Castilho, Sergio E. R. de Carvalho

Proceedings of the Workshop on Data Abstraction, 1980