首页> 外文OA文献 >Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods

【2h】

Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods

机译：规范驱动的设计与埃菲尔铁塔和代理教轻形式方法

页面导航

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

著录项

作者
Richard F. Paige; Jonathan S. Ostroff;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Preface to special issue: lightweight and practical formal methods in the design and analysis of safety-critical systems [J] . AZER BESTAVROS, ASSAF KFOURY Mathematical structures in computer science . 2013,第4期

机译：特殊问题的序言：安全关键系统的设计和分析中的轻量级实用形式方法
2. ForMAAD: A formal method for agent-based application design [J] . Ahmed Hadj-Kacem, Amira Regayeg, Mohamed Jmaiel Web Intelligence and Agent Systems . 2007,第4期

机译：ForMAAD：基于代理的应用程序设计的一种正式方法
3. Towards a methodology for formal design and analysis of agent interaction protocols -- an investigation in electronic commerce [J] . Wei Jun, Cheung Shing-Chi, Wang Xu Wuhan University Journal of Natural Sciences . 2001,第1a2期

机译：寻求用于代理交互协议的正式设计和分析的方法论-电子商务中的一项调查
4. Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods [C] . Richard F. Paige, Jonathan S. Ostroff CologNET/FME Symposium on Teaching Formal Methods(TFM 2004); 20041118-19; Ghent(BE) . 2004

机译：借助Eiffel和Agent进行规范驱动的设计以教授轻量级形式化方法
5. Methods to evaluate lightweight software process assessment methods based on evaluation theory and engineering design principles [D] . Zarour, Mohammad 2009

机译：基于评估理论和工程设计原理的轻量软件过程评估方法评估方法
6. HOLON/CADSE: integrating open software standards and formal methods to generate guideline-based decision support agents. [O] . B. G. Silverman, O. Sokolsky, V. Tannen, 1999

机译：HOLON / CADSE：集成开放软件标准和正式方法以生成基于准则的决策支持代理。
7. Lightweight Formal Methods for ScenarioBased Software Engineering [O] . Yves Bontemps, Patrick Heymans, Pierre-yves Schobbens, 2005

机译：基于场景的软件工程的轻量级形式化方法

Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods

著录项

引文网络

相似文献

相关主题

期刊订阅