Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

José M. V. de Castilho

dblp:13/1417 · also José Mauro Volkmer de Castilho · DBLP profile ↗
← Back
6ranked-venue papers
2as first author
0since 2021 · last 1995
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Databases, data management, data science and information retrieval · 6 · 2 first-authorArtificial intelligence and machine learning · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Databases, data mining, and information retrieval
1 paper
Data models and query languages · 50% Database theory · 50%
Software engineering, system software, and programming languages
1 paper
Requirements engineering and software design · 77% Program verification · 23%

Topics — the 1 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Requirements engineering and software design › specification
specification derivation
0.011981
Systematic Derivation of Complementary Specifications · VLDB 1981
YearPublicationVenuePosition
1995 Evaluating Case-Based Reasoning in a Geological Domain
Mara Abel, Eliseo Reategui, José M. V. de Castilho, John A. Campbell
DEXA3
1993 A State-Space Approach for Database Redesign
José M. V. de Castilho
ER1
1982 A Temporal Framework for Database Specifications
José M. V. de Castilho, Marco A. Casanova, António L. Furtado 0001
VLDB1
1981 Verification and Testing of S-ER Representations
António L. Furtado 0001, Paulo A. S. Veloso, José M. V. de Castilho
ER3
1981 Systematic Derivation of Complementary Specifications
Paulo A. S. Veloso, José M. V. de Castilho, António L. Furtado 0001
VLDB2
1981 Dynamic modelling of a simple existence constraint
António L. Furtado 0001, Clesio Saraiva dos Santos, José M. V. de Castilho
Inf. Syst.3