各位前輩，小弟 今年有2選修課，《软件开发技术与工具》與《软件形式化方法》兩門中選一門，不曉得選哪個好，請各位前輩幫忙參考下。。。。
多謝！
《软件开发技术与工具》 侧重技术与工具的应用，实用性很强。 如果是讲解一些当前比较流行的技术和工具 学这个就不错，但是如果讲的是已经过时的技术和工具的话 就没有什么意思了。毕竟现在软件开发的技术和工具更新很快，学一些过时的技术 对自己将来找工作帮助不是很大。
《软件形式化方法》 主要讲的方法论，学起来很枯燥 很抽象也很吃力 但是这是一本锻炼思维和抽象能力的课程 就像《形式语言》这门课一样 理论性很强。如果从长远的考虑看，我会选择这门课程的，因为技术和工具可以慢慢学 也可以在网上多了解一些。到了公司一两个月就可以熟悉这些技术和工具 但是方法论这东西 不是一两个月就能琢磨透的。
以上是我的看法，仅供参考。考试不过，概不负责。呵呵
软件开发技术与工具，这玩意出来工作比较实用
软件形式化方法，这种一看就感觉有点虚的课，学不到什么东西
不同的方面
一个偏应用
一个偏理论
建议全都选上
至于上不上课 这个 哈哈~
[color=indigo]选第一个，第二个其实我感觉对于一个在校生，上完了过段时间也就忘记的一干二净了。[/color]