Ensuring software quality by formal modeling

Software quality is always the target of disagreement between developers and users because of its subjective nature. The problem with software quality is the lack of formal definitions. Furthermore, quality metrics are based on empirical indices. This paper presents a method to the application of formal modeling techniques in the subject of software quality verification. We give a high-level view of the approach, leaving the deep details for a later discussion. We also provide a short summary of Software Quality models and standards.