首页> 外文OA文献 >Integration of Informal and Formal Development of Object-Oriented Safety-Critical Software A Case Study with the KeY System

【2h】

Integration of Informal and Formal Development of Object-Oriented Safety-Critical Software A Case Study with the KeY System

机译：面向对象的安全关键软件的非正式开发与形式开发的集成-以KeY系统为例

代理获取

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

页面导航

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

著录项

作者
Bubel Richard; Hähnle Reiner;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Integration of informal and formal development of object-oriented safety-critical software [J] . Richard Bubel, Reiner Haehnle International Journal on Software Tools for Technology Transfer . 2005,第3期

机译：集成了面向对象的安全关键软件的非正式和正式开发
2. A case study of agile software development for safety-Critical systems projects [J] . Islam Gibrail, Storer Tim Reliability Engineering & System Safety . 2020,第Auga期

机译：安全关键系统项目敏捷软件开发的案例研究
3. SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study [J] . Jose J. Pazos Arias, Jorge Garcia Duque Formal Aspects of Computing . 2001,第1期

机译：SCTL-MUS：分布式系统软件开发的正式方法论。案例研究
4. The KeY System: Integrating Object-Oriented Design and Formal Methods [C] . Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, International Conference on Fundamental Approaches to Software Engineering . 2002

机译：关键系统：集成面向对象的设计和形式方法
5. Integrating informal and formal approaches to object-oriented analysis and design. [D] . Wang, Yile Enoch. 1998

机译：将非正式和正式方法集成到面向对象的分析和设计中。
6. Model Systems for the Study of Integrative Physiology: The Rebirth of Translational Biology: The common marmoset monkey: avenues for exploring the prenatal placental and postnatal mechanisms in developmental programming of pediatric obesity [O] . Laren Riesche, Suzette D. Tardif, Corinna N. Ross, -1

机译：综合生理学研究的模型系统：转化生物学的重生：mar猴：探索小儿肥胖发展计划中产前胎盘和产后机制的途径
7. Proceedings of the 1994 Monterey Workshop, Increasing the Practical Impact of Formal Methods for Computer-Aided Software Development: Evolution Control for Large Software Systems Techniques for Integrating Software Development Environments [O] . Luqi, Brockett Jim 1994

机译：1994年蒙特利研讨会的论文集，增加了计算机辅助软件开发的正式方法的实际影响：大型软件系统的演化控制，用于集成软件开发环境的技术

Integration of Informal and Formal Development of Object-Oriented Safety-Critical Software A Case Study with the KeY System

著录项

引文网络

相似文献

相关主题

期刊订阅