External Links

    Journal: Information \& Software Technology

    Volume 38, Issue 5

    313 -- 322Hossein Saiedian, Michael G. Hinchey. Challenges in the successful transfer of formal methods technology into industrial applications
    323 -- 332Derek Andrews. An exercise in modelling
    333 -- 341Huaiqing Wang. Repositories for co-operative information systems
    343 -- 353Roger Ferguson, Bogdan Korel. Generating test data for distributed software using the chaining approach
    355 -- 374Stan Jarzabek, Tok Wang Ling. Model-based support for business re-engineering
    runs on