2015年2月18日
第五章，软件工程中的形式化方法
摘要： 设计是将一个实际问题转换成相应的解决办法的主动过程，所谓设计也可以是对一种解决办法的描述。总体设计描述系统时，不采用计算机方面的专业术语，用户完全能够理解。总体设计是解决系统做什么的问题，而技术设计则是解决系统怎样做的问题。对于每种情况而言，没有一种设计风格或方法可以说是最佳的。事实上，当新方法和技... 阅读全文
posted @ 2015-02-18 23:54 twenty丶two 阅读(161) 评论(0) 推荐(0) 编辑