Ventana software support forum

Hi all, I am doin masters and studying Formal methods.And started working on Z/Eves Z language tool.I am trying to write specifications for a sysmtem that will convert Ralational database schema into conceptual schema and i read a paper by Paul Johannesson published in 1994.In paper it gave very goo...