Journal: Information \& Software Technology

Volume 39, Issue 10

657 -- 668Hock C. Chan, Robert C. Goldstein. User-database interaction at the knowledge level of abstraction
669 -- 677Chia-Chu Chiang. Structured design with mathematical proofs
679 -- 694Harry W. Agius, Marios C. Angelides. Integrating logical video and audio segments with content-related information in instructional multimedia systems
695 -- 705Carol Britton, Sara Jones, Margaret Myers, Mitra Sharif. A survey of current practice in the development of multimedia systems
707 -- 717Derek Partridge, Wojtek J. Krzanowski. Software diversity: practical statistics for its measurement and exploitation
719 -- 726F. T. Chan, T. Y. Chen, T. H. Tse. On the effectiveness of test case allocation schemes in partition testing