首页> 美国政府科技报告 >Penelope: An Ada Verification Environment, Penelope User Guide: Guide to thePenelope Editor. Volume 5B

【24h】

Penelope: An Ada Verification Environment, Penelope User Guide: Guide to thePenelope Editor. Volume 5B

机译：佩内洛普：一个ada验证环境，佩内洛普用户指南：佩内洛普编辑指南。第5B卷

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

We present an introduction to using the Penelope verification environment under Xwindows (v.10). The user is led step by step through the verification of a simple program, including the steps of invoking Penelope, editing a program, and using the commands in Penelope.

著录项

作者
Harper, C. D.;
展开▼
作者单位

展开▼
年度 1991
页码
总页数 102
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Editing; Computer program verification; Ada programming language; Programmingmanuals; Environments; Specifications; Transformers; Windows;

机译：编辑;计算机程序验证; ada编程语言;编程手册;环境;规范;变形金刚; Windows;
入库时间 2022-08-29 11:20:15

相似文献

外文文献
中文文献
专利

1. TH‐AB‐BRA‐07: PENELOPE‐Based GPU‐Accelerated Dose Calculation System Applied to MRI‐Guided Radiation Therapy [J] . Wang Y, Mazur T, Green O, Medical Physics . 2016,第6期

机译：Th-AB-BRA-07：基于Penelope的GPU加速剂量计算系统应用于MRI引导放射治疗
2. Inheritance Act Claims, A Practical Guide, Tracey Angus, Anna Clarke, Paul Hewitt and Penelope Reed [J] . John Goldsworth Trusts & Trustees . 2007,第4期

机译：继承法索赔，实用指南，特蕾西·安格斯，安娜·克拉克，保罗·休伊特和佩内洛普·里德
3. Infrared Spectroscopy in Geochemistry, Exploration Geochemistry, and Remote Sensing.: PENELOPE KING, MICHAEL RAMSEY, AND GREGG SWAYZE, EDITORS. Mineralogical Association of Canada, Short Course Series Volume 33. 2004. 284 Pp. ISBN 0-921294-33-6. Price $40 [J] . Thomas Cudahy Economic Geology . 2005,第8期

机译：地球化学，勘探地球化学和遥感中的红外光谱：PENELOPE KING，MICHAEL RAMSEY和GREGG SWAYZE，编辑。加拿大矿物学协会，短期课程系列第33卷。2004年。284 Pp。书号0-921294-33-6。价钱$ 40
4. Penelope, an Ada verification system [C] . D. Guaspari Proceedings of the conference on Tri-Ada '89 . 1989

机译：Penelope，Ada验证系统
5. Wavefront Shaping via a Learning Algorithm Guided, Adaptive Optics Device for Focal Volume Control [D] . Burton, Harry, III. 2019

机译：波前塑造通过学习算法引导，适用于焦卷卷控制的自适应光学设备
6. Book: Users Guides to the Medical Literature: A Manual for Evidence-Based Clinical Practice · Users Guides to the Medical Literature: Essentials of Evidence-Based Clinical Practice [O] . Jocalyn Clark 2003

机译：图书：医学文献用户指南：循证临床实践手册·医学文献用户指南：循证临床实践要点
7. Penelope: An Ada verification Environment, Larch/Ada Rationale. Volume 2 [O] . David Guaspari, Ian Sutherland 1991

机译：Penelope：ADA验证环境，LARCH / ADA理由。第2卷

Penelope: An Ada Verification Environment, Penelope User Guide: Guide to thePenelope Editor. Volume 5B

摘要

著录项

相似文献

相关主题

期刊订阅