External Links

    Journal: Information \& Software Technology

    Volume 43, Issue 4

    219 -- 229S.-W. Kim, Sung-Jo Kim, Tae-Il Jeong, S. W. Yoo. The optimal retrieval start times of media objects for the multimedia presentation
    231 -- 240Sunil Vadera, Farid Meziane, M.-L. L. Huang. Experience with mural in formalising Dust-Expert
    241 -- 246Hee Beng Kuan Tan, Ni Lar Thein. Measuring post-transaction error handling in database applications
    247 -- 263L. Sun, K. Liu. A method for interactive articulation of information requirements for strategic decision support
    265 -- 274S.-W. Kim, W.-K. Whang. On analyzing errors in a selectivity estimation method based on dynamic maintenance of data distribution
    275 -- 283Colin F. Snook, Rachel Harrison. Practitioners views on the use of formal methods: an industrial survey by structured interview
    runs on