随着软件形式化方法的不断发展，各种各具特色的形式化方法涌现出来，为了解决在具体的系统开发中如何选取合适的形式化方法，对目前较为流行的几种形式化方法RSL，B，VDM，Z的特点进行对比分析，然后针对不同的软件开发人员和所需开发系统的不同，给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。
2021-01-29 20:11:31
667KB
1
《设计方法与策略：代尔夫特设计指南》是代尔夫特理工大学工业设计工程学院50多年来对产品设计方法的经验总结。众所周知，传统的设计教材总是枯燥地解释方法，而忽略了实际应用。《设计方法与策略：代尔夫特设计指南》则放弃了对设计方法的赘述，对所有方法只做简明扼要的阐释，直接展示了72种核心设计方法、策略和技巧。其中，有些方法是代尔夫特独创的，且已广泛流传。每一种方法、策略和技巧均用单独的一页文字来描述，并辅以插图说明。
这是一本所有对设计感兴趣的人都可以阅读的设计工具书。
2019-12-21 21:17:29
19.08MB
1
《设计方法与策略：代尔夫特设计指南》是代尔夫特理工大学工业设计工程学院50多年来对产品设计方法的经验总结。众所周知，传统的设计教材总是枯燥地解释方法，而忽略了实际应用。《设计方法与策略：代尔夫特设计指南》则放弃了对设计方法的赘述，对所有方法只做简明扼要的阐释，直接展示了72种核心设计方法、策略和技巧。其中，有些方法是代尔夫特独创的，且已广泛流传。每一种方法、策略和技巧均用单独的一页文字来描述，并辅以插图说明。
这是一本所有对设计感兴趣的人都可以阅读的设计工具书。
2019-12-21 21:17:29
15.88MB
1