Verifying scenarios with time Petri-nets

NCU Institutional Repository > 資訊電機學院 > 資訊工程研究所 > 期刊論文 > Item 987654321/32270

jsp.display-item.identifier=請使用永久網址來引用或連結此文件: http://ir.lib.ncu.edu.tw/handle/987654321/32270

题名:	Verifying scenarios with time Petri-nets
作者:	Lee,J;Pan,JI;Kuo,JY
贡献者:	資訊工程研究所
关键词:	REQUIREMENTS;SYSTEMS;DESIGN
日期:	2001
上传时间:	2010-07-06 18:22:48 (UTC+8)
出版者:	中央大學
摘要:	Recently, a substantial amount of research activities has been focused on a user-oriented perspective to the development of software systems. One of the key elements in this perspective is the notion of scenarios: a description of what people do and exper
關聯:	INFORMATION AND SOFTWARE TECHNOLOGY
显示于类别:	[資訊工程研究所] 期刊論文

文件中的档案:

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

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

社群 sharing