This Article 
 Bibliographic References 
 Add to: 
Modeling and Improving an Industrial Software Process
May 1995 (vol. 21 no. 5)
pp. 440-454
This paper discusses the problems that a software development organization must address in order to assess and improve its software processes. In particular, the authors are involved in a project aiming at assessing and improving the current practice and the quality manual of the Business Unit Telecommunications for Defense (BUTD) of a large telecommunications company. The paper reports on the usage of formal process modeling languages to detect inconsistencies, ambiguities, incompleteness, and opportunities for improvement of both the software process and its documentation.

[1] S. Bandinelli,M. Braga,A. Fuggetta,, and L. Lavazza,“The Architecture of the SPADE-1 Process-Centered SEE,” Proc. Third European Workshop Software Process Technology,Grenoble, France, Feb. 1994.
[2] SPADE Team, “SPADE-1 Documentation Guide, Ver. 2.3,” CEFRIEL, Via Emanueli 15, 20126 Milano, Italy, Mar. 1995.
[3] S. Bandinelli, A. Fuggetta, and C. Ghezzi, “Process Model Evolution in the SPADE Environment,” IEEE Trans. Software Eng., Dec. 1993.
[4] V.R. Basili,G. Caldiera,F. McGarry ,R. Pajerski,G. Page,, and S. Waligora,“The Software Engineering Laboratory—An operationalsoftware experience factory,” Proc. 14th Int’l Conf. Software Eng. (ICSE 14), ACM Press, May 1992.
[5] V.R. Basili and H.D. Rombach, "The TAME Project: Towards Improvement-Oriented Software Environments," IEEE Trans. Software Eng., Vol. 14, No. 6, 1988, pp. 758-773.
[6] Bootstrap Project Team, “Bootstrap: Europe’s assessment method,” IEEE Software, vol. 10, no. 3, pp. 93-95, May 1993.
[7] R. Conradi,C. Fernström,, and A. Fuggetta,“Concepts for evolving software processes,” Software Process Modeling and Technology, A. Finkelstein, J. Kramer, and B.A. Nuseibeh, eds., Research Studies Press Limited, pp. 9-32, 1994.
[8] B. Curtis, M. Kellner, and J. Over, “Process Modeling,” Comm. ACM, pp. 75-90, Sept. 1992.
[9] M. Cusumano, Japan's Software Factories—A Challenge to US Management, Oxford Univ. Press, New York, 1991.
[10] W.E. Deming,Out of the Crisis, MIT Center Advanced Eng. Studies, Cambridge, Mass., 1982.
[11] R. Dion, "Process Improvement and the Corporate Balance Sheet, IEEE Software, Vol. 10, No. 4, July/Aug. 1993, pp. 28-35.
[12] M. Dowson and C. Fernström,“Mechanisms for process change,” Proc. Third European Workshop Software Process Technology,Grenoble, France, 1994.
[13] Software Process Modeling and Technology, A. Finkelstein, J. Kramer, and B.A. Nuseibeh, eds., Research Studies Press Ltd., 1994.
[14] C. Ghezzi, D. Mandrioli, S. Morasca, and M. Pezze, “A Unified High-Level Petri Net Formalism for Time-Critical Systems,” IEEE Trans. Software Eng., vol. 17, no. 2, pp. 160–171, Feb. 1991.
[15] D. Harel,H. Lachover,A. Naamad,A. Pnueli,M. Politi,R. Sherman,A. Shtul-Trauring,“Statemate: A working environment for the development of complex reactive systems,” Proc. 10th Int’l Conf. Software Eng. (ICSE 10), IEEE Computer Soc., pp. 396-406, 1988.
[16] M. Imai,Kaizen—The Key to Japan’s Competitive Success. McGraw-Hill, 1986.
[17] Italtel BUTD, Manuale del Sistema di QualitàSoftware, Italtel, 1988 in Italian.
[18] D. Brown et al., "An Automated Oracle for Software Testing," IEEE Trans. Reliability, June 1992, pp. 272-279.
[19] O.C. Ibe,“Reliability comparison of token-ring network schemes,” IEEE Trans. Reliability, vol. 41, pp. 288-293, 1992.
[20] J.M. Juran,Juran on Planning for Quality.New York: The Free Press, 1988.
[21] M.I. Kellner and G.A. Hansen,“Software process modeling: A case study,” Proc. 22nd Annual Hawaii Int’l Conf. System Sciences, Jan. 1989.
[22] H. Krasner et al., “Lessons Learned from a Software Process Modeling System,” Comm. ACM, Vol. 35 No. 9 Sept. 1992, pp. 91-111.
[23] R. Lai,“The move to mature processes,” IEEE Software, vol. 10, no. 4, pp. 14-17, July 1993.
[24] N. Madhavji,“The PRISM model of change,” Proc. 13th Int’l Conf. Software Eng. (ICSE 13), IEEE Computer Soc. Press, 1991.
[25] Int’l Workshop on Software Process Evolution, N. Madhavji, ed., Unpublished documentation, Mc Gill Univ., Montreal, Canada, Jan. 1993.
[26] L.J. Osterweil, "Software Processes are Software, Too," Proc. Ninth Int'l Conf. Software Eng., IEEE Computer Soc. Press, Los Alamitos, Calif., 1987, pp. 2-13.
[27] M.C. Paulk,B. Curtis,M.B. Chrissis,, and C.V. Weber,“Capability maturity model for Software, version 1.1,” Technical Report CMU/SEI-93-TR-24, Feb. 1993.
[28] M. Paulk et al., "Capability Maturity Model, Version 1.1," IEEE Software, July 1993, pp. 18-27.
[29] G.P. Picco,“Modeling a real software process with SLANG,” “Masters”Thesis, CEFRIEL Report RI 93059, June 1993.
[30] D. Rugg,“Using a capability evaluation to select a contractor,” IEEE Software, vol. 10, no. 4, pp. 36-45, July 1993.
[31] Proc. Eighth Int’l Software Process Workshop (ISPW 8), W. Schäfer, ed., IEEE Computer Soc., 1993.
[32] F. Cattaneo,A. Fuggetta,, and L. Lavazza,“An Experience in process assessment,” Proc. 17th Int’l Conf. on Software Eng. (ICSE 17), IEEE Computer Soc., 1995.
[33] A. Fuggetta and G.P. Picco,“An annotated bibliography on software process improvement,” ACM SIGSOFT Software Eng. Notes, July 1994.

Index Terms:
Software process, process-centered software engineering environments (PSEEs), process modeling, process modeling languages, process assessment, process improvement.
Sergio Bandinelli, Alfonso Fuggetta, Luigi Lavazza, Maurizio Loi, Gian Pietro Picco, "Modeling and Improving an Industrial Software Process," IEEE Transactions on Software Engineering, vol. 21, no. 5, pp. 440-454, May 1995, doi:10.1109/32.387473
Usage of this product signifies your acceptance of the Terms of Use.