标签：为什么 软工五问 c++ 热身运动 软件工程 形式化 自我介绍 方法 方法学

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

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

五个问题：

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

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

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

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

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

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

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。