Information and software technology

• 

  Año 2000, Vol. 42, Número 4

  • Path-based protocol verification approach

    W. C. Liu, C. G. Chung

    págs. 229-244

    

  • Symbolic path-based protocol verification

    W. C. Liu, C. G. Chung

    págs. 245-255

    

  • Implementation and modeling of two-phase locking concurrency control-a performance study

    N. B. Al-Jumah, H. S. Hassanein

    págs. 257-273

    

  • MOOV++: modular object-oriented VDM

    Q. Charatan

    págs. 275-280

    

  • Dynamic partitioning of complex process models

    A. Fuggetta, M. L. Jaccheri

    págs. 281-291