Ki Jung Hong, Tag Gon Kim DEVSpecL: DEVS specification language for modeling, simulation and analysis of discrete event systems. [Citation Graph (0, 0)][DBLP] Information & Software Technology, 2006, v:48, n:4, pp:221-234 [Journal]
Teng Lv, Ping Yan Mapping DTDs to relational schemas with semantic constraints. [Citation Graph (0, 0)][DBLP] Information & Software Technology, 2006, v:48, n:4, pp:245-252 [Journal]
Amel Mammar, Régine Laleau From a B formal specification to an executable code: application to the relational database domain. [Citation Graph (0, 0)][DBLP] Information & Software Technology, 2006, v:48, n:4, pp:253-279 [Journal]