位置：成果数据库 > 期刊 > 期刊详情页
UML Statecharts的模型检验方法
  • 期刊名称：《软件学报》，14(4)，2003
  • 时间：0
  • 相关项目：实时系统的软件可靠性测试与验证
作者： 董威、王戟、齐治昌
同期刊论文项目
实时系统的软件可靠性测试与验证
期刊论文 55 会议论文 52 获奖 1 著作 2
同项目期刊论文
并发反应式系统的组合模型检验与
UML实时活动图的形式化分析
基于构件软件的可靠性通用模型
QRDChecker：一个QRDC模型检验工
分布式协作工作流技术研究
角色建模工具RModeler的设计与实现
Bayesian Network Based Softwar
A Quadratic-time DBM-based Suc
Optimal Software Testing in th
Optimal and Adaptive Testing f
Improved Method to Generate Pa
A General Model for Component-
Duration-Constrained Regular E
一个基于UML协作图的集成测试用
PRPF：一个静态验证操作系统内核
面向服务软件体系结构的接口模型
基于场景构件式实时软件设计的一
软件关联缺陷的一种检测方法
基于UML的软件Markov链使用模型
一个面向路径的软件测试辅助工具
基于场景规约的构件式系统设计分
高可信软件工程技术
面向路径的测试数据自动生成方法
基于Assume-Guarantee 搜索复用
LDPChecker：一个实时和混成系统
关于软件可靠性与软件控制论的若
UMLTGF：一个基于灰盒方法从UML
Modelling and Model Checking S
Remove Irrelevant Atomic Formu
Slicing Execution for Model Ch
场景驱动的构件行为抽取
Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking
并发反应式系统的组合模型检验与组合精化检验
基于WCET分析的实时系统轨迹获取技术
基于场景规约的构件式系统设计分析与验证
基于场景构件式实时软件设计的一致性检验
时间自动机可达性分析中的状态空间约减技术综述
基于UML的软件使用模型的研究及工具实现
k-长DNA子序列频数分布研究
UMLTGF：一个基于灰盒方法从UML活动图生成测试用例的工具
基于Assume—Guarantee搜索复用的C程序验证方法
基于LSC的模型检验研究
Software Reliability Experimentation and Control
基于UML的软件可靠性建模
基于AOP的软构件测试技术研究与应用