科学网—JingdeCheng的博文

设为首页收藏本站

开启辅助访问切换到宽版

科学网 › 我的中心 › 博文 › JingdeCheng的博文

JingdeCheng

https://wap.sciencenet.cn/?2371919

软件工程| 知识工程| 相关逻辑| 信息安全性工程| 数理逻辑| 计算科学| 人工智能| 其它| 他山之石| 逻辑学| 哲学逻辑| 科学研究|

形式化规格描述语言Z: 程京德 2024-9-30 09:18; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！形式化规格描述语言Z 程京德 &nbs ...; 个人分类: 软件工程|2009 次阅读|没有评论

为什么软件工程师必须知道形式化方法？: 程京德 2024-9-26 13:16; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！为什么软件工程师必须知道形式化方法？程京德 ...; 个人分类: 软件工程|5062 次阅读|没有评论

指导软件工程过程及实践的16条核心原则: 程京德 2024-9-8 08:18; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！指导软件工程过程及实践的16条核心原则程京德 & ...; 个人分类: 软件工程|2123 次阅读|没有评论

David Hooker 的着眼于整个软件工程实践的七项基本原则: 程京德 2024-8-20 08:18; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！ David Hooker 的着眼于整个软件工程实践的七项基本原则程 ...; 个人分类: 软件工程|6176 次阅读|没有评论

201条软件开发经验原则: 程京德 2024-8-12 06:18; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！ 201条软件开发经验原则程京德 & ...; 个人分类: 软件工程|1605 次阅读|没有评论

“8-1>8” 与软件系统研发 -- 清华园随笔(4): 热度 1 程京德 2023-12-22 09:18; 本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容，请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注明出处，恕本人在网上广泛公布侵权者姓名。敬请各位读者注意，谢谢！ “8-18” 与软件系统研发 -- 清华园随笔(4) 程京德 &nb ...; 个人分类: 软件工程|6964 次阅读|2 个评论热度 1

会议

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2025-7-11 13:34

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部