首页> 外文OA文献 >ARO/AFOSR/ONR Workshop, Increasing the Practical Impact of Formal Methods for Computer-Aided Software Development: Software Slicing, Merging and Integration

【2h】

ARO/AFOSR/ONR Workshop, Increasing the Practical Impact of Formal Methods for Computer-Aided Software Development: Software Slicing, Merging and Integration

机译：ARO / AFOSR / ONR研讨会，增加形式化方法对计算机辅助软件开发的实际影响：软件切片，合并和集成

页面导航

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

摘要

Includes these papers by NPS authors: "Some Suggestions for Using Formal Methods in Software Development" by Luqi and Joseph Goguen; "A Slicing Method for Semantic Based Merging of Software Prototypes" by David Dampier and Valdis Berzins

机译：包括NPS作者的以下论文：Luqi和Joseph Goguen的“在软件开发中使用形式化方法的一些建议”； David Dampier和Valdis Berzins的“一种基于语义的软件原型合并的切片方法”

著录项

作者
Goguen Joseph; Luqi; Berzins Valdis; Dampier Dave;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Assessing the practical benefits of formal methods for software development [J] . G. Droschl, W. Kuhn, G. Sonneck, Safety science . 2002,第9期

机译：评估正式方法对软件开发的实际好处
2. Integrating formal methods into medical software development: The ASM approach [J] . Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Science of Computer Programming . 2018,第JUNa15期

机译：将形式化方法集成到医疗软件开发中：ASM方法
3. Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System Revisiting Seven Myths of Formal Methods [J] . JAN TRETMANS, KLAAS WIJBRANS, MICHEL CHAUDRON Formal Methods in System Design . 2001,第2期

机译：正式方法的软件工程：风暴潮屏障控制系统的开发，重新审视了正式方法的七个神话
4. Specification slicing in formal methods of software development [C] . Oda, T., Araki, . 1993

机译：正式软件开发方法中的规范切片
5. A computer-aided software engineering toolkit for the integration of CAD/CAM application software in a network environment. [D] . Grieshaber, Michele Marie. 1991

机译：一种计算机辅助软件工程工具包，用于在网络环境中集成CAD / CAM应用程序软件。
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. 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年蒙特利研讨会的论文集，增加了计算机辅助软件开发的正式方法的实际影响：大型软件系统的演化控制，用于集成软件开发环境的技术

ARO/AFOSR/ONR Workshop, Increasing the Practical Impact of Formal Methods for Computer-Aided Software Development: Software Slicing, Merging and Integration

摘要

著录项

相似文献

相关主题

期刊订阅