軟體需求分析與正規化規格語言之整合研究;Towards an Integration of Informal Methods and Formal Specifications

NCUIR > College of Electrical Engineering & Computer Science > Department of Computer Science and information Engineering > Research Project > Item 987654321/57209

Please use this identifier to cite or link to this item: http://ir.lib.ncu.edu.tw/handle/987654321/57209

Title:	軟體需求分析與正規化規格語言之整合研究;Towards an Integration of Informal Methods and Formal Specifications
Authors:	黃為德;李允中
Contributors:	中央大學資訊工程學系
Keywords:	資訊科學--軟體;需求工程;方法整合;正規規格語言;非正規方法論;Requirement engineering;Method Integration;Formal specification;Informalmethod
Date:	1996-09-01
Issue Date:	2012-10-01 15:16:14 (UTC+8)
Publisher:	行政院國家科學委員會
Abstract:	研究期間 8408 ~ 8507
Relation:	財團法人國家實驗研究院科技政策研究與資訊中心
Appears in Collections:	[Department of Computer Science and information Engineering] Research Project

Files in This Item:

File	Description	Size	Format
index.html		0Kb	HTML	337	View/Open

社群 sharing