External Links

    Journal: Information \& Software Technology

    Volume 37, Issue 8

    403 -- 410Robert L. Probert, Kassem Saleh, Hua-Long Yu. Validation-directed specification of communications systems
    411 -- 434Chieh-ying Kan, Xudong He. Deriving algebraic Petri net specifications from structured analysis - a case study
    435 -- 441Nicos Malevris. A path generation method for testing LCSAJs that restrains infeasible paths
    443 -- 451J. Ayre, F. George Wilkie, John G. Hughes. An approach to the design of object associations
    453 -- 460K. K. Bharadwaj, R. Varshneya. Parallelization of hierarchical censored production rules
    runs on