位置：成果数据库 > 期刊 > 期刊详情页
基于T（3）BDD的动态模型检查
  • 期刊名称：软件学报
  • 时间：0
  • 页码：1999，Vol.10，No.10
  • 语言：中文
  • 相关项目：组合软件理论和设计方法学研究
作者： 倪彬，冯玉琳，黄涛|
同期刊论文项目
组合软件理论和设计方法学研究
期刊论文 44 获奖 6 著作 1
同项目期刊论文
Agent在多Agent系统中计算的意愿理论
Agent计算的能力理论
对象演算I
系统动态行为语义模型及其形式描述
对象演算II
关系型多数据库系统ISGlobal
Trace演算
Communication System for CIMS Application Integration Platform
Dynamic Checking Framework for Java Beans Semantic Constraints
多Agent系统的非终止主动合作计算模型，
Agent计算的理论框架
基于向量时间的因果序通信协议的研究与设计
基于Java的应用服务器的设计与实现
移动计算形式理论分析与研究
扩充角色层次关系模型及其应用
一种基于对象序列图的组件交互协议设计方法
A Formal Languages for Programming with Distributed Resources and Scopes
A Problem-oriented and Rule-Based Component Repository
Conflict Decision Training through Multi-Space Co-operation
基于时序逻辑的移动计算形式理论分析
面向对象软件度量工具的一个灵活的软件结构
移动组件系统模型的分析与描术
对象系统的组合交互计算
一种基于分布对象技术的Agent计算框架
基于微观经济方法的网络资源分配研究
基于XML的B2B电子商务构架
异步接口模式及其应用
一个移动智能体位置管理与可靠通信的算法
事务工作流的建模和分析
嵌套式动态容错协议的研究与设计
一个基于CORBA的复制对象管理框架
移动Web访问高性能缓存验证算法
实时数据集成技术及其应用
消息中间件管理器的设计和实现
基于对象视图模型WebView的Web应用框架
通用网络编程接口包的设计和实现
基于CORBA的容错对象复制算法
面向大型网络多管理对象的组预算算法
Probability Graph based Data Hoarding For Mobile Environment,
基于混合粒度冲突检测的事务工作流调度
A Formal Framework of Multi-Agent System with Requirement/Service Cooperative Style
数据传输工具Data Trans的设计与实现