Iteration for applicative languages a proposal von Furtado, Antonio L., Veloso, Paulo A.

Formal techniques for data base design von Furtado, Antonio L.

Formal Techniques for data base design von Furtado, Antonio L., Neuhold, Erich J. 1940-

Formal techniques for data base design von Furtado, Antonio L., Neuhold, Erich J. 1940-

A temporal framework for database specifications von Castilho, José M., Casanova, Marco Antonio 1951-, Furtado, Antonio L.

Verification and testing of simple entity-relationship representations von Furtado, Antonio L., Veloso, Paulo A., Castilho, José M. de

Properties of conceptual and external database schemas von Casanova, Marco Antonio 1951-, Castilho, José M., Furtado, Antonio L.

A view construct for the specification of external schemas von Furtado, Antonio L.

A linear time sort algorithm applicable to data base management von Magalhães, G. C., Furtado, Antonio L.

A canonical form for minimum state finite state automata von Furtado, Antonio L.

Algebraic concepts in data structures von Furtado, Antonio L.

G PL I-extending PL I for graph processing von Santos, C. S., Furtado, Antonio L.

User-oriented query modification in metaclass systems von Aberer, Karl, Klas, Wolfgang, Furtado, Antonio L.

Volltext öffnen

Formal techniques for data base design von Furtado, Antonio L., Neuhold, Erich J. 1940-

Formal techniques for data base design von Furtado, Antonio L., Neuhold, Erich J. 1940-

Inhaltsverzeichnis

Formal data base specification an eclectic perspective von Veloso, Paulo A., Casanova, Marco Antonio 1951-, Furtado, Antonio L.

Expert helpers to data-based information systems von Furtado, Antonio L., Moura, Claudio M. O.

On some view constructs for the specification and design of external schemas von Veloso, Paulo A., Furtado, Antonio L.

Instructional graphics packages to be used with a line printer von Furtado, Antonio L., Furtado, A. A. B., Messeder, F. A.

An informal approach to formal specifications von Furtado, Antonio L., Maibaum, Thomas S.