首页> 外文OA文献 >A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models

【2h】

A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models

机译：通过转换UML-RT设计模型来对实时系统进行正式规范的方法学方法

代理获取

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

页面导航

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

著录项

作者
Benghazi Akhlaki K.; Capel Tuñón M.I.; Holgado Terriza J.A.; Mendoza Morales L.E.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models [J] . K. Benghazi Akhlaki, M.I. Capel Tunon, J.A. Holgado Terriza, Science of Computer Programming . 2007,第1期

机译：通过转换UML-RT设计模型对实时系统进行正式规范的方法学方法
2. System modeling and transformational design refinement in ForSyDe [formal system design] [J] . Sander I., Jantsch A. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems . 2004,第1期

机译：ForSyDe中的系统建模和转换设计改进[正规系统设计]
3. The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems [J] . A. Pereira, M. Song, G. Gorgulho Electronic Commerce Research . 2006,第3a4期

机译：电子商务系统规范中的正式CAFE方法和模型检查模式
4. Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models [C] . K. Benghazi Akhlaki, M. I. Capel Tunon, J. A. Holgado Terriza, International Conference on Enterprise Information Systems . 2006

机译：通过UML-RT设计模型转换的正式规范
5. Combining semi-formal and formal notations in software specification: An approach to modelling time-constrained systems. [D] . Dascalu, Sergiu-Mihai. 2001

机译：在软件规范中结合半正式和正式的符号：一种建模时间受限系统的方法。
6. Real-time PCR Machine System Modeling and a Systematic Approach for the Robust Design of a Real-time PCR-on-a-Chip System [O] . Da-Sheng Lee 2010

机译：实时PCR机系统建模和系统可靠的实时芯片上PCR系统的系统方法
7. A Methodological Approach to the Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models [O] . K. Benghazi Akhlaki, M. I Capel Tuñón, J. A Holgado Terriza, 2006

机译：UmL-RT设计模型转换形式化实时系统规范的方法论探讨

A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models

著录项

引文网络

相似文献

相关主题

期刊订阅