首页>外文会议>其他>International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn

International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Enriching Model Execution with Feedback to Support Testing of Semantic Conformance between Models and Requirements - Design and Evaluation of Feedback Automation Architecture

机译：通过反馈丰富模型执行，以支持模型和要求之间的语义一致性的测试 - 反馈自动化架构的设计和评估
- 作者：Gayane Sedrakyan;Monique Snoeck
- 会议名称：《International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn》 | 2016年
- Model Driven Development;
- Simulation Feedback;
- Conceptual Modeling;
- Rapid Prototyping;
- Model Testing/Validation;
- Feedback Automation;
2.TASSA: A Testing as a Service Framework for Web Service Compositions

机译：泰莎：作为Web服务组合的服务框架测试
- 作者：Dessislava Petrova-Antonova;Sylvia Ilieva;Denitsa Manova
- 会议名称：《International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn》 | 2016年
- Cloud Computing;
- Service-Oriented Architecture;
- Testing-as-a-Service;
- Web Services;
- Web Service Compositions;
- WS-BPEL;
3.Exploiting Vehicles' Reputation to Mitigate DoS Attack

机译：利用车辆的声誉，以减轻DOS攻击
- 作者：Gianpiero Costantino;Fabio Martinelli;Ilaria Matteucci
- 会议名称：《International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn》 | 2016年
- Security and Safety in Automotive;
- Connected Vehicles;
- Reputation;
- DoS Attack;
4.Monitoring of Learning Path for Business Process Models

机译：商业流程模型的学习路径监测
- 作者：Venkatapathy Subramanian;Antonia Bertolino
- 会议名称：《International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn》 | 2016年
- Business Process;
- Complex Event Processor;
- Monitoring;
- Technology-enhanced Learning;
- XML;
5.Mutating OWLs: Semantic Mutation Testing for Ontologies

机译：突变猫头鹰：本体中的语义突变测试
- 作者：Cesare Bartolini
- 会议名称：《International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn》 | 2016年
- Mutation Testing;
- Ontology;
- OWL;
- Mutant Generation;
6.Testing Multimodal Interactive Applications by Means of the TTT Language

机译：通过TTT语言测试多峰交互式应用程序
- 作者：Le Thanh Long;Nguyen Thanh Binh;Ioannis Parissis
- 会议名称：《International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn》 | 2016年
- Interactive Multimodal Applications;
- Test Modelling Language;
- CARE Properties;
7.Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs

机译：降低检查自适应同步实验的存在和推导的复杂性
- 作者：Natalia Kushik;Nina Yevtushenko;Husnu Yenigun
- 会议名称：《International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn》 | 2016年
- Nondeterministic Finite State Machines;
- Adaptive Sequences;
- Synchronizing Experiments;
8.Exploiting Vehicles' Reputation to Mitigate DoS Attack

机译：利用车辆的声誉，以减轻DOS攻击
- 作者：Gianpiero Costantino;Fabio Martinelli;Ilaria Matteucci
- 会议名称：《International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn》 | 2016年
- Security and Safety in Automotive;
- Connected Vehicles;
- Reputation;
- DoS Attack;
9.Petri Nets Modeling for the Schedulability Analysis of Industrial Real Time Systems

机译：工业实时系统调度分析的Petri网型
- 作者：Alessandro Fantechi;Stefano Pepi
- 会议名称：《International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn》 | 2016年
- Petri Nets;
- Timed Petri Nets;
- Coloured Petri Nets;
- Real Time Systems;
- Scheduling Algorithm;
- Modeling;
- Formal Verification;
- Railway Signalling;
10.Monitoring of Learning Path for Business Process Models

机译：商业流程模型的学习路径监测
- 作者：Venkatapathy Subramanian;Antonia Bertolino
- 会议名称：《International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn》 | 2016年
- Business Process;
- Complex Event Processor;
- Monitoring;
- Technology-enhanced Learning;
- XML;
11.Petri Nets Modeling for the Schedulability Analysis of Industrial Real Time Systems

机译：工业实时系统调度分析的Petri网型
- 作者：Alessandro Fantechi;Stefano Pepi
- 会议名称：《International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn》 | 2016年
- Petri Nets;
- Timed Petri Nets;
- Coloured Petri Nets;
- Real Time Systems;
- Scheduling Algorithm;
- Modeling;
- Formal Verification;
- Railway Signalling;
12.Testing Multimodal Interactive Applications by Means of the TTT Language

机译：通过TTT语言测试多峰交互式应用程序
- 作者：Le Thanh Long;Nguyen Thanh Binh;Ioannis Parissis
- 会议名称：《International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn》 | 2016年
- Interactive Multimodal Applications;
- Test Modelling Language;
- CARE Properties;
13.Mutating OWLs: Semantic Mutation Testing for Ontologies

机译：突变猫头鹰：本体中的语义突变测试
- 作者：Cesare Bartolini
- 会议名称：《International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn》 | 2016年
- Mutation Testing;
- Ontology;
- OWL;
- Mutant Generation;
14.Enriching Model Execution with Feedback to Support Testing of Semantic Conformance between Models and Requirements - Design and Evaluation of Feedback Automation Architecture

机译：通过反馈丰富模型执行，以支持模型和要求之间的语义一致性的测试 - 反馈自动化架构的设计和评估
- 作者：Gayane Sedrakyan;Monique Snoeck
- 会议名称：《International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn》 | 2016年
- Model Driven Development;
- Simulation Feedback;
- Conceptual Modeling;
- Rapid Prototyping;
- Model Testing/Validation;
- Feedback Automation;
15.Fiscal Software Certification - An Italian Experience of Certification Against the Fiscal Legislation

机译：财政软件认证 - 反对财政立法认证的意大利经验
- 作者：Isabella Biscoglio;Giuseppe Lami;Gianluca Trentanni
- 会议名称：《International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn》 | 2016年
- Certification;
- Requirements;
- Legislation;
- Cash Register;
16.TASSA: A Testing as a Service Framework for Web Service Compositions

机译：泰莎：作为Web服务组合的服务框架测试
- 作者：Dessislava Petrova-Antonova;Sylvia Ilieva;Denitsa Manova
- 会议名称：《International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn》 | 2016年
- Cloud Computing;
- Service-Oriented Architecture;
- Testing-as-a-Service;
- Web Services;
- Web Service Compositions;
- WS-BPEL;