首页> 外文OA文献 >Experience of Using a Lightweight Formal Specification Method for a Commercial Embedded System Product Line

【2h】

Experience of Using a Lightweight Formal Specification Method for a Commercial Embedded System Product Line

机译：用于商用嵌入式系统产品线的轻量级形式规范方法的经验

页面导航

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

著录项

作者
Michael Breen;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Experience of using a lightweight formal specification method for a commercial embedded system product line [J] . Michael Breen Requirements Engineering . 2005,第2期

机译：在商业嵌入式系统产品线中使用轻量级形式规范方法的经验
2. Experience with Applying Formal Methods to Protocol Specification and System Architecture [J] . MANI AZIMI, CHING-TSUN CHOU, AKHILESH KUMAR, Formal Methods in System Design . 2003,第2期

机译：将正式方法应用于协议规范和系统架构的经验
3. Formal Methods in Designing Embedded Systems-the SACRES Experience [J] . KLAUS WINKELMANN Formal Methods in System Design . 2001,第1期

机译：设计嵌入式系统的正式方法-SACRES经验
4. Formal methods light: experience applying formal specification in the aerospace and nuclear sectors [C] . Fitzgerald, J.S. . 1997

机译：形式方法轻巧：在航空航天和核领域应用正式规范的经验
5. Automated processor specification and task allocation methods for embedded multicomputer systems. [D] . Beck, James Edward. 1995

机译：嵌入式多计算机系统的自动化处理器规范和任务分配方法。
6. A formal MIM specification and tools for the common exchange of MIM diagrams: an XML-Based format an API and a validation method [O] . Augustin Luna, Evrim I Karac, Margot Sunshine, 2011

机译：正式交换MIM图的正式MIM规范和工具：基于XML的格式API和验证方法
7. Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods [O] . Richard F. Paige, Jonathan S. Ostroff 2004

机译：规范驱动的设计与埃菲尔铁塔和代理教轻形式方法
8. Experiences Using Lightweight Formal Methods for Requirements Modeling [R] . Easterbrook, Steve, Lutz, Robyn, Covington, Rick, 1997

机译：使用轻量级形式化方法进行需求建模的经验

Experience of Using a Lightweight Formal Specification Method for a Commercial Embedded System Product Line

著录项

引文网络

相似文献

相关主题

期刊订阅