程京德(Jingde Cheng)的博 ...分享 http://blog.sciencenet.cn/u/JingdeCheng 相关逻辑，软件工程，知识工程，信息安全性工程；自强不息，厚德载物。

博文

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

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

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

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

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

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

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

程京德

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

GMT+8, 2026-3-1 18:29

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部