位置：成果数据库 > 期刊 > 期刊详情页
构件式系统的建模与验证
  • ISSN号：1673-9418
  • 期刊名称：计算机科学与探索
  • 时间：0
  • 页码：568-571
  • 语言：中文
  • 相关项目：基于规格说明的Web应用测试方法研究
作者： 缪淮扣|曾红卫|
同期刊论文项目
基于规格说明的Web应用测试方法研究
期刊论文 39 会议论文 32
同项目期刊论文
DNA分子计算与DNA计算机的研究进展
Applying SMV for security protocol verification
A formal framework for WS-CDL based on process algebra
UML模型到FSM模型的转换
基于角色的设计模式形式建模及演化
一种用于模型验证的Web应用模型抽取方法
Towards common acquaintance immunization strategy for complex network
Web应用功能交互的建模与测试用例生成
Uppaal到PVS的时间自动机翻译器
基于场景的形式化测试模型生成方法研究
Web 应用自动化测试的研究
基于规格说明的若干逻辑覆盖测试准则
基于场景规约的系统行为建模
构件组合的抽象精化验证
Web应用程序建模和测试用例生成方法
基于ORD和FSM的Web应用的建模与测试
从集合表达式产生测试数据的方法
基于复杂网络面向对象集成测试的研究
Towards Automatic Transformation from UML Model to FSM Model for Web Application
Multiple UIO-based test sequence generation for distributed systems
面向用户会话的Web应用测试用例生成及其优化
Automatic Generating Test Cases for Testing Web applications
Web应用的UML协作图建模与形式化规格说明
基于MDA的模糊本体生成方法
UML状态图测试充分性准则的公理化评估
一种验证Web应用设计的方法
一种基于功能构件的Web应用建模与测试方法
一种基于Object-Z规格说明的集成测试用例生成方法
一种基于Web软件集成测试的建模方法
基于UML的Web应用建模与测试方法
构件式实时系统建模与验证研究
图形转换的构件组装框架唯一性研究
基于接口自动机的Web应用验证
Web应用自动化测试的研究
形式概念分析在Web应用测试用例选取中的应用
反例引导的模型检验工具的设计
移动Ad Hoc网络网格路由协议研究进展
Timed automata for metric interval temporal logic formulae in prototype verification system
期刊信息
  • 《计算机科学与探索》
  • 中国科技核心期刊
  • 主管单位:中国电子科技集团公司
  • 主办单位:华北计算技术研究所
  • 主编：李建中
  • 地址：北京市619信箱26分箱海淀区北四环中路211号
  • 邮编：100083
  • 邮箱：fcst@vip.163.com
  • 电话：010-51616056
  • 国际标准刊号：ISSN：1673-9418
  • 国内统一刊号：ISSN：11-5602/TP
  • 邮发代号:82-560
  • 获奖情况:
  • 工业和信息化部优秀科技期刊,中国计算机学会优秀会刊
  • 国内外数据库收录:
  • 波兰哥白尼索引,美国剑桥科学文摘,中国中国科技核心期刊,中国北大核心期刊（2014版）
  • 被引量:1928