Knowledge-Based Software Architecture: Acquisition, Specification, and Verification

ASIA unversity > 資訊學院 > 生物資訊與醫學工程學系 > 期刊論文 > Item 310904400/4777

請使用永久網址來引用或連結此文件: http://asiair.asia.edu.tw/ir/handle/310904400/4777

題名:	Knowledge-Based Software Architecture: Acquisition, Specification, and Verification
作者:	Jeffrey J. P. Tsai;A. Liu, E. Juan;A. Sahay
日期:	1999-01
上傳時間:	2009-12-02 01:04:09 (UTC+0)
出版者:	Asia University
摘要:	The concept of knowledge-based software architecture has recently emerged as a new way to improve our ability to effectively construct and maintain complex, large-scale software systems. Under this new paradigm, software engineers are able to do evolutionary design of complex systems through architecture specification, design rationale capture, architecture validation and verification, and architecture transformation. This paper surveys some of the important techniques that have been developed to support these activities. In particular, we are interested in knowledge/requirements acquisition and analysis. We survey some tools that use the knowledge-based approach to solve these problems. We also discuss various software architecture styles, architecture description languages (ADLs) and features of ADLs that help build better software systems. We then compare various ADLs based on these features. The efficient methods that were developed for verification, validation and high assurance of architectures are also discussed. Based on our survey results, we give a basis for comparing the various knowledge-based systems and list these comparisons in the form of a table
關聯:	IEEE Transactions on Knowledge and Data Engineering 11(1):187-201
顯示於類別:	[生物資訊與醫學工程學系 ] 期刊論文

文件中的檔案:

檔案	描述	大小	格式	瀏覽次數
		0Kb	Unknown	789	檢視/開啟
310904400-4777.doc		30Kb	Microsoft Word	302	檢視/開啟

在ASIAIR中所有的資料項目都受到原著作權保護.

資料載入中.....