一种将软件工程实践形式化映射至本质的方法-研究论文

简介：
本文提出了一种新颖的方法，旨在通过形式化的途径，将软件工程中的各种实践经验与理论基础进行精确对应和深入分析。该方法致力于提高软件开发过程的质量、效率及可持续性。文章详细探讨了如何建立这种映射，并讨论其在改进现有软件工程项目中的应用潜力。 本质框架（EF）旨在解决软件工程（SE）及其实践中的核心问题。作为一个相对较新的框架，EF面临的一个重要挑战是如何将实际的软件开发方法与该框架的概念领域进行有效映射。尽管已有几篇文献描述了系统的程序设计思路，但现有的研究综述尚未推荐采用正式的方法来进行深入探讨。 这项研究遵循了设计科学研究（DSR）的原则和指南展开，并且研究成果被分类为“针对新问题（即将软件实践成功地映射到EF上）的新解决方案（即使用形式化方法进行探索）的应用”。具体来说，所提出的形式化手段基于概念代数的算法模型，在Scrum这一特定案例研究中得到了应用。结果显示出了积极的趋势，并且与现有关于EF的相关文献中的研究成果有所不同。