第一次作业——自我介绍+软工五问（热身运动）

我是软嵌172班的蒋志程，学习过python，c++，Java，SQL等编程语言，制作过网页，小游戏。最喜欢的语言是c++，希望可以向这门语言更深的方向研究。我期待这一学期老师分享给我们的知识，更期待自身的成长。

大致浏览本书，个人认为软件工程是软件开发和维护必不可少的，更是认识到之前的合作都是混乱，甚至称不上合作。

五个问题：

1.形式化方法有坚实的数学基础，为什么形式化方法更难学习？

2.为什么形式化方法对某些软件工程师代表一种“文化冲击”？

3.面向对象方法学和传统软件工程方法学的不同之处是什么？

4.可行性研究是否会对新型软件的出现产生阻碍？

5.为什么一个程序既正确又不可靠？

标签：为什么,软工五问,c++,热身运动,软件工程,形式化,自我介绍,方法,方法学
来源： https://www.cnblogs.com/jzc2019/p/11478506.html