VDM—系统化地开发软件的方法 |
| |
引用本文: | 赖少庆.VDM—系统化地开发软件的方法[J].小型微型计算机系统,1986(10). |
| |
作者姓名: | 赖少庆 |
| |
作者单位: | 中国科学院成都计算机应用所 |
| |
摘 要: | 众所周知,软件工程中有“务实派”及“学院派”两大研究派别之分。鉴于“管理常常是决定软件开发项目成功与失败的关键”这一认识, “务实派”十分强调软件开发的计划和管理。该派认为软件工程理论要解决的第一号问题不是某种具体的设计和编程的方法技术,而是如何正确地选择、实现、控制这些方法和技术,如何为软件开发过程的所有活动提供指
|
本文献已被 CNKI 等数据库收录! |
|