PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Matthews B., Locuratolo E. Translating structured database schemas into abstract machines. In: IWFM'98 2nd Irish Workshop in Formal Methods (University College, Cork Ireland, 2-3 July 1998). Proceedings, pp. 1 - 15. 1998.
 
 
Abstract
(English)
No abstract available
Subject Database Design
Conceptual modelling
Formal Methods
F.4 Mathematical logic
H.2.1 Information Systems. Logical design
D.2 Software engineering


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional