Providing a behavioral and static formal model to elicit the functional software requirement

Tunghai University Institutional Repository > 工學院 > 資訊工程學系所 > 會議論文 > Item 310901/22215

jsp.display-item.identifier=請使用永久網址來引用或連結此文件: http://140.128.103.80:8080/handle/310901/22215

题名:	Providing a behavioral and static formal model to elicit the functional software requirement
作者:	Wang, C.-H., Chu, W.C., Wang, F.-J.
贡献者:	Dept. of Computer Science, Tunghai University,
关键词:	Goal-Oriented definition language;Requirement specification;Software requirement
日期:	2005-08-15
上传时间:	2013-05-15T09:13:10Z (UTC)
出版者:	Las Vegas, NV; United States
摘要:	Information techniques have been changing in the past few years. Facing the highly changeable environment, software development encounters more and more difficulties and challenges because extracting the requirements of products is getting more difficult than before. Since the correctness of product requirements is the key point determining the success or failure of project developments. However, there is no perfect solution currently. Additionally, requirements are often written in a natural language that is inherently ambiguous. One way to avoid the ambiguity is to write the requirement specifically within a particular required specification language [5]. Consequently, requirement specification should use a special descriptive language to comprise several essential parts, namely, the purposes of specification, terms definition, specific constrains, audiences, and communication interfaces, which dominate the development effort. However, these parts have always been ignored in previous studies. In this article, we propose a requirement specification formal model which synthesizes a behavior model from the scenario [1] and operational software model [2] from goal-oriented requirement elaboration [2][3][4] to refer to the IEEE recommended practice for software requirements specifications [5]. The proposed formal model may help developers produce data in proper sequence, establish the basis functional requirement according to the top level goal under inviolate limitation, specify components interaction time slide consider system essential components, and organize the outside communication interfaces of the system referring components interaction scenario. ? 2005 IEEE.
關聯:	Proceedings of the 2005 IEEE International Conference on Information Reuse and Integration, IRI - 2005 2005 , art. no. 1506447 , pp. 44-49
显示于类别:	[資訊工程學系所] 會議論文

文件中的档案:

档案	大小	格式	浏览次数
index.html	0Kb	HTML	212	检视/开启

在THUIR中所有的数据项都受到原著作权保护.

数据加载中.....