A Logic-Based Approach for the Verification of UML Timed Models

机译：基于逻辑的逻辑方法，用于验证UML定时模型

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Luciano Baresi; Angelo Morzenti; Alfredo Motta; Mohammad Mehdi Pourhashem K.; Matteo Rossi;
展开▼
作者单位

展开▼
年度 2017
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A logic-based approach for the verification of UML timed models [J] . Baresi Luciano, Morzenti Angelo C., Motta Alfredo, ACM transactions on software engineering and methodology . 2017,第2期

机译：基于逻辑的UML定时模型验证方法
2. Model Checking MITL Formulae on Timed Automata: A Logic-based Approach [J] . Menghi Claudio, Bersani Marcello M., Rossi Matteo, ACM transactions on computational logic . 2020,第3期

机译：检查MITL公式的模型在定时自动机上：基于逻辑的方法
3. Validating timed UML models by simulation and verification [J] . Iulian Ober, Susanne Graf, Ileana Ober International Journal on Software Tools for Technology Transfer . 2006,第2期

机译：通过仿真和验证来验证定时UML模型
4. An Approach for Validation, Verification, and Model-based Testing of UML-based Real-time Systems [C] . Mehdi Nobakht, Dragos Truscan International Conference on Software Engineering Advances . 2013

机译：基于UML的实时系统的验证，验证和模型测试方法
5. Framework for automatic verification of UML design models: Application to UML 2.0 interactions. [D] . Lima, Vitor Nunes de. 2010

机译：用于自动验证UML设计模型的框架：应用于UML 2.0交互。
6. A logic-based dynamic modeling approach to explicate the evolution of the central dogma of molecular biology [O] . Mohieddin Jafari, Naser Ansari-Pour, Sadegh Azimzadeh, 2011

机译：基于逻辑的动态建模方法可阐明分子生物学中心教条的演变
7. Validating timed uml models by simulation and verification [O] . Iulian Ober, Susanne Graf, Ileana Ober 2003

机译：通过模拟和验证验证定时uml模型
8. Engineering Approach to Atomic Transaction Verification: Use of a Simple Object211 Model to Achieve Semantics-Based Reasoning at Compile-Time [R] . Spelt, D., Even, S. 1998

机译：原子事务验证的工程方法：使用简单的Object211模型在编译时实现基于语义的推理

A Logic-Based Approach for the Verification of UML Timed Models

著录项

引文网络

相似文献

相关主题

期刊订阅