您的位置： 专家智库 > >

陈韶君

作品数：2 被引量：2H指数：1
供职机构：上海大学计算机工程与科学学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇会议论文

领域

  • 1篇自动化与计算...

主题

  • 1篇元胞
  • 1篇元胞自动机
  • 1篇自动机
  • 1篇网络
  • 1篇网络软件
  • 1篇高可信
  • 1篇WEB

机构

  • 2篇上海大学

作者

  • 2篇高洪皓
  • 2篇王鹏
  • 2篇宫尚
  • 2篇陈韶君

传媒

  • 1篇计算机技术与...

年份

  • 1篇2010
  • 1篇2009
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于元胞自动机的网络软件动态演化过程的研究
本文以网络软件为研究出发点，探讨引入元胞自动机方法模拟其演化过程。首先，介绍了网络软件演化的现实需求，预防和监控演化趋势的急迫性；其次，在服务构件替换和连接件替换上提出一系列算法和规则；最后，根据建立和模拟元胞演化模型，...
高洪皓王鹏宫尚陈韶君
关键词：网络软件元胞自动机
一种面向服务构件的高可信组装技术的研究被引量：2
2010年
服务构件的组装和验证是基于构件的软件工程的核心。为确保服务构件组装的高可靠性,引入了马丁洛夫类型理论来形式化地描述构件接口的功能性和非功能语义信息,使之在进行组装时,可利用其接口所携带的语义并根据推理规则在验证工具Coq中推导其正确性和可信性。其次,提出基于类型理论的组装验证模型并结合实例进行分析。最后,介绍了文中的可视化开发平台的原型系统,其具有界面友好、功能操作简单等特点。通过马丁洛夫类型理论的方法组合的构件系统表现出高可靠性。
高洪皓宫尚王鹏陈韶君
全选 清除 导出
共1页<1>
聚类工具0