基于PAR方法的管理信息系统需求建模研究  

作　　者：李英龙[1] 施炜[2] 

机构地区：[1]湖南科技大学数学与计算科学学院,湖南湘潭411201 [2]浙江大学计算机科学与技术学院,浙江杭州310027

出　　处：《湘潭师范学院学报（自然科学版）》2008年第2期43-45,共3页Journal of Xiangtan Normal University (Natural Science Edition)

基　　金：国家自然科学基金(60273092)

摘　　要：采用PAR方法中严格定义的形式化语言Radl描述MIS(管理信息系统)系统的性质和行为模式,并建立对应的需求数学模型,为构建高质量的软件需求模型进行了有益的探索。

关 键 词：MIS PAR 形式化方法 需求模型 Radl 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]