首页> 外文会议> >Mathematics-based Software Engineering For Completely Validated Software

【24h】

Mathematics-based Software Engineering For Completely Validated Software

机译：基于数学的软件工程用于完全验证的软件

获取原文

页面导航

著录项
相似文献
相关主题

著录项

来源
《》|2001年|P.358-358|共1页
会议地点
作者
Linger; R.C.;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类无线电电子学、电信技术;
关键词

相似文献

外文文献
中文文献
专利

1. Software Metrics Validation Methodologies in Software Engineering [J] . K.P.Srinivasan, T.Devi International Journal of Software Engineering & Applications (IJSEA) . 2014,第6期

机译：软件工程中的软件指标验证方法
2. Exploring the intersection between software industry and Software Engineering education - A systematic mapping of Software Engineering Trends [J] . Orges Cico, Letizia Jaccheri, Anh Nguyen-Due, The Journal of Systems and Software . 2021,第Feba期

机译：探索软件产业与软件工程教育的交汇处 - 一种软件工程趋势的系统映射
3. Software, Software Engineering and Software Engineering Research:Some Unconventional Thoughts [J] . David Notkin 计算机科学技术学报（英文版） . 2009,第002期

机译：软件，软件工程和软件工程研究：一些非常规的想法
4. Completely validated software: mathematics-based software engineering for completely validated software (panel session) [C] . Richard C. Linger International conference on Software engineering . 1989

机译：完全验证的软件：用于完全验证的软件的基于数学的软件工程（小组会议）
5. A quantitative comparison and validation of computer aided engineering softwares simulating the plastics injection molding process. [D] . Zarechian, Brendan Arash. 2008

机译：模拟塑料注射成型过程的计算机辅助工程软件的定量比较和验证。
6. Software engineering principles to improve quality and performance of R software [O] . Seth Russell, Tellen D. Bennett, Debashis Ghosh 2019

机译：软件工程原则提高R软件的质量和性能
7. Exploring the intersection between software industry and Software Engineering education - A systematic mapping of Software Engineering Trends [O] . Orges Cico, Letizia Jaccheri, Anh Nguyen-Duc, 2021

机译：探索软件产业与软件工程教育的交汇处 - 一种软件工程趋势的系统映射
8. Software Engineering and Specification Validation. Computer-Aided Software Engineering Program,Software Capabilities Description. [R] . burns, i. fennell hansing, marlyn m. 1976

机译：软件工程和规范验证。计算机辅助软件工程程序，软件功能描述。

Mathematics-based Software Engineering For Completely Validated Software

著录项

相似文献

相关主题

期刊订阅