检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]军械工程学院装备指挥与管理系,石家庄050003
出 处:《科学技术与工程》2007年第11期2537-2541,共5页Science Technology and Engineering
基 金:国家博士后基金(20060390769)资助
摘 要:以Barker表示法、UML为例,分析了需求分析过程中图示建模技术在可理解性方面的缺陷,指出了这些建模技术偏重于开发人员的倾向。而自然语言(Nature Language)是需求分析中所有可能的读者都能理解的唯一语言,但却存在着二义性的问题。提出规范性自然语言的概念,尝试通过对自然语言逻辑形式和语言形式加以一定的限制来减少其歧义性,增强其准确表达的能力。最后以概念(术语)的定义为例,给出了相应的逻辑规范和语言形式规范。The disadvantage of apprehensibility implicit in graphical modeling technic, such as Barker Notation, UML during requirement analysis is discussed, including the tendency of satisfying the developers instead of users. Nature Language(NL) is only unique language that can be understood by all potential readers while different meanings of it is a large question. A idea of normative nature language is bring forward, seeking to eliminate or decrease NL' s different meanings and enforce its veracity. At last, the normative logic style and normative language expression style of conception definition are given.
分 类 号:TP311.52[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.3