External Links

    Journal: Information \& Software Technology

    Volume 43, Issue 1

    1 -- 18Xudong He. PZ nets a formal method integrating Petri nets with Z
    19 -- 39Franck Barbier, Brian Henderson-Sellers. The whole-part relationship in object modelling: a definition in cOlOr
    41 -- 51Chai Seng Pua, M. Howard Williams, David H. Marwick. Data placement in a parallel DBMS with multiple disks
    53 -- 59Bernd Wondergem, Patrick van Bommel, Theo P. van der Weide. Combining boolean logic and linguistic structure
    61 -- 72José Javier Dolado. On the problem of the software cost function
    runs on