您的位置: 专家智库 > >

琚川徽

作品数:7 被引量:12H指数:2
供职机构:安徽大学计算机科学与技术学院计算智能与信号处理教育部重点实验室更多>>
发文基金:国家自然科学基金国家重点实验室开放基金安徽省自然科学基金更多>>
相关领域:自动化与计算机技术电子电信更多>>

文献类型

  • 5篇期刊文章
  • 1篇学位论文
  • 1篇会议论文

领域

  • 7篇自动化与计算...
  • 1篇电子电信

主题

  • 3篇形式化
  • 3篇形式化描述
  • 2篇形式化描述技...
  • 2篇通信软件
  • 2篇系统开发
  • 2篇I
  • 1篇电信
  • 1篇电信业
  • 1篇电信业务
  • 1篇形式化描述语...
  • 1篇语言
  • 1篇证券
  • 1篇证券交易
  • 1篇软件开发
  • 1篇软件体系结构
  • 1篇软件体系结构...
  • 1篇软件系统
  • 1篇设计方法
  • 1篇声明
  • 1篇体系结构

机构

  • 4篇合肥工业大学
  • 3篇安徽大学

作者

  • 7篇琚川徽
  • 3篇袁兆山
  • 3篇李龙澍
  • 2篇程勇
  • 1篇倪世道

传媒

  • 2篇合肥工业大学...
  • 1篇安庆师范学院...
  • 1篇计算机工程
  • 1篇计算机工程与...
  • 1篇安徽省电机工...

年份

  • 3篇2004
  • 3篇2002
  • 1篇2001
7 条 记 录,以下是 1-7
排序方式:
基于i<'*>和AlbertⅡ的需求建模框架研究
该文提出了一个需求建模框架,该框架中将适合子建模组织需求的i<'*>框架与适合于建模系统需求的AlbertⅡ语言相结合.该文首先详细介绍了i<'*>框架和Albert Ⅱ语言,它们在表达能力、精确性、自然性和重用性等方...
琚川徽
文献传递
基于UCM和SDL的电信业务功能需求建模被引量:2
2002年
电信业务开发实践表明正确获取和建模业务功能需求是成功开发新业务的前提和基础 ,因此文章强调建模用户需求的重要性 ,提出基于 UCM和 SDL 的电信业务功能需求建模方法 ,并详细讨论了整个建模过程 ,该方法对于提高电信业务软件开发成功率、缩短开发周期和减少开发工作量有积极意义。
程勇袁兆山倪世道琚川徽
关键词:电信业务UCMSDL软件开发形式化描述语言
通信软件系统开发中的形式化描述技术被引量:2
2004年
本文介绍了在通信软件系统开发中广泛使用的五种形式化描述技术LOTOS、Z、SDL、ESTEREL和MSCs,及情景表示方法UseCaseMaps(UCM),分析了它们的特点,并对它们进行了深入的研究和评价。
琚川徽李龙澍
关键词:形式化描述
通信软件系统开发的形式化描述技术与评价
本文讨论了形式化描述的评价标准,介绍了在通信软件系统开发中广泛使用的五种形式化描述技术LO-TOS、Z、SDL、ESTEREL和MSCs,及情景表示方法Use Case Maps(UCM),并对它们进行了评价.
琚川徽安徽大学电子工程与信息科学学院袁兆山
关键词:形式化描述
文献传递
需求驱动的软件体系结构设计被引量:8
2002年
利用目标逻辑机制组织软件需求 ,在需求驱动下 ,只考虑体系结构设计方案是否满足相应目标 ,然后使用场景评价体系结构设计方案。研究表明 ,这种设计思想扩大了软件体系结构的选择空间和抽象层次 ,有助于提高软件系统设计质量、可靠性及适应环境变化的能力。
琚川徽程勇袁兆山
关键词:体系结构设计方法软件系统
基于i^*的证券交易系统模型研究与设计
2004年
随着系统复杂性的提高和需求的不断变化,人们越来越认识到建模组织需求的重要性.该文研究了面向目标的需求工程框架--产框架的建模方法,并应用产框架建造了证券交易系统模型.
琚川徽李龙澍
基于AlbertII的Agent设计与实现
2004年
随着软件复杂性的提高和规模的扩大,需求工程的重要性已经被广泛认识。而随着网络的快速发展,计算机的协作工作方式使Agent概念大量应用于需求工程。该文研究了基于AlbertII的Agent设计的实现,并讨论了它与分布式人工智能中Agent的不同。最后将此方法应用在一个仓库管理系统中。
琚川徽李龙澍
关键词:AGENT声明
共1页<1>
聚类工具0