00617naa a2200133 a 450000100080000000500110000800800410001910000240006024500900008426000090017430000160018352001510019977301330035010029912007-09-27       1995    bl uuuu     u00u1 u    #d1 aBARROS, R. S. M. de  aA prototype for the derivation of relational database programs from Z specifications.  c1995  ap. 463-466.  aDescription of the tool. Beckground information. The method. The mapping. DBPL. Hardware and software requirements. Acknow ledgements. References.  tIn: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 9., 1995, Recife. Anais... Recife: Universidade Federal de Pernambuco, 1995.