A KNOWLEDGE REPRESENTATION LANGUAGE FOR REQUIREMENTS ENGINEERING

被引：18

作者：

DUBOIS, E ^{[1
]}

HAGELSTEIN, J ^{[1
]}

LAHOU, E ^{[1
]}

PONSAERT, F ^{[1
]}

RIFAUT, A ^{[1
]}

机构：

[1] AT&T & PHILIPS TELECOMMUN,B-1070 BRUSSELS,BELGIUM

来源：

PROCEEDINGS OF THE IEEE | 1986年 / 74卷 / 10期

关键词：

COMPUTER METATHEORY - Formal Logic - COMPUTER SOFTWARE - Design - DATABASE SYSTEMS;

D O I：

10.1109/PROC.1986.13644

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

Requirements engineering, the phase of software development where the users' needs are investigated, is more and more shifting its concern from the target system towards its environment. A new generation of languages is needed to support the definition of application domain knowledge and the behavior of the universe around the computer. The authors assess the applicability of classical knowledge representation techniques for this purpose. Two candidates emerge: the semantic networks and the techniques based on logic. They are combined in a language called ERAE model, which is illustrated on examples, and compared to other requirements engineering languages.

引用

页码：1431 / 1444

页数：14