Section Article

Software Engineering Principles: A Theoretical Framework for Quality Assurance
Author(s): Dr. Sweety Kataria

Abstract
In this abstract an attempt is made to propose a paradigmatic approach that encompasses the best software engineering practices including modularity abstraction formal specification verification and validation into one approach for quality assurance. The approach highlights the importance of requirements and threat surface modelling compositional reasoning to preserve properties through integration formal approaches for selective critical modules and empirical validation at runtime. The approach also highlights the importance of socio-technical aspects in software engineering that include maintainability configuration management and software supply chain integrity hence showing that quality assurance should be a combination of formality and reality. The purpose of the approach is to fill gaps between theory and reality by making trust assumptions explicit and resilience part of layered defence and automation of updating.