科学网

 找回密码
  注册
形式化规格描述语言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- 中国科学报社

返回顶部