首页> 外文学位 >Formalization and refinement of a formal approach to eclectic software development

【24h】

Formalization and refinement of a formal approach to eclectic software development

机译：形式化和改进正式的折衷软件开发方法

获取原文

获取原文并翻译 | 示例

页面导航

著录项
相似文献
相关主题

著录项

作者
Lee, Mingu;
展开▼
作者单位

The George Washington University;

展开▼
授予单位 The George Washington University;
学科
学位 Ph.D.
年度 2010
页码 172 p.
总页数 172
原文格式 PDF
正文语种 eng
中图分类 AAI3433254;
关键词
Process life cycle; Software development; Software process models;

机译：过程生命周期;软件开发;软件流程模型;

相似文献

外文文献
中文文献
专利

1. A Formal Software Development Approach Using Refinement Calculus [J] . WANG Yunfeng, PANG Jun, ZHA Ming, 计算机科学技术学报（英文版） . 2001,第003期

机译：使用细化演算的正式软件开发方法
2. A Formal Software Development Approach Using Refinement Calculus [J] . 王云峰, 庞军, 等计算机科学技术学报：英文版 . 2001,第003期

机译：使用细化演算的正式软件开发方法
3. A FORMAL UML-RELIANT SOFTWARE ENGINEERING APPROACH TO FINITE ELEMENT SOFTWARE DEVELOPMENT FOR ELECTROMAGNETIC FIELD PROBLEMS [J] . SAMUEL RATNAJEEVAN HERBERT HOOLE, THIRUCHELVAM ARUDCHELVAM Revue roumaine des sciences techniques . 2011,第1期

机译：电磁场问题有限元软件开发的正式UML相关软件工程方法
4. A formal software development approach based on COOZ and refinement calculus [C] . Wang Yunfeng, Li Bixin . 1999

机译：基于COOZ和细化演算的正式软件开发方法
5. Towards a formal and scalable approach for quantifying software reliability at early development stages. [D] . Kong, Wende. 2009

机译：寻求一种正式的，可扩展的方法，以在开发的早期阶段量化软件的可靠性。
6. Control of allergic rhinitis and asthma test – a formal approach to the development of a measuring tool [O] . Luis Nogueira-Silva, Sonia V Martins, Ricardo Cruz-Correia, 2009

机译：控制过敏性鼻炎和哮喘测试–开发测量工具的正式方法
7. Refinement: A constructive approach to formal software design for a secure e-voting interface [O] . Dominique Cansell, Dominique Méry, Université Henripoincarénancy 2013

机译：细化：用于安全电子投票界面的正式软件设计的建设性方法

Formalization and refinement of a formal approach to eclectic software development

著录项

相似文献

相关主题

期刊订阅