engleski

An Experience in Using Formal Method in the Software Maintenance Process

Formal methods used in the analysis of the software process are mathematically based techniques for describing and analyzing software process performances. Formal methods have sound mathematical bases and they are capable of concisely describing the outcomes of the process action. This paper presents an experience in applying formal method based on the queuing network for the modeling and evaluating of telecommunication software maintenance process. The method applies process simulation in order to determine its performances and allows efficient comparison of alternative process designs without risks and costs associated with performing experiments on the real process. The method can be used within the given generic model as part of the organizational effort to achieve higher process maturity and efficiency. The results of the implementation on the real software maintenance process in Ericsson Nikola Tesla company demonstrate that suggested formal method can be applied as a special technique for supporting software process assessment.

-

nije evidentirano