位置：成果数据库 > 会议 > 会议详情页
Jasmine: A Tool for Model-Driven Runtime Verification with UML Behavioral Models
  • 所属机构名称：南京大学
  • 会议名称：11th IEEE High Assurance Systems Engineering Symposium
  • 成果类型：会议
  • 会场：Nanjing, PEOPLES R CHINA
  • 相关项目：基于Aspect的软件非功能性规约建模、测试和验证研究
作者： Chen, Xin|Zhou, Zhou|Zhao, Jianhua|Cui, Zhanqi|Wang, Linzhang|
同会议论文项目
基于Aspect的软件非功能性规约建模、测试和验证研究
期刊论文 7 会议论文 7
同项目会议论文
A Threat Model Driven Approach for Security Testing
UML State Machine Diagram Driven Runtime Verification of Java Programs for Message Interaction Consi
Emergency Response Framework for Aviation XML Services on MANET
UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency
Modeling and Integrating of Aspects with UML Activity Diagrams
Computational Error Handling as Aspects: A Case Study