首页
文献服务
文献资源
外文期刊
外文会议
中文期刊
专业机构
智能制造
高级检索
版权声明
使用帮助
The logic of software design
     
  
  
刊名:
IEE Proceedings-L: Software
作者:
J. S. Ostroff
R. F. Paige
刊号:
730C0004-L
ISSN:
1462-5970
出版年:
2000
年卷期:
2000, vol.147, no.3
页码:
73-80
总页数:
8
分类号:
TM
语种:
eng
文摘:
The author provide an overview of how logic can be used throughout the software development cycle, and discuss what methods can be introduced in the computer science curriculum to support software development. To see how logic is useful throughout the cycle, they present the WRSM referencc model, and illustrate it with simple motivating examples. Reasoning is performed in Logic E, and PVS is used to illustrate automated proofs.
©2016机械工业出版社(机械工业信息研究院) 京ICP备05055788号-35