Naslov
An Experience in Using Formal Method in the Software Maintenance Process

Autori
Car, Željka ; Carić, Antun

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Proceedings of the Conference "COmputers in Telecommunications" MIPRO 2002 / Stjepan Golubić - Rijeka : Hrvatska udruga za informacijsku i komunikacijsku tehnologiju, elektroniku i mikroelektroniku - MIPRO, 2002, 206-211

Skup
MIPRO 2002

Mjesto i datum
Opatija, Hrvatska, 20.05.2002. - 24.05.2002

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
-

Sažetak
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.

Izvorni jezik
Engleski

Znanstvena područja
Elektrotehnika

POVEZANOST RADA