中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共3条，第1-3条 帮助

已选(0)清除 条数/页：   排序方式：
一种基于工作流的软件需求分析方法 期刊论文
计算机工程与应用, 2002, 卷号: 38.0, 期号: 017, 页码: 106
作者:  张志勇;  田启家;  史忠植
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
工作流  软件需求分析方法  数据流  工作流图  软件工程  
协商支持系统中的模型管理框架 期刊论文
计算机科学, 2002, 卷号: 29.0, 期号: 010, 页码: 107
作者:  王泊;  史佩雯;  田启家;  史忠植
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
Internet  协商支持系统  模型管理框架  电子商务  决策模型  决策支持系统  
Model-theoretical foundation of action and progression 期刊论文
SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1997, 卷号: 40, 期号: 4, 页码: 430-438
作者:  Tian, QJ;  Shi, ZZ
收藏  |  浏览/下载：40/0  |  提交时间：2019/12/10
situation calculus  many-sorted logic  model theory  action  progression