我是软嵌172班的蒋志程，学习过python，c++，Java，SQL等编程语言，制作过网页，小游戏。最喜欢的语言是c++，希望可以向这门语言更深的方向研究。我期待这一学期老师分享给我们的知识，更期待自身的成长。
大致浏览本书，个人认为软件工程是软件开发和维护必不可少的，更是认识到之前的合作都是混乱，甚至称不上合作。
五个问题：
1.形式化方法有坚实的数学基础，为什么形式化方法更难学习？
2.为什么形式化方法对某些软件工程师代表一种“文化冲击”？
3.面向对象方法学和传统软件工程方法学的不同之处是什么？
4.可行性研究是否会对新型软件的出现产生阻碍？
5.为什么一个程序既正确又不可靠？