REALLY RETHINKING 'FORMAL METHODS'

被引：45
作者：
Parnas, David Lorge
机构：
来源：
COMPUTER | 2010年 / 43卷 / 01期
关键词：
Formal methods; Software development; Software documentation;
D O I：
10.1109/MC.2010.22
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
We must question the assumptions underlying the well-known current formal software development methods to see why they have not been widely adopted and what should be changed. © 2006 IEEE.
引用
收藏
页码：28 / 34
页数：7
相关论文
共 4 条
[1]  
Elovitz H. S., 1979, Proceedings of the 4th International Conference on Software Engineering, P145
[2]  
Floyd R.W., 1967, P S APPL MATH, V19, P19
[3]  
Gerhart S. L., 1976, IEEE Transactions on Software Engineering, VSE-2, DOI 10.1109/TSE.1976.233815
[4]   AN AXIOMATIC BASIS FOR COMPUTER PROGRAMMING [J].
HOARE, CAR .
COMMUNICATIONS OF THE ACM, 1969, 12 (10) :576-&
1