软件工程（ソフトウェア工学）是研究和应用如何以系统性的、规范化的、可定量的过程化方法去开发和维护软件，以及如何把经过时间考验而证明正确的管理技术和当前能够得到的最好的技术方法结合起来的学科。 它涉及到程序设计语言、数据库、软件开发工具、系统平台、标准、设计模式等方面。
在现代社会中，软件应用于多个方面。典型的软件比如有电子邮件、嵌入式系统、人机界面、办公套件、操作系统、编译器、数据库、游戏等。同时，各个行业几乎都有计算机软件的应用，比如工业、农业、银行、航空、政府部门等。这些应用促进了经济和社会的发展，提高人们的工作效率，同时提升了生活质量。
★ 软件工程的核心知识（ SWEBOK）
ACM 与 IEEE Computer Society 联合修定的 SWEBOK[12]（Software Engineering Boy of Knowlege）提到，软件工程领域中的核心知识包括：
软件需求（ Software requirements）
软件设计（ Software esign）
软件建构（ Software construction）
软件测试（ Software test）
软件维护与更新（ Software maintenance）
软件构型管理（ Software Configuration Management, SCM）
软件工程管理（ Software Engineering Management）
软件开发过程（ Software Development Process）
软件工程工具与方法（ Computer-Aie Software Engineering, CASE）
软件品质（ Software Quality）
★ 软件开发过程
软件开发过程是随着开发技术的演化而随之改进的。从早期的瀑布式 (Waterfall)的开发模型到后来出现的螺旋式的迭代(Spiral)开发，以致最近开始兴起的敏捷开发方法(Agile)，他们展示出了在不同的时代软件产业对于开发过程的不同的认识，以及对于不同类型项目的理解方法。
注意区分软件开发过程和软件过程改进之间的重要区别。诸如像 ISO 15504, ISO 9000, CMM, CMMI这样的名词阐述的是一些软件过程改进框架，他们提供了一系列的标准和策略来指导软件组织如何提升软件开发过程的质量、软件组织的能力，而不是给出具体的开发过程的定义。
★ 软件工程的方法
软件工程的方法有很多方面的意义。包括项目管理，分析，设计，程序的编写，测试和质量控制。
软件设计方法可以区别为重量级的方法和轻量级的方法。
重量级的方法中产生大量的正式文档。著名的重量级开发方法包括 ISO 9000，CMM，和统一软件开发过程（RUP）。
轻量级的开发过程没有对大量正式文档的要求。著名的轻量级开发方法包括极限编程（ XP）和敏捷过程（Agile Processes）。
根据《新方法学》这篇文章的说法，重量级方法呈现的是一种 “防御型”的姿态。在应用“重量级方法”的软件组织中，由于软件项目经理不参与或者很少参与程序设计，无法从细节上把握项目进度，因而会对项目产生“恐惧感”，不得不要求程序员不断撰写很多“软件开发文档”。而轻量级方法则呈现“进攻型”的姿态，这一点从XP方法特别强调的四个准则—“沟通、简单、反馈和勇气”上有所体现。目前有一些人认为，“重量级方法”适合于大型的软件团队（数十人以上）使用，而“轻量级方法”适合小型的软件团队（几人、十几人）使用。当然，关于重量级方法和轻量级方法的优劣存在很多争论，而各种方法也在不断进化中。
一些方法论者认为人们在开发中应当严格遵循并且实施这些方法。但是一些人并不具有实施这些方法的条件。实际上，采用何种方法开发软件取决于很多因素，同时受到环境的制约。
★ 软件工程的发展方向
“敏捷开发”（Agile Development）被认为是软件工程的一个重要的发展。它强调软件开发应当是能够对未来可能出现的变化和不确定性作出全面反应的。
敏捷开发被认为是一种 “轻量级”的方法。在轻量级方法中最负盛名的应该是“极限编程”（Extreme Programming，简称为XP）。而与轻量级方法相对应的是“重量级方法”的存在。重量级方法强调以开发过程为中心，而不是以人为中心。重量级方法的例子比如CMM/PSP/TSP。
面向方面的程序设计（ Aspect Oriente Programming，简称AOP）被认为是近年来软件工程的另外一个重要发展。这里的方面指的是完成一个功能的对象和函数的集合。在这一方面相关的内容有泛型编程（Generic Programming）和模板。
