对信息系统的理论和实践的发展起到推动作用的研究是